DocumentCode
2263724
Title
Real-time temporal logic decision procedures
Author
Ostroff, J.S.
Author_Institution
Dept. of Comput. Sci., York Univ., North York, Ont., Canada
fYear
1989
fDate
5-7 Dec 1989
Firstpage
92
Lastpage
101
Abstract
Real-time systems are modeled by a timed transition model (TTM). For any finite-state TTM, decision procedures are provided for checking a small but important class of properties, which are 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
finite automata; formal logic; real-time systems; eventuality; finite-state TTM; invariance; precedence; real-time response specifications; real-time systems; system reachability graph; temporal logic decision procedures; timed transition model; Clocks; Computer languages; Control systems; Delay; Logic; Real time systems; State-space methods; Time measurement;
fLanguage
English
Publisher
ieee
Conference_Titel
Real Time Systems Symposium, 1989., Proceedings.
Conference_Location
Santa Monica, CA
Print_ISBN
0-8186-2004-8
Type
conf
DOI
10.1109/REAL.1989.63560
Filename
63560
Link To Document