Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines |
| |
Authors: | Angelo Furfaro Libero Nigro Francesco Pupo |
| |
Affiliation: | (1) Laboratorio di Ingegneria del Software, Dipartimento di Elettronica Informatica e Sistemistica, Università della Calabria, I-87036, Rende (CS), Italy |
| |
Abstract: | This paper proposes a methodology for the development of distributed real-time systems. The methodology consists of the Hierarchical
Communicating Real-Time State Machines (H-CRSM) modelling language, and the Violin toolset. H-CRSM 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 H-CRSM system. Temporal
validation rests on assertion checking during system simulation. Code generation is based on Java and a customizable runtime.
The practical use of H-CRSM/Violin is shown by an example.
A preliminary version of this paper appears in Proc. of Joint Modular Languages Conference (JMLC'2003), Klagenfurt, Austria, August 2003, LNCS 2789, Springer, pp. 110–121.
Angelo Furfaro, Phd, is a computer science assistant professor at Unical, DEIS, teaching object-oriented programming. His research interests
include: multiagent systems, Petri nets, parallel simulation, verification of time-dependent systems, distributed measurement
systems. He is a member of ACM.
Libero Nigro is a full professor of computer science at Unical, DEIS, where he teaches object-oriented programming, software engineering
and real-time systems courses. He is the responsible of Software Engineering Laboratory (www.lis.deis.unical.it). His current
research interests include: software engineering of time-dependent and distributed systems, real-time systems, Petri nets,
modeling and parallel simulation of complex systems, distributed measurement systems. Prof. Nigro is a member of ACM and IEEE.
Francesco Pupo, Phd, is a computer science assistant professor at Unical, DEIS, teaching introductory programming and computer architecture
courses. His research interests include: Petri nets, discrete-event simulation, real-time systems, distributed measurement
systems. |
| |
Keywords: | modular modelling hierarchical state machines real-time constrains prototyping assertions integrated development environment Java |
本文献已被 SpringerLink 等数据库收录! |
|