Model Validation And Code Generation Techniques Based On Aadl

Embedded system has been widely applied in several fields, such as industrial control, consumption electronics, communication device, automotive electronics and spaceflight. Performance-critical real-time systems are systems whose operation strongly depends on meeting non-functional system requirements such as reliability, availability, timing, responsiveness, throughput and security. In recent years, as the improvement of the hardware's compute capability, the scale and complexity of performance-critical real-time systems increased dramatically. That leads to the strict requirement on development costs and non-function properties. In the development of performance-critical real-time systems, these problems brought challenges to the design rationality, verification completeness and development efficiency. Presently, Industry has introduced Model-Driven Architecture (MDA) to solve these problems. They take the development methodology of embedded software from code level to model level, thereby enhancing the credibility of the software and shorten the development cycle. Architecture Analysis and Design Language that brought forward by the Society of Automotive Engineers, et al, is a kind of modeling language based on MDA ,it can be used to design and analyze the software and hardware architecture of performance-critical real-time systems.The core technology in development methodology based on model is model verification and automatic code generation technology. In this paper, through depth analysis to the semantics of AADL standard, we complete the schedulability analysis of the AADL model with Furness and TIMES. Based upon the embedded operating system DeltaOS, which is developed by Coretek Systems Inc., we present the mapping rules between the AADL elements and the executive language elements. Then we design and implement the tool named UCaG that can automatically generate code and integrated it into the OSATE that developed by SEI. All of these eventually formed a complete development platform including AADL model editing, grammar checking, model simulation, code generation。 Finally, we design an AADL model to verify the correctness of this tool. At the end of this paper, we have made the summary of this paper and pointed out the merit and the insufficiency, as well as the next step of research objectives.