The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - May-June (2013 vol.30)
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
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
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
REFERENCES
1. D.S. Herrmann, Software Safety and Reliability, IEEE CS, 1999.
2. IEC 61508, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, Int'l Electrotechnical Commission, 2003.
3. ISO 26262, Road Vehicles—Functional Safety, Int'l Org. for Standardization, 2011.
4. System Reliability Toolkit, Reliability Information Analysis Center, 2005.
5. J. Lauber, T.M. Guerra, and M. Dambrine, “Air-Fuel Ratio Control in a Gasoline Engine,” Int'l J. Systems Science, vol. 42, no. 2, 2011, pp. 277–286.
6. M.H. Halstead, Elements of Software Science, Elsevier, 1977.
7. A. Stellman and J. Greene, Applied Software Project Management, O'Reilly Media, 2005.
8. W.S. Humphrey, PSP: A Self-Improvement Process for Software Engineers, Addison-Wesley Professional, 2005.
9. P. Zuliani, A. Platzer, and E.M. Clarke, “Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification,” Proc. 13th ACM Int'l Conf. Hybrid Systems: Computation and Control (HSCC 10), ACM, 2010, pp. 243–252.
10. Y. Kim and M. Kim, “Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems,” Proc. IEEE Int'l Symp. Software Reliability Eng. (ISSRE 12), IEEE CS, 2012; http://pswlab.kaist.ac.kr/publicationsissre2012_yjkim.pdf .
13 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool