论文部分内容阅读
汽车电子控制技术的应用为汽车制造技术带来了重大变革,汽车电子控制系统体现了嵌入式系统技术的集中应用。随着以嵌入式软件为载体的汽车电控技术的发展,传统的汽车电控系统软件开发方法越来越不能满足日益复杂的控制功能的要求。本文针对汽车电控系统对软件开发技术的需求,将嵌入式软件开发与软件工程发展的最新理论相结合,提出了应用量子框架来实现汽车电控系统的代码自动生成的方法。本文的主要工作集中在以下几方面:1)量子框架技术研究:量子框架是有限状态机的具体实现技术,量子框架以活动对象作为基本构成元素,活动对象之间采用发布-订阅模式作为通信机制,在嵌入式开放体系中,扮演软件总线的角色。采用有限状态机技术对系统进行建模后,利用量子编程能够方便地构建系统的软件,从而实现对模型的逻辑控制功能。2)探讨了当今主流的代码自动生成技术:首先用户建立一个与平台无关的业务模型,通过相应的转化将UML模型转变成符合XMI((XML Metadata Interchange)标准的XML描述文件,在将描述具体的业务模型的XML文件转换为应用程序代码的问题时,提出了采用XSLT(Extensible Stylesheet Language Template)技术实现代码生成器设计方案,代码生成器能够自动生成稳定的且具有良好扩展性的代码框架,提高了代码的效率。3)基于量子框架的AMT(Automated Mechanical Transmission)系统建模:AMT系统是典型的反应式系统,本文采用状态图和顺序图技术,建立了基于量子框架的AMT系统活动对象模型,该模型为平台无关的模型(Platform Independent Model,PIM),与底层实现技术完全没有关系;4)量子框架计算机辅助平台设计与模板实现:对QF代码自动生成平台进行需求分析,采用分层设计模式,来开发量子框架的软件平台。对于量子框架活动对象的代码转换,采用以XML语言为中介的XMI+XSLT技术,通过设计描述具体业务模型的QF模板,自动得到了活动对象的QF(Quantum Framework)代码框架。