๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Finding system-level failures in flight-critical software systems

โœ Scribed by Davies, Misty D.; Limes, Greg

Book ID
115466081
Publisher
IEEE
Year
2011
Weight
709 KB
Series
undefined series for scimag
Volume
0
Category
Article

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