Title :
Application-oriented real time algebra
Author :
Bradley, Steven ; Henderson, William ; Kendall, David ; Robson, Adrian
Author_Institution :
Dept. of Comput., Northumbria Univ., Newcastle upon Tyne, UK
fDate :
9/1/1994 12:00:00 AM
Abstract :
Many attempts have been made to define timed process algebras as a route to formal reasoning about real-time systems. We argue that existing timed process algebras unsuccessfully try to address all of the aspects which their untimed counterparts address (specification, design and modelling) whereas they would be more useful if they were restricted to one of these roles, Drawing on this, an application-oriented real-time algebra (AORTA) is introduced, with special features making it suitable for the design of real-time systems which may need to be formally verified
Keywords :
formal languages; program verification; real-time systems; temporal logic; AORTA; application-oriented real time algebra; formal reasoning; formal verification; real-time systems; timed process algebras;
Journal_Title :
Software Engineering Journal
