DocumentCode
2423922
Title
The refinement of real-time systems
Author
Scholefield, D.J. ; Zedan, H.S.M.
Author_Institution
University of York. York. YO1 5DD. UK
fYear
1992
fDate
3-5 June 1992
Firstpage
122
Lastpage
127
Abstract
The Temporal Agent Model (TAM) is a widespectrum development language for real-time systems. In TAM, limited resources are modelled by deriving release times and absolute deadlines from weakest precondition predicate transformers. The language syntax is described, a refinement calculus is presented and a number of examples are discussed. Our development method does not address issues such as schedulability and process allocation.
Keywords
Algebra; Calculus; Computer science; Concrete; Concurrent computing; Handicapped aids; Logic functions; Real time systems; Time sharing computer systems; Transformers;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems, 1992. Proceedings., Fourth Euromicro workshop on
Conference_Location
Athens, Greece
Print_ISBN
0-8186-2815-4
Type
conf
DOI
10.1109/EMWRT.1992.637482
Filename
637482
Link To Document