基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

doi:10.3969/j.issn.1000-1093.2015.02.025

兵工学报 ›› 2015, Vol. 36 ›› Issue (2): 363-373.doi: 10.3969/j.issn.1000-1093.2015.02.025

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

许玉堂¹，殷永峰²，孙静³，张弛²，刘斌²

（1.北京理工大学机电学院北京 100081； 2.北京航空航天大学可靠性与系统工程学院北京 100191；

收稿日期:2014-04-15 修回日期:2014-04-15 上线日期:2015-04-07
作者简介:许玉堂（1978—），男，博士生研究生
基金资助:
航空科学基金项目（20140751008）；中央高校基本科研业务费专项资金项目（YWF-11-03-Q-114）

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

XU Yu-tang¹, YIN Yong-feng², SUN Jing³, ZHANG Chi², LIU Bin²

（1.School of Mechatronical Engineering, Beijing Institute of Technology, Beijing 100081, China；2.School of Reliability and System Engineering, Beihang University, Beijing 100191, China；3.Ordnance Science and Research Academy of China, Beijing 100089, China）

Received:2014-04-15 Revised:2014-04-15 Online:2015-04-07

摘要/Abstract

摘要： 软件可靠性是软件质量评估最重要的指标之一，随着软件工程和组件重用技术的发展，近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性，调研现有体系结构的可靠性评估模型，给出了现有体系结构模型的分类和模型代表，并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性，因此重点研究Petri网可靠性评估模型，通过划分时间变迁和瞬时变迁，并引入时间相关的可靠度，包括延时可靠度与时序可靠度，对Petri网进行了扩展，给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系，创建可达状态转移矩阵，对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中，完成了体系结构建模及可靠性评估，并通过误差分析验证了该方法的有效性及准确性。

关键词: 计算机软件, 软件体系结构, 可靠性评估, 时间扩展Petri网

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

许玉堂，殷永峰，孙静，张弛，刘斌. 基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估[J]. 兵工学报, 2015, 36(2): 363-373.

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.

参考文献

［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.

[1]	纪明，卜珺珺，马聪. 最大熵试验法对航天作动器输出可靠性的评估[J]. 兵工学报, 2022, 43(4): 919-923.
[2]	王博，蒋平，郭波. 基于多源信息融合的航天阀门可靠性评估[J]. 兵工学报, 2022, 43(1): 199-206.
[3]	金俊坤，杨宁国，吕冬雪. 结合单元试验数据的指数型串联系统定时截尾试验可靠性评估方法[J]. 兵工学报, 2019, 40(8): 1756-1760.
[4]	李海洋，谢里阳，李铭，李强，钟海. 一种新的无失效数据可靠性评估方法研究[J]. 兵工学报, 2018, 39(8): 1622-1631.
[5]	闫华，高黎，王魁，漆磊. 大规模多阶段任务系统马尔可夫可靠性模型的存储和计算[J]. 兵工学报, 2016, 37(9): 1715-1720.
[6]	夏新涛，叶亮，李云飞，常振. 基于多层自助最大熵法的可靠性评估[J]. 兵工学报, 2016, 37(7): 1317-1329.
[7]	张文杰，杨华波，张士峰. 基于Bayes混合验前分布的成败型产品可靠性评估[J]. 兵工学报, 2016, 37(3): 505-511.
[8]	朱赛，蔡金燕，孟亚峰，李丹阳，潘刚. 具有故障细胞的胚胎电子阵列上目标电路评估[J]. 兵工学报, 2016, 37(11): 2120-2127.
[9]	盖京波，孔耀. 基于物理特性参数的可靠性评估[J]. 兵工学报, 2015, 36(6): 1104-1109.
[10]	曹敬瑜, 柴玮岩, 王博, 郭永红. 嵌入式分布计算环境下的高效软件构件化框架研究[J]. 兵工学报, 2013, 34(4): 451-458.
[11]	程红伟，陶俊勇，张云安，陈循. 基于F分布的指数型产品环境因子计算方法研究[J]. 兵工学报, 2012, 33(10): 1217-1221.

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

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

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics

本文评价