✦ LIBER ✦

Dependability metrics to assess safety-critical systems

✍ Scribed by DeLong, T.A.; Smith, D.T.; Johnson, B.W.

Book ID: 114668408
Publisher: IEEE
Year: 2005
Tongue: English
Weight: 245 KB
Volume: 54
Category: Article
ISSN: 0018-9529
DOI: 10.1109/tr.2005.853567

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Assessing dependability of safety critic

Assessing dependability of safety critical systems using diverse evidence

✍ Fenton, N.; Littlewood, B.; Neil, M.; Strigini, L.; Sutcliffe, A.; Wright, D. 📂 Article 📅 1998 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 586 KB

Approach to measuring and assessing depe

Approach to measuring and assessing dependability for critical software systems

✍ Dong Tang; Herbert Hecht 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 34 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

Modification of safety critical systems:

Modification of safety critical systems: an assessment of three approaches

✍ Tor Stålhane; Kari Juul Wedde 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 738 KB

Dependability assessment methods for fac

Dependability assessment methods for factory automation systems using safety index

✍ Yoshiyuki Mineo; Yoshihisa Suzuki 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 685 KB

A harmonised model for safety assessment

A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries

✍ Yiannis Papadopoulos; John A. McDermid 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 614 KB