Modeling and Analysis of Fault Detection Based on Time Petri Net

In this paper, we propose a method for modeling and analysis of fault detection in real-time systems. This approach is based on the model of time petri net (TPN), which derives from the timing analysis of the TPN models with guarded transitions. With the reachability analysis of each mark of TPN model, some finite length of test sequences are generated through computing the shortest path from the initial mark to each leaf node. Then we carry out input in the proper time intervals and check out whether the system satisfies the requirements for real time and the functions of software that according to the output results. This approach is well illustrated by means of modeling and analysis of a safety-critical system: Interlock Logic System.