The AADL behaviour annex -- experiments and roadmap

In this paper, we present an evaluation of the AADL Behavioural Annex that is currently in evaluation phase. We relate our experiment with respect to a development concerning the reengineering of a flight software. This experiments has led us to introduce hierarchical aspects and study the link especially with AADL modes. We discuss about the definition of a semantics for the AADL execution model and propose some enhancements.

Domaines

Théorie et langage formel [cs.FL] Génie logiciel [cs.SE] Systèmes embarqués

David Chemouil : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00784976

Soumis le : mardi 5 février 2013-09:36:39

Dernière modification le : vendredi 19 juillet 2024-13:41:04

Dates et versions

hal-00784976 , version 1 (05-02-2013)

Identifiants

HAL Id : hal-00784976 , version 1
DOI : 10.1109/ICECCS.2007.41

Citer

Ricardo Bedin França, Jean-Paul Bodeveix, David Chemouil, M Filali, Jean-François Rolland, et al.. The AADL behaviour annex -- experiments and roadmap. International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩. ⟨hal-00784976⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-ACADIE IRIT-FSL TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP

149 Consultations

0 Téléchargements