当前位置：问答库＞论文摘要

嵌入式实时系统已经越来越广泛地出现在了人们生活的各个领域，如：航空航天、汽车自动化、机器人、移动通讯设备等。对于嵌入式实时系统的开发，为了及早发现开发过程中出现的错误，人们提出了基于模型驱动思想的开发方法，即通过在设计阶段对系统提供精确化的语义描述及对系统进行模型调度、验证等，及早发现并解决问题。AADL(Architecture Analysis and Design Language)就是一种基于模型驱动思想的专门用于描述嵌入式实时系统软硬件的体系结构分析与设计语言。而对于系统的编码实现阶段，为了提高系统开发的自动化程度，也为了降低编码过程中出现错误的可能性，由设计自动生成代码是一种值得采取的有效的方法。代码生成技术和方法的研究是嵌入式软件开发的重要研究课题。本文深入研究了AADL构件的语法、语义、特点，在此基础上研究了如何用AADL对嵌入式实时系统进行建模、生成软件架构。为了研究从软件架构到代码自动生成的技术，鉴于RTLinux(real time linux)适用于航空航天、科学研究、机器人等诸多领域，本文选定RTLinux实时操作系统作为转换生成的语言的目标平台，研究了RTLinux平台及其上的C语言的特性。本文建立了AADL构件到RTLinux平台C代码的转换规则。在研究了AADL构件到RTLinux平台C代码的转换方法的基础上，采用XMLBeans技术、dom4j技术、JBoss Rules规则引擎实现了一个AADL软件架构到RTLinux平台C代码的转换工具，具有需求管理、设计管理、代码管理等功能，并将该工具集成到支持软件开发全过程的管理平台中。