Real-time Embedded Software Architecture Modeling and Reliability Estimation Based on Time-extended Petri Net

doi:10.3969/j.issn.1000-1093.2015.02.025

Abstract

Abstract: Software reliability is one of the most important quality indices in software quality evaluation. With the development of software engineering and component reusing, the reliability analysis based on software architecture has become a researching hotspot. This paper puts a research on existed architecture-based reliability estimation models at first, then proposes existing architecture based reliability estimation types and typical models, putting forward the shortage of these models as well. As Petri net has a well expansibility and descriptive power of concurrency and asynchronism, this paper focuses on the research of Petri net model, divides transition into time transition and instant transition, and adds time-related reliability—time-delay reliability and temporal reliability, by this means establish the software architecture modeling. The reachable state transition matrix is set up and the system reliability estimation is made by studing the relationship between component state and system reachable state. At last, the method is used in a avionics embedded software for architecture modeling, reliability estimation and error analysis, proving the effectiveness and accuracy of this method.

Key words: computer software, software architecture, reliability estimation, time-extended Petri net

XU Yu-tang, YIN Yong-feng, SUN Jing, ZHANG Chi, LIU Bin. Real-time Embedded Software Architecture Modeling and Reliability Estimation Based on Time-extended Petri Net[J]. Acta Armamentarii, 2015, 36(2): 363-373.

References

［1］ YIN Y F, LIU B, NI H Y. Real-time embedded software testing method based on extend finite state machine［J］.Journal of Systems Engineering and Electronics, 2012,23(2): 276-285.
［2］ Goseva-Popstojanova K, Trivedi K S. Architecture-based approach to reliability assessment of software systems［J］. Performance Evaluation Journal, 2001,45(2/3):179-204.
［3］ Ramamoorthy C V, Bastani F B. Software reliability-status and perspectives［J］. IEEE Transactions on Software Engineering, 1982,8(4):354-371.
［4］ Goel A L. Software reliability models: assumptions, limitations, and applicability［J］. IEEE Transactions on Software Engineering, 1985,11(12):1411-1423.
［5］ Horgan J R, Mathur A P. Perils of software reliability modeling［R］. US: Software Engineering Research Center, Purdue University,1995.
［6］ Hsu C J,Huang C Y. An adaptive reliability analysis using path testing for complex component-based software systems.［J］,Reliability, 2011,60(1): 158-170.
［7］ Fiondella L, Rajasekaran S,Gokhale S S, et al. Efficient software reliability analysis with correlated component failures［J］. IEEE Transactions on Reliability, 2013, (6)2:244-255.
［8］ Noh Y J, Choi K K,Du L.Reliability-based design optimization of problems with correlated input variables using a Gaussian Copula［J］. Structural and Multidisciplinary Optimization, 2009,38(1): 1-16.
［9］ Gokhale S S, Trivedi K S. Structure-based software reliability prediction［C］∥ Proceedings of 5th International Conference on Advanced Computing. Chennai, India: IEEE, 1997:447-452.
［10］ Gokhale S S, John R C,William H F. System availability analysis considering failure severities［J］. International Journal of Performability Engineering, 2007,3(4): 467.
［11］ Li Q Y, Lei L,Jun A, et al. The determination method for software reliability qualitative indices［C］∥Software Security and Reliability (SERE), 2013 IEEE 7th International Conference on.Gaithersburg, MD:IEEE, 2013:237-245.
［12］ Inoue S J,Shigeru Y D.Two-dimensional software reliability measurement technologies［C］∥Industrial Engineering and Engineering Management. Hongkong: IEEE, 2009:223-227.
［13］ Littlewood B. Software reliability model for modular program structure［J］. IEEE Transactions on Reliability, 1979,28(3):241-246.
［14］ Park J,Kim H J, Shin J H, et al. An Embedded Software Reliability Model with Consideration of Hardware Related Software Failures［C］∥IEEE Sixth International Conference on Software Security and Reliability. Gaithersburg, MD:IEEE, 2012:207-214.
［15］ Lee W B, Boo G J, Jongmoon B.Early reliability prediction: An approach to software reliability assessment in open software adoption stage［C］∥Second International Conference on Secure System Integration and Reliability Improvement. Yokohama:IEEE, 2008:226-227.
［16］ Inoue S J, Shiho H, Shigeru Y. Toward practical software reliability assessment with change-point based on hazard rate models［C］∥2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC). Kyoto, Japan:IEEE Computer Society, 2013.
［17］ Nelsen R B, Manuel AU＇U2 Flores.The lattice-theoretic structure of sets of bivariate copulas and quasi-copulas［J］. Comptes Rendus Mathematique.2005,341(9): 583-586.
［18］ Noh Y J,Choi K K, Liu D.Reliability-based design optimization of problems with correlated input variables using a Gaussian copula［J］.Structural and Multidisciplinary Optimization, 2009,38(1): 1-16.
［19］ Huang C, Lin C, Kuo S, et al. Software reliability growth models incorporating fault dependency with various debugging time lags［C］∥Proceedings of the 28th Annual International Conference on Computer Software and Applications. Hongkong:IEEE, 2004:186-191.
［20］ Kaneishi T, Tadashi D.Software reliability modeling and evaluation under incomplete knowledge on fault distribution［C］∥7th International Conference on Software Security and Reliability (SERE). Gaithersburg, MD: IEEE, 2013.
［21］ Chandra B,Koizumi T,Hayashi M,et al.A study on network reliability evaluation for developing countries［C］∥2012 18th Asia-Pacific Conference on Communications. Jeju Island Korea: IEEE, 2012.
［22］ Zeng J T,Li J Z,Zeng X H, et al. A prototype system of software reliability prediction and estimation［C］∥2010 Third International Symposium on Intelligent Information Technology and Security Informatics (IITSI). Jinggangshan:IEEE, 2010.