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

【摘要】：隨著對嵌入式軟件開發(fā)技術的深入研究以及軟件復雜度的迅速增加,嵌入式軟件建模技術面臨著巨大的挑戰(zhàn);與此同時,隨著嵌入式軟在安全關鍵領域(如:航空航天、軍工電子、船舶控制、核電站等)的廣泛應用,模型驅(qū)動的軟件開發(fā)技術在安全關鍵工程領域中也逐漸得到廣泛的關注和應用。傳統(tǒng)的嵌入式軟件建模技術(如,UML,SysML,AADL,SmartC等)雖然已經(jīng)在很多領域得到廣泛應用,但是,面對當前功能特性快速增加、安全需求逐漸提高的嵌入式軟件系統(tǒng),這些技術或方法目前還存在一些問題,如,缺少對目標運行平臺參數(shù)的描述(包括:對處理器、存儲器、總線、設備等資源的描述);建模語言本身無法對組件模式及模式間的轉(zhuǎn)換過程進行描述,這對軟件模型的行為功能的分析與設計帶來了困難等等。本文主要工作是分別對支持目標平臺硬件設計的嵌入式軟件建模以及嵌入式軟件模式建模兩個問題展開了分析與研究,具體包括以下兩個部分:(1)研究了基于SmartC的目標平臺設計問題:SmartC是一種聯(lián)合了基于模型與模型驅(qū)動兩種軟件開發(fā)思想的面向汽車電子領域的嵌入式軟件建模語言。SmartC建模元素主要是從軟件的角度來對系統(tǒng)進行分析與建模。本文在SmartC語言原有建模元素的基礎上,提出了一種支持目標平臺硬件設計的嵌入式軟件建模語言一TPML,該語言增加了如處理器、虛擬處理器、存儲器、總線、虛擬總線及設備等硬件資源,以支持對目標平臺的嵌入式軟件設計。(2)研究了基于SmartC的嵌入式軟件模式建模問題:SmartC主要是從嵌入式軟件的結構特征、各功能模塊間的通信與交互等特性來對軟件進行安全性分析。本文在SmartC結構模型的基礎上,提出了一種嵌入式軟件模式建模方法,該方法抽取出結構模型的行為特征,并采用模式對其進行描述,以支持對嵌入式軟件的模式特征及模式轉(zhuǎn)換過程的描述。
[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.
【學位授予單位】：浙江大學
【學位級別】：碩士
【學位授予年份】：2017
【分類號】：TP311.52

【參考文獻】

相關期刊論文 前7條

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

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

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

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

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

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

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

相關博士學位論文 前1條

1 楊國青;基于模型驅(qū)動的汽車電子軟件開發(fā)方法研究[D];浙江大學;2006年

，

本文編號：1769724