Real-Time Systems Development Using Hierarchical State Machines
|Title||Real-Time Systems Development Using Hierarchical State Machines|
|Publication Type||Conference Paper|
|Year of Publication||2003|
|Authors||Furfaro, A, Nigro, L, Pupo, F|
|Editor||Böszörményi, L, Schojer, P|
|Conference Name||Modular 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.