本文選題：嵌入式軟件建模 + SmartC��； 參考：《浙江大學(xué)》2017年碩士論文

【摘要】：隨著對(duì)嵌入式軟件開(kāi)發(fā)技術(shù)的深入研究以及軟件復(fù)雜度的迅速增加,嵌入式軟件建模技術(shù)面臨著巨大的挑戰(zhàn);與此同時(shí),隨著嵌入式軟在安全關(guān)鍵領(lǐng)域(如:航空航天、軍工電子、船舶控制、核電站等)的廣泛應(yīng)用,模型驅(qū)動(dòng)的軟件開(kāi)發(fā)技術(shù)在安全關(guān)鍵工程領(lǐng)域中也逐漸得到廣泛的關(guān)注和應(yīng)用。傳統(tǒng)的嵌入式軟件建模技術(shù)(如,UML,SysML,AADL,SmartC等)雖然已經(jīng)在很多領(lǐng)域得到廣泛應(yīng)用,但是,面對(duì)當(dāng)前功能特性快速增加、安全需求逐漸提高的嵌入式軟件系統(tǒng),這些技術(shù)或方法目前還存在一些問(wèn)題,如,缺少對(duì)目標(biāo)運(yùn)行平臺(tái)參數(shù)的描述(包括:對(duì)處理器、存儲(chǔ)器、總線、設(shè)備等資源的描述);建模語(yǔ)言本身無(wú)法對(duì)組件模式及模式間的轉(zhuǎn)換過(guò)程進(jìn)行描述,這對(duì)軟件模型的行為功能的分析與設(shè)計(jì)帶來(lái)了困難等等。本文主要工作是分別對(duì)支持目標(biāo)平臺(tái)硬件設(shè)計(jì)的嵌入式軟件建模以及嵌入式軟件模式建模兩個(gè)問(wèn)題展開(kāi)了分析與研究,具體包括以下兩個(gè)部分:(1)研究了基于SmartC的目標(biāo)平臺(tái)設(shè)計(jì)問(wèn)題:SmartC是一種聯(lián)合了基于模型與模型驅(qū)動(dòng)兩種軟件開(kāi)發(fā)思想的面向汽車(chē)電子領(lǐng)域的嵌入式軟件建模語(yǔ)言。SmartC建模元素主要是從軟件的角度來(lái)對(duì)系統(tǒng)進(jìn)行分析與建模。本文在SmartC語(yǔ)言原有建模元素的基礎(chǔ)上,提出了一種支持目標(biāo)平臺(tái)硬件設(shè)計(jì)的嵌入式軟件建模語(yǔ)言一TPML,該語(yǔ)言增加了如處理器、虛擬處理器、存儲(chǔ)器、總線、虛擬總線及設(shè)備等硬件資源,以支持對(duì)目標(biāo)平臺(tái)的嵌入式軟件設(shè)計(jì)。(2)研究了基于SmartC的嵌入式軟件模式建模問(wèn)題:SmartC主要是從嵌入式軟件的結(jié)構(gòu)特征、各功能模塊間的通信與交互等特性來(lái)對(duì)軟件進(jìn)行安全性分析。本文在SmartC結(jié)構(gòu)模型的基礎(chǔ)上,提出了一種嵌入式軟件模式建模方法,該方法抽取出結(jié)構(gòu)模型的行為特征,并采用模式對(duì)其進(jìn)行描述,以支持對(duì)嵌入式軟件的模式特征及模式轉(zhuǎn)換過(guò)程的描述。
[Abstract]:With the in-depth study of embedded software development technology and the rapid increase of software complexity, embedded software modeling technology is facing a huge challenge; at the same time, with embedded software in the key areas of security (such as: aerospace, aviation and aerospace),With the wide application of military electronics, ship control, nuclear power plant and so on, model-driven software development technology has been paid more and more attention in the field of safety critical engineering.Traditional embedded software modeling technology (such as UMLSysMLAADL SmartC etc.) has been widely used in many fields, but in the face of the rapid increase of current functional characteristics, the security requirements of embedded software systems are gradually increased.There are still some problems with these techniques or methods, such as the lack of description of the parameters of the target running platform (including processor, memory, bus, etc.),The description of resources such as equipment, modeling language itself can not describe the component pattern and the transformation process between patterns, which brings difficulties to the analysis and design of the behavior function of software model, and so on.The main work of this paper is to analyze and study the embedded software modeling and the embedded software pattern modeling which support the hardware design of the target platform.This paper studies the target platform design based on SmartC: SmartC is a kind of embedded software modeling language SmartC, which combines two kinds of software development ideas based on model and model drive.Modeling elements are mainly from the point of view of software to analyze and model the system.Based on the original modeling elements of SmartC language, this paper proposes an embedded software modeling language, which supports the hardware design of the target platform. The language adds such as processor, virtual processor, memory, bus, etc.In order to support the embedded software design of the target platform, this paper studies the embedded software pattern modeling problem: SmartC based on SmartC, which is mainly based on the structural characteristics of embedded software.The communication and interaction between the function modules are used to analyze the security of the software.In this paper, based on the SmartC structure model, a method of embedded software pattern modeling is proposed, which extracts the behavior characteristics of the structure model and describes it by pattern.In order to support the embedded software mode features and the description of the mode conversion process.
【學(xué)位授予單位】：浙江大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2017
【分類(lèi)號(hào)】：TP311.52

【參考文獻(xiàn)】

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

1 楊佩軒;;UML在嵌入式軟件工程中的應(yīng)用[J];計(jì)算機(jī)與網(wǎng)絡(luò);2016年17期

2 吳桓;;嵌入式軟件開(kāi)發(fā)中UML的應(yīng)用探討[J];電子技術(shù)與軟件工程;2016年11期

3 孫宏旭;邢薇;陶林;;基于有限狀態(tài)機(jī)的模型轉(zhuǎn)換方法的研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2012年02期

4 盧楊;洪玫;莫世鋒;黃英姿;;ATC數(shù)字語(yǔ)音通訊模擬系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)技術(shù)與發(fā)展;2008年06期

5 胡軍;張巖;于笑豐;王林章;李宣東;鄭國(guó)梁;;嵌入式軟件建模、實(shí)現(xiàn)與驗(yàn)證:研究與進(jìn)展[J];計(jì)算機(jī)科學(xué);2005年12期

6 賴(lài)明志,尤晉元;Rigorous Modeling of Real-time System Based on UML and PVS[J];Journal of DongHua University;2005年01期

7 劉秀羅,黃柯棣,朱小俊;有限狀態(tài)機(jī)在CGF行為建模中的應(yīng)用[J];系統(tǒng)仿真學(xué)報(bào);2001年05期

相關(guān)博士學(xué)位論文 前1條

1 楊國(guó)青;基于模型驅(qū)動(dòng)的汽車(chē)電子軟件開(kāi)發(fā)方法研究[D];浙江大學(xué);2006年

，

本文編號(hào)：1769724