Design and implementation of an AADL model parser

In this paper, we focus on the problem that analysis and verification tools' inconvenience to extract textual AADL architecture model, and put forward AADL model parser which converts AADL architecture model to AADL architecture model object. Based on AADL meta-model, we use EMF to generate the classes of AADL elements, while using ANTLR to implement the lexer and parser of AADL. And then we implement the AADL model parser based on Eclipse IDE. Meanwhile, this paper presents a case study on the modeling of an autopilot system to show the application scenario of AADL model parser.