The AADL behaviour annex -- experiments and roadmap

Ricardo Bedin França 1 Jean-Paul Bodeveix 1 David Chemouil 2 Mamoun Filali 1 Jean-François Rolland 1 Dave Thomas 3
1 IRIT - Institut de recherche en informatique de Toulouse
2 CNES - Centre National d'Études Spatiales [Toulouse]
3 Astrium [Toulouse]
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00784976
Contributor : David Chemouil <>
Submitted on : Tuesday, February 5, 2013 - 9:36:39 AM
Last modification on : Thursday, October 24, 2019 - 2:44:07 PM

Identifiers

Collections

UNIV-TLSE2 | CNRS | SMS | UNIV-TLSE3 | UT1-CAPITOLE

Citation

Ricardo Bedin França, Jean-Paul Bodeveix, David Chemouil, Mamoun 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

162

CONTACT

scd.ao@univ-tlse3.fr