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.
Details
| 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 |
Links
Related pages
|
People |