论文部分内容阅读
近年来，随着汽车电子领域的快速发展，汽车电子领域的软硬件系统变得越来越复杂。针对日趋复杂的汽车电子系统，各大汽车厂商以及部分研究机构先后提出了OSEK和AUTOSAR标准来提高系统的交互性、扩展性以及安全性。模型驱动架构（MDA）是软件工程领域提出的新的软件开发模式，它旨在提高软件的开发效率、开发质量以及后期的可维护性，因而在传统软件开发中得到了广泛的应用。由于标准MDA中缺乏对汽车电子领域的支持，因而很难将MDA的开发方法直接应用到汽车电子操作系统的开发当中。本文主要的研究内容包括：为提高汽车电子应用的可靠性，通过研究当前最新的AUTOSAR操作系统标准，实现了AUTOSAR操作标准中的OS-APPLICATION模块。在对比MDA开发过程和传统软件开发过程的基础上，结合汽车电子领域的特点，设计了一套用于汽车电子操作系统建模的方法；在深入研究UML标准的基础上，使用UML对AUTOSAR操作系统中的调度表模块进行建模，设计和实现了用于将UML模型转换为C语言代码的代码生成器；针对UML缺乏动作语义的问题，设计了用于描述UML对象操作语义的eASL语言，实现了eASL语言的解析器以及eASL语言到C语言的代码生成器；为提高嵌入式软件测试效率，设计和实现了一套自动化测试环境，并且用设计的自动化测试环境对使用MDA建模方法生成的操作系统调度表模块的C语言代码和OS-APPLICATION的代码进行测试。