In: Proc. 20th Annual Int. Computer Software and Applications Conf. (COMPSAC-96), pages 36-40. 1996.
Abstract: Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. This paper presents 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, a faulty task can be located in a distributed real-time system using a timing behavior cross reference task. After a faulty task has been pinpointed, the cause of a timing constraints in a faulty task can be identified.
Keywords: constraint Petri nets, distributed systems, real-time systems.
Back to the Petri Nets Bibliography