采用随机Petri网的嵌入式机载软件可靠性检测OA北大核心CSCDCSTPCD
Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net
针对嵌入式机载软件设计中存在的典型缺陷问题,结合嵌入式机载软件任务调度特性,提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法,以提高嵌入式机载软件设计的可靠性.该方法采用随机Petri网对嵌入式机载软件系统行为建模,并给出典型缺陷的检测策略和判定准则,然后通过对Petri网模型进行仿真验证,检测系统是否存在此类设计缺陷;并给出了软件设计的运行流程的仿真验证算法,以支持对相应设计的可靠性检测.通过与其他可靠性检测方法的比较,表明了该方法的有效性.
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 verifi-cation 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 softwa…查看全部>>
罗玲
西南电子技术研究所 航空部,成都 610036
信息技术与安全科学
随机Petri网(PN)软件可靠性嵌入式机载软件
stochastic Petri netreliability of softwareembedded airborne software
《计算机工程与应用》 2019 (1)
面向图形流程模型的结构化转换方法研究
233-240,8
国家自然科学基金(No.61303031).
评论