采用随机Petri网的嵌入式机载软件可靠性检测

doi:10.3778/j.issn.1002-8331.1709-0192

计算机工程与应用 ›› 2019, Vol. 55 ›› Issue (1): 233-240.DOI: 10.3778/j.issn.1002-8331.1709-0192

采用随机Petri网的嵌入式机载软件可靠性检测

罗玲

西南电子技术研究所航空部，成都 610036

出版日期:2019-01-01 发布日期:2019-01-07

Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net

LUO Ling

Department of Aviation, Institute of Southwest Electronic Technology, Chengdu 610036, China

Online:2019-01-01 Published:2019-01-07

摘要/Abstract

摘要： 针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。

关键词: 随机Petri网（PN）, 软件可靠性, 嵌入式机载软件

Abstract: By considering the typical questions in designs about embedded airborne software and the characteristics of their task scheduling, a reliability checking method based on stochastic Petri net is presented for the simulation and verification of the designs about embedded airborne software, which is to improve the reliability of designs about embedded airborne software. This method employs stochastic Petri net to model the behaviors of embedded airborne software systems.Then the inspection policies and criteria of typical defects are utilized to check whether there exist these defects in the systems by means of the simulation and verification of Petri net models. In addition, the simulation and verification algorithm for the operation procedure of software design is demonstrated to support the reliability checking of corresponding design. Compared with other reliability checking methods, this approach is found effective.

Key words: stochastic Petri net, reliability of software, embedded airborne software

罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.

LUO Ling. Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net[J]. Computer Engineering and Applications, 2019, 55(1): 233-240.

[1]	邵明正1，齐剑锋1，韩　　震2. 基于功能路径的软件可靠性评估方法[J]. 计算机工程与应用, 2015, 51(16): 265-270.
[2]	薛利兴，左德承，张展. 考虑系统调用和失效模式的软件可靠性模型[J]. 计算机工程与应用, 2014, 50(9): 5-11.
[3]	刘博，李蜀瑜. ISTREM软件测试可靠性评估方法研究[J]. 计算机工程与应用, 2014, 50(22): 65-68.
[4]	石柱，郑重. 星载软件可靠性模型应用研究及实践[J]. 计算机工程与应用, 2013, 49(7): 52-54.
[5]	张德平，汪帅. 基于经验模态分解的混合软件可靠性预测模型[J]. 计算机工程与应用, 2013, 49(17): 24-29.
[6]	尚赵伟，肖静静，张凌峰，陈静. 不完全数据的软件可靠性预测[J]. 计算机工程与应用, 2012, 48(33): 68-72.
[7]	张汝波，史长亭，杨婷. 水下机器人软件可靠性及故障诊断方法研究[J]. 计算机工程与应用, 2011, 47(18): 226-230.
[8]	崔正斌，汤光明. 基于遗传算法和KNN的软件度量属性选择研究[J]. 计算机工程与应用, 2010, 46(30): 57-60.
[9]	钟波，孙永波. 基于Copula构件相依的软件体系结构可靠性模型[J]. 计算机工程与应用, 2010, 46(25): 51-56.
[10]	崔正斌¹，汤光明¹，乐峰². 遗传优化支持向量机的软件可靠性预测模型[J]. 计算机工程与应用, 2009, 45(36): 71-74.
[11]	陈俊文，谷建华，张凡，董云卫. 一种改进的基于架构的软件可靠性模型[J]. 计算机工程与应用, 2009, 45(33): 60-63.
[12]	李钧¹，代祖华². Weibull分布在软件最优交付时间估算中的应用[J]. 计算机工程与应用, 2009, 45(23): 67-69.
[13]	刘畅，阮镰，刘斌，蒋崇武. 异构软件体系结构的可靠性模型[J]. 计算机工程与应用, 2009, 45(21): 1-4.
[14]	鲍国民¹,郑成文¹,韩柯². 软件MTBF计算方法研究[J]. 计算机工程与应用, 2008, 44(35): 37-39.
[15]	贾治宇,康锐. 软件可靠性预测的ARIMA方法研究[J]. 计算机工程与应用, 2008, 44(35): 17-19.

采用随机Petri网的嵌入式机载软件可靠性检测

Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics