Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Conference Paper

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

  • April 2011
  • By Lutz Wrage
  • This paper first appeared in the Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems.
  • Software Architecture
  • Publisher:
    CMU/SEI Report Number: IEEE
  • Abstract

    The Architecture Analysis and Design Language (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 thebehavior 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. This paper first appeared in the Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems.

     

  • Download