Verifying timing properties for distributed real-time systems using timing constraint Petri nets

Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. In this paper, we present both static and dynamic analysis procedures to verify timing properties of distributed real-time systems using timing constraint Petri nets (TCPNs). With both derived static information and collected dynamic data, we can locate a faulty task in a distributed real-time system using a timing behavior cross reference task. After a faulty task has been pinpointed, the causes of a timing constraints violation in a faulty task can be identified.