Browse by author
Lookup NU author(s): Dr Rogerio De Lemos
Real Time Logic, RTL, was introduced by Jahanian and mok in [5] as a formalism for reasoning about the absolute timing properties of real-time systems. The need for RTL came from a perceived inextensibility of research at that time form relative timing problems of systems to absolute timings. RTL is a first order logic with an uninterpreted predicate which relates events of a system to the time of their occurrence. RTL assumes, as its model of time, a total order isomorphic to the natural numbers. In this paper we provide extensions to RTL which allow reasoning about absolute timings for both continuous and discrete time, and reaoning about system behaviour in the value and time domains by parameterising predicates in terms of system variables. Incorporating these features into RTL we obtain Extended Real-Time Logic (ERTL) which is suitable for the modelling and analysis of hybrid systems
Author(s): de Lemos R, Hall JG
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1996
Pages: 15
Print publication date: 01/12/1996
Source Publication Date: December 1996
Report Number: 568
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/568.pdf
