The AADL behaviour annex -: experiments and roadmap

被引：35

作者：

Franca, Ricardo Bedin ^{[1
]}

Bodeveix, Jean-Paul ^{[1
]}

Filali, Mamoun

Rolland, Jean-Francois

Chemouil, David ^{[2
]}

Thomas, Dave ^{[3
]}

机构：

[1] Univ Toulouse 3, IRIT, 118 Route Narbonne, F-31062 Toulouse, France

[2] Ctr Natl Detudes Spatiales, Toulouse, France

[3] Astrium Satellites, EADS, Paris, France

来源：

12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS | 2007年

关键词：

D O I：

10.1109/ICECCS.2007.41

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：377 / +

页数：2