Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines

Authors:
Angelo Furfaro;Libero Nigro;Francesco Pupo
Affiliations:
Laboratorio di Ingegneria del Software, Dipartimento di Elettronica Informatica e Sistemistica, Università della Calabria, Italy I-87036;Laboratorio di Ingegneria del Software, Dipartimento di Elettronica Informatica e Sistemistica, Università della Calabria, Italy I-87036;Laboratorio di Ingegneria del Software, Dipartimento di Elettronica Informatica e Sistemistica, Università della Calabria, Italy I-87036
Venue:
Real-Time Systems
Year:
2006

Citing 17
Cited 0

Communicating sequential processes

Communicating sequential processes
Safety analysis of timing properties in real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Unidraw: a framework for building domain-specific graphical editors

ACM Transactions on Information Systems (TOIS)
Object lifecycles: modeling the world in states

Object lifecycles: modeling the world in states
Communicating Real-Time State Machines

IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Real-time object-oriented modeling

Real-time object-oriented modeling
A theory of timed automata

Theoretical Computer Science
A prototyping environment for specifying, executing and checking Communicating Real-Time State machines

Software—Practice & Experience
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
The performance of μ-kernel-based systems

Proceedings of the sixteenth ACM symposium on Operating systems principles
Real-Time Systems and Software

Real-Time Systems and Software
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study

Real-Time Systems
Using UML for Modeling Complex Real-Time Systems

LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Super Actors for Real Time

WORDS '01 Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01)
Concurrent and Real-Time Programming in Java

Concurrent and Real-Time Programming in Java

Quantified Score

Hi-index	0.00

Visualization

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.