本文關(guān)鍵詞：基于AADL的車用嵌入式實時系統(tǒng)建模方法研究　出處：《湖南大學》2012年碩士論文　論文類型：學位論文

  更多相關(guān)文章： AADL 系統(tǒng)級建模 OSEK/VDX 嵌入式實時系統(tǒng)

【摘要】：隨著汽車電子化程度的提高,車內(nèi)電子控制單元數(shù)量逐漸增加,系統(tǒng)設(shè)計難度不斷提高。而傳統(tǒng)的汽車電子軟件開發(fā)方法難以控制系統(tǒng)設(shè)計的復(fù)雜度,不利于節(jié)約開發(fā)成本和時間。所以,基于模型的車用嵌入式實時系統(tǒng)開發(fā)方法被提出,其設(shè)計的靈活性和驗證的及時性有效降低了設(shè)計復(fù)雜度,成為研究的熱點。 基于模型的開發(fā)方法的主體是對系統(tǒng)進行建模,而建模語言AADL能夠形式化描述系統(tǒng)架構(gòu),充分表達模型的行為規(guī)約,為基于模型的車用嵌入式實時系統(tǒng)建模提供優(yōu)質(zhì)設(shè)計方法。本論文在基于模型的開發(fā)方法研究基礎(chǔ)上,采用AADL建模語言,結(jié)合系統(tǒng)級設(shè)計方法,設(shè)計了兼容OSEK/VDX的車用嵌入式實時系統(tǒng)模型,并提出了基于AADL的模型架構(gòu)驗證和行為驗證方法。本文的主要工作如下： 首先,針對車用嵌入式系統(tǒng)強實時、高可靠等特點,分析了傳統(tǒng)嵌入式系統(tǒng)開發(fā)方法的不足,并闡述了基于模型的系統(tǒng)開發(fā)方法對車用嵌入式實時系統(tǒng)進行設(shè)計的優(yōu)勢。通過綜合比較若干建模語言并結(jié)合汽車電子系統(tǒng)的特點,分析了AADL對汽車電子系統(tǒng)建模的可行性與優(yōu)勢。 為提高車用嵌入式實時系統(tǒng)設(shè)計的正確性和靈活性,結(jié)合目前汽車電子領(lǐng)域的標準規(guī)范OSEK/VDX進行系統(tǒng)開發(fā)需求分析,從軟件平臺、硬件平臺、交互行為和執(zhí)行行為四個方面制定系統(tǒng)架構(gòu)和行為規(guī)約。在需求分析的基礎(chǔ)上,提出了基于AADL的車用嵌入式實時系統(tǒng)建模方案。 根據(jù)建模方案,利用AADL組件建模方法,分別對系統(tǒng)的應(yīng)用軟件架構(gòu)、硬件平臺架構(gòu)、交互行為和執(zhí)行行為進行建模設(shè)計。設(shè)計了車用嵌入式系統(tǒng)中的主要實體：任務(wù)和中斷處理程序模型；建立了兼容OSEK/VDX標準的系統(tǒng)實時調(diào)度、中斷處理、資源同步、事件管理、系統(tǒng)服務(wù)功能到AADL組件模型的映射；完成了硬件平臺的抽象。提出了基于AADL的模型架構(gòu)和行為驗證方法。 最后,依據(jù)基于AADL的車用嵌入式實時系統(tǒng)設(shè)計建模方法,對汽車巡航控制系統(tǒng)進行了系統(tǒng)級模型設(shè)計。通過對架構(gòu)和行為模型的功能屬性、非功能約束和實時性能驗證,證明了建模方法的正確性。
[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

【參考文獻】

相關(guān)期刊論文 前7條

1 許凌權(quán);馮金富;左偉;胡俊華;;基于AADL的武器控制系統(tǒng)性能驗證方法[J];電光與控制;2010年06期

2 賈璐;胡林平;田丹;;基于AADL的航空電子系統(tǒng)安全性分析[J];航空計算技術(shù);2009年05期

3 王瀚博;周興社;董云衛(wèi);唐蕾;;結(jié)構(gòu)分析和設(shè)計語言AADL研究[J];計算機工程與應(yīng)用;2009年16期

4 劉倩;桂盛霖;李允;羅蕾;;基于UPPAAL的AADL模型可調(diào)度性驗證[J];計算機應(yīng)用;2009年07期

5 宋翠葉;杜承烈;李剛;;基于AADL的軟件開發(fā)技術(shù)研究[J];計算機應(yīng)用研究;2009年09期

6 楊志斌;皮磊;胡凱;顧宗華;馬殿富;;復(fù)雜嵌入式實時系統(tǒng)體系結(jié)構(gòu)設(shè)計與分析語言:AADL[J];軟件學報;2010年05期

7 湯小明;蘇羅輝;宋科璞;;飛行管理系統(tǒng)AADL建模與分析[J];計算機技術(shù)與發(fā)展;2010年03期

，

本文編號：1398551