Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets

Authors:
Jeffrey J. P. Tsai;Steve J. Yang;Yao-Hsiung Chang;Eric Y. T. Juan
Affiliations:
-;-;-;-
Venue:
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Year:
1996

Citing 7
Cited 0

Safety Analysis Using Petri Nets

IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems

IEEE Transactions on Software Engineering
Monitoring and debugging of distributed real-time systems

Monitoring and debugging of distributed real-time systems
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

IEEE Transactions on Software Engineering
Debugging for Timing-Constraint Violations

IEEE Software
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models

IEEE Transactions on Software Engineering
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.