The Community for Technology Leaders
Green Image
Issue No. 02 - April (1990 vol. 1)
ISSN: 1045-9219
pp: 170-183
<p>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.</p>
Index Termspetri nets; parallel program design; timed transition models; finite-state TTM; decision procedures; real-time temporal logic; system reachability graph; invariance; precedence; eventuality; real-time response specifications; decidability; formal logic; formal specification; parallel programming; programming theory; real-time systems
J.S. Ostroff, "Deciding Properties of Timed Transition Models", IEEE Transactions on Parallel & Distributed Systems, vol. 1, no. , pp. 170-183, April 1990, doi:10.1109/71.80145
79 ms
(Ver 3.3 (11022016))