Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina

Jérôme Hugues Béchir Zalila Laurent Pautet Fabrice Kordon 1 
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between the requirements and the final implementation (e.g. scheduling, resource dimensioning). Therefore, a rapid prototyping process based on automation of tedious and error-prone tasks (analysis, code generation) is required to speed up the development cycle. In this article, we show how the AADL (Architecture, Analysis and Description Language), appeared late 2005, helps solving these issues thanks to a dedicated tool-suite. We then detail the prototyping process and its current implementation: Ocarina.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01335114
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Tuesday, June 21, 2016 - 4:54:18 PM
Last modification on : Sunday, June 26, 2022 - 10:04:55 AM

Links full text

Identifiers

Citation

Jérôme Hugues, Béchir Zalila, Laurent Pautet, Fabrice Kordon. Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. 18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. pp.106-112, ⟨10.1109/RSP.2007.33⟩. ⟨hal-01335114⟩

Share

Metrics

Record views

99