Virtual Execution of AADL Models via a Translation into Synchronous Programs

Abstract : Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended to be developed independently, and then deployed on the described architecture. This separate development of the architecture and the software raises the problem of early validation of the integrated system. In this paper, we propose to solve this problem by translating the architecture into an executable model, which can be simulated and validated together with the software components. More specifically, we consider the case where the architecture is described in the AADL language, and the software components are developed in some synchronous language like Scade or Lustre. We show how the architecture can be automatically translated into a non-deterministic synchronous model, to which the actual software component can be integrated. The result is an executable integrated synchronous model, which can be validated with tools available for synchronous programs. The approach is illustrated on an industrial case study extracted from an actual spatial equipment.
Document type :
Conference papers
EMSOFT 2007, Oct 2007, Salzburg, Austria. pp.134 - 143, 2007, <10.1145/1289927.1289951>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00189563
Contributor : Nicolas Halbwachs <>
Submitted on : Wednesday, November 21, 2007 - 1:21:04 PM
Last modification on : Wednesday, November 21, 2007 - 9:52:24 PM
Document(s) archivé(s) le : Monday, April 12, 2010 - 3:05:01 AM

File

jhrnl-final-emsoft07.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens. Virtual Execution of AADL Models via a Translation into Synchronous Programs. EMSOFT 2007, Oct 2007, Salzburg, Austria. pp.134 - 143, 2007, <10.1145/1289927.1289951>. <hal-00189563>

Share

Metrics

Record views

299

Document downloads

128