Hierachical Communicating Real-Time State Machines
| Title | Hierachical Communicating Real-Time State Machines |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Fortino, G, Furfaro, A, Nigro, L, Pupo, F |
| Conference Name | Proc. of Parallel and Distributed Processing Techniques and Applications (PDPTA'2000) |
| Pagination | 3027-3033 |
| Date Published | 25-29 June |
| Conference Location | Las Vegas, NV, USA |
| Abstract | This paper proposes a methodology for the development of distributed real-time (RT) systems using the Communicating Real-Time State Machines (CRSM) formal specification language. The methodology is novel in that it addresses complex systems by extending CRSMs with concepts borrowed from Statecharts, and favours timing predictability through a holistic integration of an RT system and its operating software, i.e., message-based runtime executive. A full life cycle is established where all the development phases are unified by a common runtime representation based on actors used both for prototyping and temporal analysis and for final implementation. The paper describes the methodology and shows its practical use through examples. Java is the implementation language. |