By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Tsai, J.J.P. ; Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA ; Yang, S.J. ; Yao-Hsiung Chang ; Juan, E.Y.T.

Timing analysis is essential to the development of valid computer systems especially for a distributed real-time system. 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 constraint violation in a faulty task can be identified

Published in:

Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International

Date of Conference:

21-23 Aug 1996