DocumentCode
1263438
Title
Deciding properties of timed transition models
Author
Ostroff, Jonathan S.
Author_Institution
Dept. of Comput. Sci., York Univ., Ont., Canada
Volume
1
Issue
2
fYear
1990
fDate
4/1/1990 12:00:00 AM
Firstpage
170
Lastpage
183
Abstract
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
Keywords
decidability; formal logic; formal specification; parallel programming; programming theory; real-time systems; decision procedures; eventuality; finite-state TTM; invariance; parallel program design; petri nets; precedence; real-time response specifications; real-time temporal logic; system reachability graph; timed transition models; Aerospace electronics; Clocks; Computational modeling; Concurrent computing; Heart; Logic; Performance analysis; Real time systems; Safety; Time to market;
fLanguage
English
Journal_Title
Parallel and Distributed Systems, IEEE Transactions on
Publisher
ieee
ISSN
1045-9219
Type
jour
DOI
10.1109/71.80145
Filename
80145
Link To Document