Static analysis and dynamic steering of time-dependent systems.

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

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:IEEE Transactions on software engineering 27, 8 (2001).
Tác giả chính: Vicario, E.
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
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.