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
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;
Conference_Titel :
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location :
Auckland
Print_ISBN :
0-7695-2895-3
DOI :
10.1109/ICECCS.2007.41
