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

For the most recent entries see the Petri Nets Newsletter.

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

Tsai, J.J.P.; Yang, S.J.; Chang, Y.-H.; Juan, E.Y.T.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography