文档介绍：摘要汽车电子控制技术的应用为汽车制造技术带来了重大变革,汽车电子控制系统体现了嵌入式系统技术的集中应用。随着以嵌入式软件为载体的汽车电控技术的发展,传统的汽车电控系统软件开发方法越来越不能满足日益复杂的控制功能的要求。本文针对汽车电控系统对软件开发技术的需求,将嵌入式软件开发与软件工程发展的最新理论相结合,提出了应用量子框架来实现汽车电控系统的代码自动生成的方法。本文的主要工作集中在以下几方面:量子框架技术研究:量子框架是有限状态机的具体实现技术,量子框架以活动对象作为基本构成元素,,在嵌入式开放体系中,扮演软件总线的角色。采用有限状态机技术对系统进行建模后,利用量子编程能够方便地构建系统的软件,从而实现对模型的逻辑控制功能。探讨了当今主流的代码自动生成技术:首先用户建立一个与平台无关的业务模型,通过相应的转化将P妥1涑煞蟈标准的枋鑫募诮枋鼍咛宓囊滴衲P偷腦文件转换为应用程序代码的问题时,提出了采用际跏迪代码生成器设计方案,代码生成器能够自动生成稳定的且具有良好扩展性的代码框架,提高了代码的效率。基于量子框架的低辰#篈系统是典型的反应式系统,本文采用状态图和顺序图技术,建立了基于量子框架的低郴疃韵竽P停媚P臀F教ㄎ薰氐哪P,与底层实现技术完全没有关系;量子框架计算机辅助平台设计与模板实现:对代码自动生成平台进行需求分析,采用分层设计模式,来开发量子框架的软件平台。对于量子框架活动对象的代码转换,采用以镅晕V薪榈腦际酰ü杓泼枋鼍咛逡滴代码框架。模型的模板,自动得到了活动对象的关键词:量子框架;籜籗;代码自动生成
.,.,—..琲,甤瑃琣山东大学硕宦畚琣,篈甀瓵,瓵,琺.:瑀猻.,:.篋瓺痶
瑆:現,,摘要.
第滦髀课题研究背景汽车性能最重要的技术措施,汽车电子化的程度被看作是衡量现代汽车水平的重要标志。汽车工业水平是一个国家工业发展的主要标志。随着电子工业和信息产业的快速发展,以及超微型半导体,超高效电子产品、集成电路的微型化,为汽车的集中控制和信息交换提供了技术平台,汽车正变成一个集应用电子、通信、、家电、服务等产业最新技术为一体的机械平台【俊随着汽车电子控制系统越来越复杂,传统的汽车电子软件开发无法解决以下问题:面向汽车领域的问题描述;有效的软件正确性验证;自动生成高质量的代码俊R陨衔侍獾拇嬖诮徊郊哟罅似档缱涌刂葡低橙砑7⒌哪讯群统杀荆面对竞争压力,因此迫切需要研究一种新的汽车电子软件开发方法以满足汽车产业发展的需要。同时,嵌入式系统设计是一个软、硬件结合的协同设计,需要不同技术背景的人共同开发,这同样带来了一个问题,即如何能够使这些具有不同基于以上问题,本文提出了一种基于模型驱动的嵌入式软件开发方式:汽车电控系统的量子框架开发技术。模型驱动开发是械囊徊糠郑琈是模型驱动募虺疲啥韵蠊芾碜橹疧所驱动【。模型驱动开发的基础是模型和表达模型的语言。模型提供了这样一种能力,能够一致性地显示这个系统的不同视图。通过专用语言对问题进行建模,通过形式化验证保证软件设计的正确性,通过模型自动转换和代码自动生成保证各个环节设计之间的一致性,以提高汽车电子控制系统软件开发的可靠性和高效性。模型的一个主要用途消除开发过程中各参与方之间的隔阂,需求工程师,系统分析员,软件开发人员和测试者都可以使用同一种语言。他们可能专注于语言的。汽车电子被认为是汽车技术发展进程中的一次革命,是用来开发新车型,改进技术背景和专长的人联合开发、协同设计,以完成系统功能。体系架构.
课题的目的及研究意义不同部分,以满足他们的需要,但他们都会共用一些基本的结构,并对他们工作的系统有一个统一的认识。而且使用统一的语言有助于消除角色间的界限,使得在项目的不同阶段人员转换到被需要的角色更加容易。还有另外一些人需要知道项目的进展情况,包括项目领导、经理等。更重要的是,用户也需要知道什么将会被交付,需要加入到整个开发过程中,与创建系统的不同人员进行交流。一种图形建模语言,可以使得各参与方之间的交流成为可能,帮助架起参与方与某些系统复杂功能之间的桥梁。同时模型驱动开发的现代工具提供了运行一个虿分P偷哪芰Γ馐沟眯枨罂梢愿绲玫饺啡希低衬馨丛ざǚ绞焦ぷ鳌;痪话说,这意味着项目风险被极大地降低。在模型驱动开发中,测试也变得更加重要,因为能够被更早和更频繁地进行。无疑,统一建模语言,褪巧杓朴美唇模型驱动开发的语言。它第一次标准化是在年,作为当时各种面向对象分析方法之争的结果。然后它迅速成为最流行的建模语言,用于“可视化、构造和存档在基于软件的系统创建过程中的产品”。糜诙韵低臣芄菇#⒛芄缓苋菀创建任何复杂度的实际系统。在对系统的行为模型进行建模时,捎盟承蛲和状态机技术【。在开发实时嵌入式应用程序的过程中,通常采用有限状态机际趵炊ㄖ相应的开