%0 Journal Article %A LUO Ling %T Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net %D 2019 %R 10.3778/j.issn.1002-8331.1709-0192 %J Computer Engineering and Applications %P 233-240 %V 55 %N 1 %X 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. %U http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.1709-0192