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网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。

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