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

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

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

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

，

本文編號(hào)：1398551