1、隨著對嵌入式軟件開發(fā)技術的深入研究以及軟件復雜度的迅速增加，嵌入式軟件建模技術面臨著巨大的挑戰(zhàn);與此同時，隨著嵌入式軟在安全關鍵領域（如:航空航天、軍工電子、船舶控制、核電站等）的廣泛應用，模型驅動的軟件開發(fā)技術在安全關鍵工程領域中也逐漸得到廣泛的關注和應用。傳統(tǒng)的嵌入式軟件建模技術（如，UML，SysML，AADL，SmartC等）雖然已經在很多領域得到廣泛應用，但是，面對當前功能特性快速增加、安全需求逐漸提高的嵌入式軟件系統(tǒng)，這些技

2、術或方法目前還存在一些問題，如，缺少對目標運行平臺參數(shù)的描述（包括:對處理器、存儲器、總線、設備等資源的描述）;建模語言本身無法對組件模式及模式間的轉換過程進行描述，這對軟件模型的行為功能的分析與設計帶來了困難等等。
　　本研究主要內容包括：⑴研究了基于SmartC的目標平臺設計問題:SmartC是一種聯(lián)合了基于模型與模型驅動兩種軟件開發(fā)思想的面向汽車電子領域的嵌入式軟件建模語言。SmartC建模元素主要是從軟件的角度來對系統(tǒng)進行

3、分析與建模。本文在SmartC語言原有建模元素的基礎上，提出了一種支持目標平臺硬件設計的嵌入式軟件建模語言—TPML，該語言增加了如處理器、虛擬處理器、存儲器、總線、虛擬總線及設備等硬件資源，以支持對目標平臺的嵌入式軟件設計。⑵研究了基于SmartC的嵌入式軟件模式建模問題:SmartC主要是從嵌入式軟件的結構特征、各功能模塊間的通信與交互等特性來對軟件進行安全性分析。在SmartC結構模型的基礎上，提出了一種嵌入式軟件模式建模方法，該