Deciding properties of timed transition models

Deciding properties of timed transition models

Real-time distributed systems are modeled by a times transition model (TTM). For any finite-state TTM, decision procedures are provided for checking a small but important class of properties (specified in real-time temporal logic). The procedures are linear in the size of the system reachability gra...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on parallel and distributed systems 1990-04, Vol.1 (2), p.170-183
1. Verfasser: Ostroff, J.S.
Format: Artikel
Sprache:eng
Schlagworte:
Aerospace electronics
Clocks
Computational modeling
Concurrent computing
Heart
Logic
Performance analysis
Real time systems
Safety
Time to market
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Real-time distributed systems are modeled by a times transition model (TTM). For any finite-state TTM, decision procedures are provided for checking a small but important class of properties (specified in real-time temporal logic). The procedures are linear in the size of the system reachability graph. The class of properties includes invariance, precedence, eventuality and real-time response specifications.< >
ISSN:1045-9219
1558-2183
DOI:10.1109/71.80145