The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (2001 vol.27)
pp: 728-748
ABSTRACT
<p><b>Abstract</b>—An enumerative technique is presented which supports reachability and timeliness analysis of time-dependent models. The technique assumes a dense model of time and uses equivalence classes to enable discrete and compact enumeration of the state space. Properties of timed reachability among states are recovered through the analysis of timing constraints embedded within equivalence classes. In particular, algorithms are given to evaluate a tight profile for the set of feasible timings of any untimed run. Runtime refinement of static profiles supports a mixed static/dynamic strategy in the development of a failure avoidance mechanism for dynamic acceptance and a guarantee of hard real-time processes.</p>
INDEX TERMS
Time-dependent systems, hard real-time systems, timeliness predictability, enumerative static analysis, dynamic task guarantee, quantitative timing estimation, Time Petri Nets.
CITATION
Enrico Vicario, "Static Analysis and Dynamic Steering of Time-Dependent Systems", IEEE Transactions on Software Engineering, vol.27, no. 8, pp. 728-748, August 2001, doi:10.1109/32.940727
101 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool