Input-profile-based software failure probability quantification for safety signal generation systems

The infeasibility of quantifying the reliability of life-critical real-time software

Ricky W. Butler, George B. Finelli · IEEE Transactions on Software Engineering · 1993 · 398 citations · Full text

Computing, Computer Engineering, Computer Science +13

A study of operational and testing reliability in software reliability analysis

Bo Yang, Min Xie · Reliability Engineering & System Safety · 2000 · 127 citations

Computing, Computer Science, Fault Tolerance +11

The operational profile in software reliability engineering: an overview

Donald Musa · 2003 · 60 citations

Engineering, Systems Engineering, Quality Engineering +13

An analysis of safety-critical digital systems for risk-informed design

Hyun Gook Kang, Tae-Yong Sung · Reliability Engineering & System Safety · 2002 · 56 citations

Engineering, Computer Engineering, Systems Engineering +14

POSSIBILITIES AND LIMITATIONS OF APPLYING SOFTWARE RELIABILITY GROWTH MODELS TO SAFETY-CRITICAL SOFTWARE

Man-Cheol Kim, Seung-Cheol Jang, Jaejoo Ha · Nuclear Engineering and Technology · 2007 · 15 citations · Full text

Engineering, Computer Engineering, Safety Engineering +8