Title :
The refinement of real-time systems
Author :
Scholefield, D.J. ; Zedan, H.S.M.
Author_Institution :
University of York. York. YO1 5DD. UK
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;
Conference_Titel :
Real-Time Systems, 1992. Proceedings., Fourth Euromicro workshop on
Conference_Location :
Athens, Greece
Print_ISBN :
0-8186-2815-4
DOI :
10.1109/EMWRT.1992.637482
