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

Szczegółowa specyfikacja

Opis bibliograficzny
Wydane w:	IEEE Transactions on software engineering 27, 8 (2001).
1. autor:	Vicario, E.
Format:	Artykuł
Język:	English
Hasła przedmiotowe:	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.