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.
|頁（從 - 到）||36-40|
|期刊||Proceedings - IEEE Computer Society's International Computer Software and Applications Conference|
|出版狀態||已出版 - 1996|
|事件||Proceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 - Seoul, S Korea|
持續時間: 21 8月 1996 → 23 8月 1996