基于AADL的车用嵌入式实时系统建模方法研究

发布时间：2018-01-08 20:23

本文关键词：基于AADL的车用嵌入式实时系统建模方法研究　出处：《湖南大学》2012年硕士论文　论文类型：学位论文

【摘要】：随着汽车电子化程度的提高,车内电子控制单元数量逐渐增加,系统设计难度不断提高。而传统的汽车电子软件开发方法难以控制系统设计的复杂度,不利于节约开发成本和时间。所以,基于模型的车用嵌入式实时系统开发方法被提出,其设计的灵活性和验证的及时性有效降低了设计复杂度,成为研究的热点。基于模型的开发方法的主体是对系统进行建模,而建模语言AADL能够形式化描述系统架构,充分表达模型的行为规约,为基于模型的车用嵌入式实时系统建模提供优质设计方法。本论文在基于模型的开发方法研究基础上,采用AADL建模语言,结合系统级设计方法,设计了兼容OSEK/VDX的车用嵌入式实时系统模型,并提出了基于AADL的模型架构验证和行为验证方法。本文的主要工作如下：首先,针对车用嵌入式系统强实时、高可靠等特点,分析了传统嵌入式系统开发方法的不足,并阐述了基于模型的系统开发方法对车用嵌入式实时系统进行设计的优势。通过综合比较若干建模语言并结合汽车电子系统的特点,分析了AADL对汽车电子系统建模的可行性与优势。为提高车用嵌入式实时系统设计的正确性和灵活性,结合目前汽车电子领域的标准规范OSEK/VDX进行系统开发需求分析,从软件平台、硬件平台、交互行为和执行行为四个方面制定系统架构和行为规约。在需求分析的基础上,提出了基于AADL的车用嵌入式实时系统建模方案。根据建模方案,利用AADL组件建模方法,分别对系统的应用软件架构、硬件平台架构、交互行为和执行行为进行建模设计。设计了车用嵌入式系统中的主要实体：任务和中断处理程序模型；建立了兼容OSEK/VDX标准的系统实时调度、中断处理、资源同步、事件管理、系统服务功能到AADL组件模型的映射；完成了硬件平台的抽象。提出了基于AADL的模型架构和行为验证方法。最后,依据基于AADL的车用嵌入式实时系统设计建模方法,对汽车巡航控制系统进行了系统级模型设计。通过对架构和行为模型的功能属性、非功能约束和实时性能验证,证明了建模方法的正确性。
[Abstract]:With the improvement of the electronic degree of automobile, the number of electronic control units in the vehicle is increasing gradually, and the system design is becoming more and more difficult. However, the traditional method of automotive electronic software development is difficult to control the complexity of the system design. Therefore, model-based embedded real-time system development method has been proposed, its design flexibility and timeliness of verification effectively reduce the design complexity. Become the hot spot of research. The main body of model-based development method is to model the system, and the modeling language AADL can formalize the architecture of the system and fully express the behavior specification of the model. This paper provides a high-quality design method for the modeling of vehicle embedded real-time system based on model. Based on the research of model-based development method, this paper adopts AADL modeling language, combined with system-level design method. A vehicle embedded real-time system model compatible with OSEK/VDX is designed, and a model architecture verification and behavior verification method based on AADL is proposed. The main work of this paper is as follows: First of all, according to the characteristics of vehicle embedded system, such as strong real-time, high reliability and so on, the shortcomings of traditional embedded system development method are analyzed. The advantages of the model-based system development method for the design of vehicle embedded real-time system are expounded. Through comprehensive comparison of several modeling languages and combined with the characteristics of automotive electronic system. The feasibility and advantage of AADL in automobile electronic system modeling are analyzed. In order to improve the correctness and flexibility of vehicle embedded real-time system design, combined with the current automotive electronics field standard specification OSEK/VDX system development requirements analysis, from the software platform, hardware platform. Based on the requirement analysis, the system architecture and behavior specification are established in the four aspects of interactive behavior and executive behavior. Based on the requirement analysis, a vehicle embedded real-time system modeling scheme based on AADL is proposed. According to the modeling scheme, using the AADL component modeling method, the application software architecture and the hardware platform architecture of the system are respectively analyzed. Interaction behavior and execution behavior are modeled and designed. The main entities in vehicle embedded system are designed: task and interrupt handler model; The mapping of system real-time scheduling, interrupt processing, resource synchronization, event management, system service function to AADL component model is established, which is compatible with OSEK/VDX standard. The abstraction of the hardware platform is completed, and the model architecture and behavior verification method based on AADL are proposed. Finally, according to the design and modeling method of vehicle embedded real-time system based on AADL, the system level model of vehicle cruise control system is designed. Non-functional constraints and real-time performance verification prove the correctness of the modeling method.
【学位授予单位】：湖南大学
【学位级别】：硕士
【学位授予年份】：2012
【分类号】：TP368.1

【参考文献】