Applying the Cogito Program Development Environment to Real−Time System Design
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 re...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
1998
|