Quantitative evaluation of safety-critical software at the early development stage: an interposing logic system software example

Reliability Engineering and System Safety

Volumn 50, Issue 3, 1995, Pages 261-269

  Son, Han S ^a   Seong, Poong H ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; ACTUATORS; COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEMS; CONTROL SYSTEMS; NUCLEAR POWER PLANTS; PROBABILITY; RELIABILITY; STANDARDS;

ENGINEERED SAFETY FEATURE ACTUATION SYSTEM; INTERPOSING LOGIC SYSTEM; SAFETY CRITICAL SOFTWARE;

COMPUTER SOFTWARE;

EID: 0029532359     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/0951-8320(95)00096-8     Document Type: Article

References (18)

1. Software reliability-status and perspectives
2. Estimating software reliability from test data
3. A theory of software reliability and its applications
4. Software safety why what and how
5. The infeasibility of quantifying the reliability of life-critical real-time software
6. Software complexity and its impact on software reliability
7. Entropy metrics for software design evaluation
8. A measure of the difficulty of system diagnosis and its relationship to complexity
9. Diagnostic entropy a quantitative measure of the effects of signal incompleteness on system diagnosis
10. Operational profiles in software-reliability engineering
11. Evaluating software complexity measures
12. A complexity measure
13. Control flow, data flow and program complexity