题目：基于AADL的实时Java代码生成研究与实现

随着嵌入式系统广泛应用于工业控制、消费电子、通信设备、汽车电子、航空航天等众多领域，对国民经济和国防领域具有重要影响。性能关键实时系统是指那些对非功能属性要求较高的嵌入式系统，例如：可靠性、可用性、实时性、响应性、吞吐量和安全性。近年来，随着硬件设备计算能力的提高，性能关键实时系统的规模和复杂度急剧增加，导致其对开发成本和非功能属性的要求也越来越高，这些问题对性能关键实时系统开发中的设计合理性，验证完备性以及开发效率等方面都带来了巨大的挑战。目前，业界引入了模型驱动结构(Model Driven Architecture，MDA)方法来解决上述问题，把嵌入式软件的开发方法从代码层次提升到模型层次，从而提高软件的可信性，缩短开发周期。由美国的汽车工程师协会（SAE）等组织提出的体系结构分析设计语言（Architecture Analysis and Design Language）是一种基于MDA方法的建模语言，可以用来设计和分析性能关键的实时系统的软硬件体系结构。基于模型的开发方法中的核心技术就是模型验证以及自动代码生成技术。基于AADL模型的自动代码生成技术，已经成了目前研究的一个热点之一。本课题将主要研究基于AADL的实时Java代码生成工具的实现。根据制定的转换规则，由AADL模型生成所对应的实时Java代码。生成的代码要保证描述了模型所包含的所有构件信息及执行语义，并且具有良好的框架结构，方便用户的再扩展，为嵌入式实时软件的开发提供支持。系统最终以插件的形式集成到AADL模型开发工具OSATE中，这样最终形成一个完整的集AADL模型编辑，语法检查，模型仿真，代码生成为一体的开发平台。本文最后设计了一个AADL模型来分析说明该工具的正确性，并对全文做了总结，指出研究的优点和不足，以及下一步的研究目标。