Programmable Logic Devices (PLDs) in ordnance fuze and ignition systems have well-defined design and verification requirements based on U.S. Department of Defense (DoD) Safety Review Board guidelines and military standards. However, there are few established safety design and verification requirements for PLDs used in non-fuze safety-significant applications. The primary objective of this paper is to (1) establish a process that assures that PLDs in products and systems are developed and tested to a level of rigor commensurate with the safety risk of the specified application, including fuze and non-fuze safety systems, and (2) to comply with recent guidance from DoD Software System Safety Technical Review Panels on firmware and programmabl...
Field programmable gate arrays are a form of programmable electronic device used in various applicat...
Abstract. This paper proposes a PLC(Programmable Logic Controller)-based safety critical software de...
International audienceGENCOD is a research project for solutions to automated generation of safe cod...
Mission critical systems at the European Organisation for Nuclear Research (CERN) make extensive use...
Mission critical systems at the European Organisation for Nuclear Research (CERN) make extensive use...
Abstract. New standards for developing safety-critical systems require the developer to demonstrate ...
Programmable Logic Devices (PLD) such as Field Programmable Gate Arrays (FPGA) are becoming more pre...
Programmable components (like personal computers or smart devices) can offer considerable benefits i...
From a safety perspective, it is difficult to assess the correctness of FPGA devices without extensi...
international body of experts in the field of dependable industrial computer systems and focuses its...
This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airbor...
As the ASIC design cost becomes affordable only for very large-scale productions, the FPGA technolog...
Abstract- Emergency shutdown systems (ESDs) for mining machinery provide critical functions to safeg...
Software-based safety systems have become increasingly common in nuclear power plants. Due to their ...
Abstract. New standards for developing safety-critical systems require the developer to demonstrate ...
Field programmable gate arrays are a form of programmable electronic device used in various applicat...
Abstract. This paper proposes a PLC(Programmable Logic Controller)-based safety critical software de...
International audienceGENCOD is a research project for solutions to automated generation of safe cod...
Mission critical systems at the European Organisation for Nuclear Research (CERN) make extensive use...
Mission critical systems at the European Organisation for Nuclear Research (CERN) make extensive use...
Abstract. New standards for developing safety-critical systems require the developer to demonstrate ...
Programmable Logic Devices (PLD) such as Field Programmable Gate Arrays (FPGA) are becoming more pre...
Programmable components (like personal computers or smart devices) can offer considerable benefits i...
From a safety perspective, it is difficult to assess the correctness of FPGA devices without extensi...
international body of experts in the field of dependable industrial computer systems and focuses its...
This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airbor...
As the ASIC design cost becomes affordable only for very large-scale productions, the FPGA technolog...
Abstract- Emergency shutdown systems (ESDs) for mining machinery provide critical functions to safeg...
Software-based safety systems have become increasingly common in nuclear power plants. Due to their ...
Abstract. New standards for developing safety-critical systems require the developer to demonstrate ...
Field programmable gate arrays are a form of programmable electronic device used in various applicat...
Abstract. This paper proposes a PLC(Programmable Logic Controller)-based safety critical software de...
International audienceGENCOD is a research project for solutions to automated generation of safe cod...