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

来源：计算机工程与应用杂志2019年第1期北京时间：

作者：罗 玲

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

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

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