The search functionality is under construction.
The search functionality is under construction.

Checking of Timing Constraint Violation Based on Graph in Reactive Systems

Hiromi KOBAYASHI

  • Full Text Views

    0

  • Cite this

Summary :

The detection of timing constraint violation is crucial in reactive systems. A method of detecting deadline violation based on Floyd-Warshall shortest path algorithm has been proposed by Chodrow et al. We extend this method to detect the violation of minimum delay time in reactive systems where the repetition of event sequences frequently occurs.

Publication
IEICE TRANSACTIONS on Fundamentals Vol.E85-A No.4 pp.909-913
Publication Date
2002/04/01
Publicized
Online ISSN
DOI
Type of Manuscript
LETTER
Category
Graphs and Networks

Authors

Keyword