An Implementation of the Behavior Annex in the AADL-toolset Osate2

被引：7

作者：

Lasnier, Gilles ^{[1
]}

Pautet, Laurent ^{[1
]}

Hugues, Jerome ^{[2
]}

Wrage, Lutz ^{[3
]}

机构：

[1] TELECOM ParisTech LTCI, Inst TELECOM, 13, F-75634 Paris 13, France

[2] Univ Toulouse 1, ISAE, F-31056 Toulouse, France

[3] Carnegie Mellon Univ, SEI, Pittsburgh, PA 15213 USA

来源：

2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) | 2011年

关键词：

AADL; AADL-BA; behavior; annex; Osate2; MDD;

D O I：

10.1109/ICECCS.2011.39

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

AADL is a modeling language to design and analyze High-Integrity Distributed and Real-time systems. Embedded sub-languages published as AADL annexes extend an AADL model to enhance analysis. The behavior annex specifies the behavior of an AADL application model. Thus, an implantation of this annex allows to perform behavior analysis. In addition, as there are several AADL annexes, the implementation of generic mechanisms to support each one of them is challenging. The behavior annex is a valid candidate to illustrate these challenges by combining several sub-languages. In this paper we expose our experiment to support the behavior annex in the reference AADL toolset OSATE2. This one, supports the AADL version 2 by providing a front-end and a set of analysis plug-ins to analyze an AADL model.

引用

页码：332 / 337

页数：6

共 9 条

[1] The AADL behaviour annex -: experiments and roadmap [J].

Franca, Ricardo Bedin ;

Bodeveix, Jean-Paul ;

Filali, Mamoun ;

Rolland, Jean-Francois ;

Chemouil, David ;

Thomas, Dave .

12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, :377-+

[2] From the prototype to the final embedded system using the Ocarina AADL tool suite [J].

Hugues, Jerome ;

Zalila, Bechir ;

Pautet, Laurent ;

Kordon, Fabrice .

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2008, 7 (04)

[3]

Koening D., 2007, GROOVY ACTION

[4]

SAE, 2008, AADL V2 0 AS5506

[5]

SAE, 2010, ANN X BEH ANN AS5506

[6]

SAE AADL, 2010, OSATE

[7]

Telecom ParisTech, 2010, AADL BA PROJ

[8]

Yang ZB, 2009, DES AUT TEST EUROPE, P1166

[9]

Yue Ma, 2010, Proceedings of the 2010 IEEE 10th International Conference on Computer and Information Technology (CIT 2010), P2361, DOI 10.1109/CIT.2010.406

← 1 →