The Community for Technology Leaders
Green Image
Issue No. 03 - May-June (2013 vol. 30)
ISSN: 0740-7459
pp: 35-41
Tai-Hyo Kim , FormalWorks
Jongmoon Baik , Korea Advanced Institute of Science and Technology
Moonzoo Kim , Korea Advanced Institute of Science and Technology
Okjoo Choi , Korea Advanced Institute of Science and Technology
Youngjoo Kim , S-Core
ABSTRACT
Conventional software reliability assessment validates a system's reliability only at the end of development, resulting in costly defect correction. A proposed framework employs statistical model checking (SMC) to validate reliability at an early stage. SMC computes the probability that a target system will satisfy functional-safety requirements. The framework compares the allocated reliability goal with the calculated reliability using the probabilities and relative weight values for the functional-safety requirements. Early validation can prevent the propagation of reliability allocation errors and design errors at later stages, thereby achieving safer, cheaper, and faster development of safety-critical systems.
INDEX TERMS
Software reliability, Safety, Validation, Probability, Mathematical model, Statistical analysis, Software reliability, safety-critical software, software reliability validation, statistical model checking, safety engineering
CITATION
Tai-Hyo Kim, Jongmoon Baik, Moonzoo Kim, Okjoo Choi, Youngjoo Kim, "Validating Software Reliability Early through Statistical Model Checking", IEEE Software, vol. 30, no. , pp. 35-41, May-June 2013, doi:10.1109/MS.2013.24
90 ms
(Ver )