Applying the Cogito Program Development Environment to Real−Time System Design
C. J. Fidge‚ P. Kearney and A. P. Martin
Abstract
This paper shows how a formal program development environment, previously used only for sequential, non-real-time applications, can be exploited for designing parallel, real-time systems. A pragmatic approach is adopted, making best use of existing technologies, in order to quickly achieve useful results.
Book Title
Computer Science '98
Editor
C. McDonald
ISBN
981−3083−90−5
Note
Proc. 21st Australasian Computer Science Conference‚ Perth‚ 4−6 February 1998. Australian Computer Science Communications‚ Vol. 20‚ No. 1. Also available as technical report SVRC−TR−97−36.
Pages
367–378
Publisher
Springer−Verlag
Year
1998