Code generation from AADL to a real-time operating system: An experimentation feedback on the use of model transformation

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2008, Pages 257-262

  Brun, Matthias ^a   Delatour, Jérôme ^a   Trinquet, Yvon ^b  

^a ESEO   (France)

^b INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; FEEDBACK; REAL TIME SYSTEMS; UNIFIED MODELING LANGUAGE; VERIFICATION;

MODEL DRIVEN ARCHITECTURE (MDA); REAL-TIME EMBEDDED SYSTEM (RTES); SOPHISTICATED TOOLS;

AUTOMATIC PROGRAMMING;

EID: 44149110669     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2008.19     Document Type: Conference Paper

References (19)

1. clipse, http://www.eclipse.org/.
2. The ATL home page2007. http://www.sciences.univnantes.fr/lina/atl/.
3. ATLAS (ATlantic dAta Systems): complex data management in distributed systems, 2007. http://www.sciences.univ-nantes.fr/lina/ATLAS/.
4. The Object Management Group (OMG), 2007. http://www.omg.org/.
5. The OMG's Model Driven Architecture (MDA), 2007. http://www.omg.org/mda/.
6. OSEK/VDX Portal, 2007. http://www.osek-vdx.org/.
7. SAE AADL information site, 2007. http://www.aadl.info/.
8. J. Bechennec, M. Briday. S. Faucou, and Y. Trinquet. Trampoline an open source implementation of the OSEK/VDX RTOS. In 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'06), Prague, September 2006.
9. Centre National, de Recherche Technologique (CNRT) Aéronautique & Espace. Toolkit in OPen source for Critical Applications & SystEms Development (TOPCASED). http://www.topcased.org/.
10. P. Dissaux. Real-Time C code generation from a HOOD design. In DASIA conference, Montreal, 2000.
11. J. Hugues, B. Zalila, J. Delange, and L. Pautet. Code generation strategies from AADL architectural descriptions targeting the HI domain. In 4th European Congress Embedded Real-Time Software (ERTS'08), Toulouse, France, 2008.
12. F. Jouault, J. Bézivin, and I. Kurtev. TCS: a DSL for the specification of Textual Concrete Syntaxes in model engineering. In Proceedings of the fifth international conference on Generative programming and Component Engineering (GPCE'06), 2006.
13. F. Jouault and I. Kurtev. Transforming models with ATL. In Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005, Montego Bay, Jamaica, 2005.
14. J. LeMieux. Programming in the OSEK/VDX Environment. CMP Books, 2001.
15. OSEK/VDX. OIL specification, Version 2.5, 2004. http://portal.osek.-vdx.org/fi.les/pdf/specs/oil25.pdf.
16. OSEK/VDX. OS specification, Version 2.2.3, 2005. http://portal.osek-vdx.org/files/pdf/specs/os223.pdf.
17. Real-Time Systems group of IRCCyN. Trampoline, 2007. http://trampoline. rts-software.org.
18. Society of Automotive Engineer (SAE). Architecture Analysis & Design Language (AADL) AS5506, Version 1.0, 2004.
19. Software Engineering Institute (SEI). Open Source AADL Tool Environment (OSAFE), 2007. http://la.sei.cmu.edu/.