Design And Implementation Of An AADL Modeling Tool

With the expansion of the application field of computer technology, the scale of computer software development is growth of several levels, however the complexity of software development continues to be increased, which leads to that development of software has been more and more difficult and the cost increased too. Hence the software industry is facing a serious challenge. Based on the above problems, the object management organization proposed Model Driven Architecture as a solution. In the MDA method, to replace software development process with software system model business logic and the completed model can automatically generate specific computing platform code, the implementation and model are separated, and model design as the core.In the field of real-time system modeling, based on the concept of MDA, industry proposed Architecture Analysis and Design Language. AADL can model the hardware and software of real time critical systems, and AADL can accurately describe the system, so AADL gradually becomes the standard of embedded software development fields. Based on the above characteristics of AADL, we are ready to apply the AADL language to build a model for the software system that play an important role in terms of safety.This paper mainly studies the syntax and semantics of AADL modeling language, summary the syntax of the modeling components. Based on that, completes the design and implementation of the modeling tool based on AADL language. We use the tool to model the security critical software system.In this paper, main work is as follows. Firstly, the AADL standard semantic and security critical system model are studied, and the AADL subset is selected according to the requirements of security critical software system modeling. Secondly, we introduce the syntax and semantics of the selected subset of AADL modeling elements. Then, according to the subset of AADL modeling elements, we design and implement the modeling tool of AADL language using Java Awt technology. In addition, the AADL model of the storage standard format is studied, and the model of dump and restore functions are designed. Finally, we use the proposed model tool to design the security critical software system modeling and test the model tool. To expansion of the tool, the completed model will be stored as the XML files according the standards of AADL.