This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Validating Software Reliability Early through Statistical Model Checking
May-June 2013 (vol. 30 no. 3)
pp. 35-41
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.
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:
Youngjoo Kim, Okjoo Choi, Moonzoo Kim, Jongmoon Baik, Tai-Hyo Kim, "Validating Software Reliability Early through Statistical Model Checking," IEEE Software, vol. 30, no. 3, pp. 35-41, May-June 2013, doi:10.1109/MS.2013.24
Usage of this product signifies your acceptance of the Terms of Use.