Development of a parser for the AADL error model annex

摘要

AADL (Architecture Analysis & Design Language) is a modelling language enabling the design of embedded realtime systems. This language has proven its power in several domains like aeronautics and space. The AADL core language describe both software and hardware components and it can be extensible by properties to provide information about these components or annexes to enable a designer to extend and customize the AADL core specification with other concepts specified in a language other than AADL. In particular, the AADL Error Model Annex (EMA) was proposed to model such requirements separately from the core model since dependability requirements is of major importance in real-time embedded systems. This annex can not only model different kinds of errors but also error propagation, error detection and error recovery. In this paper, we ensure a comparative study of existing tools and compilers of the AADL language and its error model annex. We present, then, our work aiming at integrating a new compiler of the EMA annex into the Ocarina tool suite to support dependability requirements.