AADL模型的自动代码生成技术研究与应用

本文主要探讨了在安全关键领域广泛应用的嵌入式系统中，如何通过采用现代软件工程的模型驱动方法来提升其可信性，以保障人们的生命安全。针对体系结构分析设计语言(Architecture Analysis and Design Language, AADL)模型，研究人员进行了深入研究，着重于框架代码自动生成技术。 AADL是一种被广泛应用于系统架构设计的标准化语言，它提供了一种结构化的表达方式，用于描述系统的高层抽象，包括硬件、软件、数据流和行为等。研究者提出了一套从AADL模型元素到C和Ada这两种常用编程语言的语法元素映射规则。这种映射规则是实现自动代码生成器的关键，它允许将AADL模型自动转换为对应的源代码，从而减少了手动编码的工作量，提高了开发效率。 作者团队在国家自然科学基金项目(90718019)和国家“863”计划资助项目(2007AA010304)的支持下，开发并集成了一个自动代码生成器generator，将其整合进了开源工具OSATE(Open System Architecture Toolkit for Ada and Eiffel)。OSATE是一个支持多种建模语言的工具集，这表明他们的工作是站在了行业标准的基础上，有助于推动软件工程实践的发展。 通过一个具体的实例，研究者展示了将AADL模型转化为框架代码后，与模块代码结合使用的有效性。这种方法不仅可以减少错误，而且能够确保系统的整体一致性，因为模型的更改可以直接反映在生成的代码中，降低了维护成本。同时，对于复杂嵌入式系统的开发，这种自动化过程可以显著缩短开发周期，提高软件质量和可靠性。 这篇论文提供了重要的实践指导，即如何利用AADL模型和代码自动生成技术来改进嵌入式系统的开发流程，以适应安全关键领域的需求。这对于推进软件工程领域特别是在实时性和安全性方面的发展具有重要意义。