Title :
Real-time temporal logic decision procedures
Author_Institution :
Dept. of Comput. Sci., York Univ., North York, Ont., Canada
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;
Conference_Titel :
Real Time Systems Symposium, 1989., Proceedings.
Conference_Location :
Santa Monica, CA
Print_ISBN :
0-8186-2004-8
DOI :
10.1109/REAL.1989.63560
