DocumentCode
3108404
Title
The AADL behaviour annex -- experiments and roadmap
Author
Frana, R.B. ; Bodeveix, Jean-Paul ; Filali, Mamoun ; Rolland, J.-F.
Author_Institution
Univ. Paul Sabatier, Toulouse
fYear
2007
fDate
11-14 July 2007
Firstpage
377
Lastpage
382
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.
Keywords
aerospace computing; formal specification; high level languages; software architecture; AADL behaviour annex; AADL execution model semantics; Architecture Analysis and Design Language; flight software reengineering; Automata; Computer architecture; Hardware; Performance analysis; Processor scheduling; Protocols; Real time systems; Satellites; Standards development; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location
Auckland
Print_ISBN
0-7695-2895-3
Type
conf
DOI
10.1109/ICECCS.2007.41
Filename
4276336
Link To Document