Buscar
Mostrando ítems 1-10 de 1894
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java
(Universidade Federal de Santa MariaBrasilCiência da ComputaçãoUFSMPrograma de Pós-Graduação em InformáticaCentro de Tecnologia, 2016-03-29)
At safety-critical, mission-critical and business-critical systems the high cost of failure
makes required the use of methods and techniques to ensure application reliability. In this
context, formal languages, as Circus ...
Development of Control Systems for Safety Instrumented Systems
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2011)
Safety Instrumented Systems (SIS) are designed to prevent and / or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people`s health, protecting the environment and saving costs ...
The ProLiCES Approach to Develop Product Lines for Safety-Critical Embedded Systems and its Application to the Unmanned Aerial Vehicles Domain
(Centro Latinoamericano de Estudios en Informática, 2012)
Safety, reliability and economics in mining systems
(IEEE, 2006)
Events, incidents, accidents, failures, production losses, life reduction of equipment, casualties, and insurance coverage are all critical topics with respect to safety, reliability, and economics. This paper identifies ...
Nuclear criticality safety parameter evaluation for uranium metallic alloy
(Sao Paulo: ABEN, 2013, 2014)
Tradução da especificação SCJ para linguagem de programação C++
(Universidade Federal de Santa MariaBRCiência da ComputaçãoUFSMPrograma de Pós-Graduação em Informática, 2015-04-28)
Safety critical systems are systems where its failures can cause irreparable damage for
this reason the development of safety critical systems involves safety issues and require rigorous
validation in the certification ...
APPLICATION of THE HAZARD ANALYSIS and CRITICAL CONTROL POINT (HACCP) SYSTEM on THE MUSHROOM PROCESSING LINE FOR FRESH CONSUMPTION
(Chiriotti Editori, 2011-01-01)
The Hazard Analysis and Critical Control Point (HACCP) is a preventive system that intends to guarantee the safety and harmlessness of food. It improves the quality of products as it eliminates possible defects during the ...
Application of the hazard analysis and critical control point (HACCP)system on the mushroom processing line for fresh consumption
(2011-01-01)
The Hazard Analysis and Critical Control Point (HACCP) is a preventivesystem that intends to guarantee the safety and harmlessness of food. It improves the quality of products as it eliminates possible defects during ...