From the prototype to the final embedded system using the Ocarina AADL tool suite
Authors:
Open Access
- 1 July 2008
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Embedded Computing Systems
- Vol. 7 (4) , 1-25
Abstract
Building distributed deal-time embedded systems requires a stringent methodology, from early requirement capture to full implementation. However, there is a strong link between the requirements and the final implementation (e.g., scheduling and resource dimensioning). Therefore, a rapid prototyping process based on automation of tedious and error-prone tasks (analysis and code generation) is required to speed up the development cycle. In this article, we show how the AADL ( Architecture Analysis and Design Language ), which appeared in late 2004, helps solve these issues thanks to a dedicated tool suite. We then detail the prototyping process and its current implementation: Ocarina.Keywords
Funding Information
- Sixth Framework Programme (IST-004033 (ASSERT))
This publication has 14 references indexed in Scilit:
- Safety, security, and object-oriented programmingACM SIGBED Review, 2006
- Tool-Based Configuration of Real-Time CORBA Middleware for Embedded Systems2005
- On the Formal Verification of Middleware Behavioral PropertiesElectronic Notes in Theoretical Computer Science, 2005
- Automated Model-Based Generation of Ravenscar-Compliant Source Code2005
- CheddarACM SIGAda Ada Letters, 2004
- Guide for the use of the Ada Ravenscar Profile in high integrity systemsACM SIGAda Ada Letters, 2004
- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications2004
- An introduction to rapid system prototypingIEEE Transactions on Software Engineering, 2002
- The design of the TAO real-time object request brokerComputer Communications, 1998
- Software engineeringCommunications of the ACM, 1997