 |
 |
Conference papers
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
3
Dave Thomas
4
1
IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
Ricardo Bedin França 1
Author
Jean-Paul Bodeveix 1
Author IdHAL : jean-paul-bodeveix IdRef : https://www.idref.fr/033384940 ORCID : https://orcid.org/0000-0002-4179-6063
David Chemouil 2
Author IdHAL : dchemouil arXiv : https://arxiv.org/a/dchemouil IdRef : https://www.idref.fr/08429695X ORCID : https://orcid.org/0000-0003-4136-783X
Mamoun Filali 1
Author IdHAL : mamoun-filali-amine IdRef : https://www.idref.fr/033384959 ORCID : https://orcid.org/0000-0001-5387-6805
Jean-François Rolland 3
Author
Dave Thomas 4
Author
1
IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT
118 Route de Narbonne
31062 Toulouse Cedex 9 - France)
- IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
2
CNES - Centre National d'Études Spatiales [Toulouse] (18 avenue Edouard Belin 31401 Toulouse - France)
3
IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
4
Astrium [Toulouse] (31 rue des Cosmonautes, Z.I. du Palays, F-31402 Toulouse Cedex 4 - France)
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 : Tuesday, January 5, 2021 - 2:22:03 PM
Contributor : David Chemouil <>
Submitted on : Tuesday, February 5, 2013 - 9:36:39 AM
Last modification on : Tuesday, January 5, 2021 - 2:22:03 PM
Identifiers
- HAL Id : hal-00784976, version 1
- DOI : 10.1109/ICECCS.2007.41
Collections
UNIV-TLSE2 | CNRS | SMS | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-ACADIE
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⟩
Metrics
Record views