Issue No. 03 - May-June (2013 vol. 30)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MS.2013.24
Youngjoo Kim , S-Core
Okjoo Choi , Korea Advanced Institute of Science and Technology
Moonzoo Kim , Korea Advanced Institute of Science and Technology
Jongmoon Baik , Korea Advanced Institute of Science and Technology
Tai-Hyo Kim , FormalWorks
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.
Software reliability, Safety, Validation, Probability, Mathematical model, Statistical analysis, Software reliability, safety-critical software, software reliability validation, statistical model checking, safety engineering
T. Kim, J. Baik, M. Kim, O. Choi and Y. Kim, "Validating Software Reliability Early through Statistical Model Checking," in IEEE Software, vol. 30, no. , pp. 35-41, 2013.