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
|
| _version_ | 1826265010152669184 |
|---|---|
| author | Fidge, C Kearney, P Martin, A |
| author_facet | Fidge, C Kearney, P Martin, A |
| author_sort | Fidge, C |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-06T20:16:57Z |
| format | Conference item |
| id | oxford-uuid:2c70a3f6-a228-433c-bc37-47626bd4ab40 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:16:57Z |
| publishDate | 1998 |
| publisher | Springer−Verlag |
| record_format | dspace |
| spelling | oxford-uuid:2c70a3f6-a228-433c-bc37-47626bd4ab402022-03-26T12:37:14ZApplying the Cogito Program Development Environment to Real−Time System DesignConference itemhttp://purl.org/coar/resource_type/c_5794uuid:2c70a3f6-a228-433c-bc37-47626bd4ab40Department of Computer ScienceSpringer−Verlag1998Fidge, CKearney, PMartin, AThis 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. |
| spellingShingle | Fidge, C Kearney, P Martin, A Applying the Cogito Program Development Environment to Real−Time System Design |
| title | Applying the Cogito Program Development Environment to Real−Time System Design |
| title_full | Applying the Cogito Program Development Environment to Real−Time System Design |
| title_fullStr | Applying the Cogito Program Development Environment to Real−Time System Design |
| title_full_unstemmed | Applying the Cogito Program Development Environment to Real−Time System Design |
| title_short | Applying the Cogito Program Development Environment to Real−Time System Design |
| title_sort | applying the cogito program development environment to real time system design |
| work_keys_str_mv | AT fidgec applyingthecogitoprogramdevelopmentenvironmenttorealtimesystemdesign AT kearneyp applyingthecogitoprogramdevelopmentenvironmenttorealtimesystemdesign AT martina applyingthecogitoprogramdevelopmentenvironmenttorealtimesystemdesign |