StateML + : From Graphical State Machine Models to Thread-Safe Ada Code
Author
Alonso Cáceres, Diego; Vicente Chicote, Cristina; Pastor Franco, Juan Ángel; Álvarez Torres, María BárbaraResearch Group
División de Sistemas e Ingeniería Electrónica (DSIE)Knowledge Area
Lenguajes y Sistemas InformáticosSponsors
This research has been funded by the Spanish CICYT project MEDWSA (TIN2006-15175-C05-02) and the Regional Government of Murcia Seneca Program (02998-PI-05).Publication date
2008-06-11Publisher
SpringerBibliographic Citation
ALONSO, Diego, VICENTE CHICOTE, Cristina, PASTOR, Juan A., ÁLVAREZ, Bárbara. StateML + : From Graphical State Machine Models to Thread-Safe Ada Code. Lecture Notes in Computer Science, 5026/2008: 158-170, Junio 2008. ISSN 0302-9743Keywords
Modelos de Ingeniería de conducciónTransformación de modelo a texto
Máquinas de estado finito
Generación de hilo seguro de código
Plataforma eclipse
Model driven engineering (MDE)
Model to text transformation
Finite state machines (FSM)
Thread safe code generation
Eclipse platform
Abstract
This paper presents the StateML+ tool aimed at designing state-machines and automatically generating thread-safe and multi-tasking modular Ada code from them, following a Model-Driven Engineering approach. The StateML+ meta-model is an extension of a previous version, and now it offers improved modeling capabilities, which include regions and macro-state definition. In this paper, a case study regarding the design of a robotic system will be used to demonstrate the benefits of the proposed approach.
Collections
- Artículos [1768]
The following license files are associated with this item:
Social media