This work is concerned with modelling, analysis and implementation of embedded control systems using RTDEVS, 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.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
|Titolo:||A Development Methodology for Embedded Systems based on RT-DEVS|
|Data di pubblicazione:||2009|
|Citazione:||A Development Methodology for Embedded Systems based on RT-DEVS / Furfaro, Angelo; Nigro, Libero. - In: INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING. - ISSN 1614-5046. - 5/2:2(2009), pp. 117-127.|
|Appare nelle tipologie:||1.1 Articolo in rivista|