AADL模型代码自动生成技术研究

Code automatic generation technology of AADL models

随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元素到C和Ada的语法元素的映射规则,由此实现了自动代码生成器generator并集成在开源工具OSATE中。最后通过一个实例,说明将AADL模型自动转换为框架代码后与模块代码结合的有效性。

With the wide application of safety critical embedded systems in various fields, some modern software engineering technology must be developed to increase the security of embedded system to insure the safety of people. Based on the modeldriven architecture method, this paper deeply researched the code automatic generation technology of AADL（ architecture analysis and design language） models, then proposed the mapping rules between AADL model element and C/Ada language syntax element. Finally worked out a code automatic generation tool named generator, and integrated it into the open source tool OSATE. At the end, it showed the efficiency of the generator through an example.