The AADL behaviour annex -- experiments and roadmap

Ricardo Bedin Franca,Jean-Paul Bodeveix,Mamoun Filali,Jean-Francois Rolland,David Chemouil,Dave Thomas

Auckland（2007）

引用 121|浏览0

暂无评分

摘要

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.

查看译文

关键词

aerospace computing,formal specification,high level languages,software architecture,AADL behaviour annex,AADL execution model semantics,Architecture Analysis and Design Language,flight software reengineering

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要