✦ LIBER ✦

Safety critical systems

✍ Scribed by John Cullyer

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 85 KB
Volume: 17
Category: Article
ISSN: 0141-9331
DOI: 10.1016/0141-9331(93)90087-n

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrating Safety Critical Software Sys

Integrating Safety Critical Software System in Probabilistic Safety Assessment

✍ Gopika Vinod; T.V. Santosh; R.K. Saraf; A.K. Ghosh 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 530 KB

In the recent times, computer-based systems are frequently used for protection and control of Nuclear Power Plants (NPPs). In the conventional Probabilistic Safety Assessment (PSA), the contribution from software in these computer-based systems was not given necessary attention. However, from operat

BCS policy statement on safety critical

BCS policy statement on safety critical systems

📂 Article 📅 1993 🏛 Elsevier Science ⚖ 92 KB

Issues in developing software for safety

Issues in developing software for safety critical systems

✍ John A. McDermid 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Transputer-based fault tolerance in safe

Transputer-based fault tolerance in safety-critical systems

✍ Haydn A Thompson 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 585 KB

Emergency energy supply for safety-criti

Emergency energy supply for safety-critical vehicle systems

📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 112 KB

A framework for knowledge representation

A framework for knowledge representation in safety-critical systems

✍ S. Parthasarathy 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 655 KB