DocumentCode
1188743
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
Volume
9
Issue
5
fYear
1994
fDate
9/1/1994 12:00:00 AM
Firstpage
201
Lastpage
212
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
329067
Link To Document