论文研究-AADL模型代码自动生成技术研究.pdf

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