loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'01)
TILCO-X, an Extension of TILCO Temporal Logic
Sk?vde, Sweeden
June 11-June 13
ISBN: 0-7695-1159-7
Pierfrancesco Bellini, University of Florence
Paolo Nesi, University of Florence
Abstract: Temporal logics are typically used for the specification of real-time systems since they are capable of describing temporal constraints among events and actions: properties of invariance, precedence, periodicity, repeated occurrences, liveness and safety conditions, etc. This paper describes an evolution of the Temporal Interval Logic called TILCO. TILCO is based on time intervals and can concisely express temporal constraints with time bounds. In this paper, TILCO-X extension of TILCO is presented. TILCO-X proposes two new operators that strongly increase conciseness and readability of specifications to allow describing (i) the temporal ordering of events without distinction between past and future, and (ii) predicates depending on the number of occurrences of events in intervals. TILCO- X is capable to describe specifications by using a lower number of quantifications and of nesting levels between temporal operators. This paper also presents the semantics of TILCO-X and related examples showing the power of the model proposed in terms of conciseness.
Index Terms:
formal specification language, first order logic, temporal interval logic, verification and validation, real-time systems, temporal operators.
Citation:
Pierfrancesco Bellini, Paolo Nesi, "TILCO-X, an Extension of TILCO Temporal Logic," iceccs, pp.0015, Seventh IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.