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

Furfaro, Angelo; Nigro, Libero; Pupo, Francesco

doi:10.1007/s11241-006-5318-0

Cited by 6 publications

(2 citation statements)

References 21 publications

(22 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, a macro state can be and-decomposed for supporting a notion of concurrent sub automata. Statecharts have been successfully applied to the design of reactive eventdriven real-time systems (Harel & Polity, 1998) (Selic & Rumbaugh, 1998) (Furfaro et al, 2006), as well as to modelling and performance analysis, e.g. (Vijaykumar et al, 2002(Vijaykumar et al, -2006.…”

Section: Introductionmentioning

confidence: 99%

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems

Cicirelli¹,

Furfaro

Giordano³

et al. 2009

ECMS 2009 Proceedings Edited by J. Otamendi, A. Bargiela, J. L. Montes, L. M. Doncel Pedrera

View full text Add to dashboard Cite

This paper discusses the use of Theatre, a multi-agent simulation architecture, for the distributed simulation of discrete event systems (DESs) whose entities express complex behaviours. Complexity is dealt with by exploiting statechart-based actors which constitute the basic building blocks of a model. Actors are lightweight reactive autonomous agents that communicate to one another by asynchronous message passing. The threadless character of actors saves memory space and fosters efficient execution. The behaviour of actors is specified through "distilled statecharts" that enable hierarchical and modular specifications. Distributed simulation is accomplished by partitioning the system model among a set of logical processes (theatres). Timing management and intertheatre communications rest on High Level Architecture (HLA) services. The paper highlights the current implementation status and demonstrates the practical application of the approach through a manufacturing system model.

show abstract

Section: Introductionmentioning

confidence: 99%

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems

Cicirelli¹,

Furfaro

Giordano³

et al. 2009

ECMS 2009 Proceedings Edited by J. Otamendi, A. Bargiela, J. L. Montes, L. M. Doncel Pedrera

View full text Add to dashboard Cite

show abstract

“…This paper describes a design methodology for embedded control systems, assisted by modelling, analysis and implementation tools, which makes it possible to experiment with model continuity [13,16,17,24], i.e. seamless development where the same model is used, with minimal change, for both property analysis and real time execution.…”

mentioning

confidence: 99%

A development methodology for embedded systems based on RT-DEVS

Furfaro

Nigro

2009

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

This work is concerned with modelling, analysis and implementation of embedded control systems using RT-DEVS, i.e. a specialization of classic discrete event system specification (DEVS) for real-time. RT-DEVS favours model continuity, i.e. the possibility of using the same model for property analysis (by simulation or model checking) and for real time execution. Special case tools are reported in the literature for RT-DEVS model analysis and design. In this work, temporal analysis of a model exploits a translation in Uppaal timed automata for exhaustive verification. For large models a simulator was realized in Java which directly stems from RT-DEVS operational semantics. The same concerns are at the basis of a real-time executive. The paper describes the proposed RT-DEVS development methodology and clarifies its implementation status. The approach is demonstrated by applying it to an embedded system example which is analyzed through model checking and implemented in Java. Finally, research directions which deserve further work are indicated.

show abstract

Timed verification of hierarchical communicating real-time state machines

Furfaro¹,

Nigro²

2007

Computer Standards & Interfaces

View full text Add to dashboard Cite

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

Cited by 6 publications

References 21 publications

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems

Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems

A development methodology for embedded systems based on RT-DEVS

Timed verification of hierarchical communicating real-time state machines

Contact Info

Product

Resources

About