Now showing items 1-10 of 415
An Architecture-centric Approach for Safety Critical Software Product Lines
(Universidade Federal da BahiaUFBAbrasil, 2016-11-28)
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 ...
Automatic allocation of safety requirements to components of a software product line
(IFAC/ElsevierParis, FR, 2015)
Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to ...
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 ...
An investigation into the loss of the Brazilian space programme's launch vehicle VLS-1 V03
There has been a rapid increase in the complexity and integration of many safety-critical systems. In consequence, it is becoming increasingly difficult to identify the causes of incidents and accidents back through the ...
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 ...
Safety culture as a contemporary healthcare construct: theoretical review, research assessment, and translation to human resource management
(Emerald Group Publishing Limited, 2010)
Through a number of comprehensive reviews, the Institute of Medicine (IOM) has recommended that healthcare organizations develop safety cultures to align delivery system processes with the workforce requirements to improve ...
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 ...
Formal verification of PLC programs using the B Method
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2012-11-01)
PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly ...