✦ LIBER ✦

Safety critical software

✍ Scribed by Stephen Hinde

Publisher: Elsevier Science
Year: 1995
Weight: 461 KB
Volume: 1995
Category: Article
ISSN: 0960-2593
DOI: 10.1016/0960-2593(95)80001-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Safety critical software, unsafe?

📂 Article 📅 1993 🏛 Elsevier Science ⚖ 87 KB

Software tools for safety-critical softw

Software tools for safety-critical software development

✍ Alan Wassyng; Mark Lawford 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 680 KB

Fly-by-wire safety critical software mee

Fly-by-wire safety critical software meets criticism

📂 Article 📅 1993 🏛 Elsevier Science ⚖ 89 KB

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

On the safety analysis of requirements s

On the safety analysis of requirements specifications for safety-critical software

✍ Amer Saeed; Rogério de Lemos; Tom Anderson 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 934 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