Slika omota

Static analysis and dynamic steering of time-dependent systems.

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 ar...

Cijeli opis

Bibliografski detalji
Izdano u:IEEE Transactions on software engineering 27, 8 (2001).
Glavni autor: Vicario, E.
Format: Članak
Jezik:engleski
Teme:
Compact enumeration.
Dense model.
Dynamic acceptance.
Dynamic steering.
Enumerative technique.
Equivalence classes.
Failure avoidance mechanism.
Feasible timings.
Hard real-time processes.
Mixed static/dynamic strategy.
Reachability.
Runtime refinement.
State space.
Static analysis.
Static profiles.
Tight profile.
Time-dependent models.
Time-dependent systems.
Timed reachability.
Timeliness analysis.
Timing constraints.
Untimed run.