Real-Time Systems Development Using Hierarchical State Machines

TitleReal-Time Systems Development Using Hierarchical State Machines
Publication TypeConference Paper
Year of Publication2003
AuthorsFurfaro, A, Nigro, L, Pupo, F
EditorBöszörményi, L, Schojer, P
Conference NameModular Programming Languages

This paper proposes a modular design of distributed real-time systems which is based on the Hierarchical Communicating Real-Time State Machines (HCRSM) modelling language, and the Violin toolset. HCRSM combines Statecharts constructs with CSP-like timed communications. Violin provides a visual environment supporting in a seamless way all the life-cycle development phases of an HCRSM system. Temporal validation rests on assertion checking during system simulation. Code generation is based on Java and a customizable runtime support.