嵌入式系統(tǒng)是近年來國內外計算機科學與控制論領域研究的一個熱點課題。隨著嵌入式系統(tǒng)的規(guī)模和復雜性不斷增大,建模在嵌入式實時軟件開發(fā)過程中的作用也越來越重要。統(tǒng)一建模語言UML是一個通用的可視化建模語言,尤其適用于大型、復雜系統(tǒng)的建模。但由于UML缺乏精確語義,難以對所建模的系統(tǒng)行為進行分析和驗證。而時序邏輯語言XYZ/E具有精確的語義,既能表示系統(tǒng)的動態(tài)語義,又能表示其規(guī)范的靜態(tài)語義�；诖�,本文將UML2.0與XYZ/E相結合,為嵌入式實時軟件建模提供一種新的解決方案。 本文分析和比較了當前國內外幾種典型嵌入式實時軟件建模的思想和方法,指出了它們各自存在的問題:分析了UML在嵌入式實時軟件建模方面的不足,在對目前常見的UML擴展技術和方法進行研究的基礎上,提出了一種將UML2.0與XYZ/E相結合對嵌入式實時軟件建模的新方法;定義了UML2.0各個交互視圖的形式化語法和XYZ/E時序邏輯語義;最后通過對一個汽車駕駛輔助系統(tǒng)進行建模,把本文提出的建模方法應用到嵌入式實時軟件的實例中。 本文通過將面向對象的可視化建模語言與基于時序邏輯的形式化方法結合起來對嵌入式實時軟件建模,...

【文章頁數】：62 頁

【學位級別】：碩士

【文章目錄】：
中文摘要
英文摘要
1 緒論
    1.1 研究背景及意義
        1.1.1 嵌入式實時軟件的定義
        1.1.2 嵌入式實時軟件的特征
        1.1.3 嵌入式實時軟件建模的意義
    1.2 國內外研究現狀
    1.3 本文的研究內容及組織結構
2 基于UML與時序邏輯的嵌入式實時軟件建模
    2.1 UML2.0及其擴展方法分析
        2.1.1 UML2.0概述
        2.1.2 UML2.0交互圖
        2.1.3 UML擴展方法分析與比較
    2.2 時序邏輯語言XYZ/E的相關概念
        2.2.1 XYZ/E的基本內容
        2.2.2 實時XYZ/E
    2.3 UML2.0與XYZ/E相結合的嵌入式實時軟件建模
    2.4 本章小結
3 UML2.0交互圖的XYZ/E時序邏輯語義
    3.1 UML2.0順序圖的XYZ/E時序邏輯語義
        3.1.1 UML2.0順序圖的語法
        3.1.2 形式化語義
        3.1.3 一個例子
    3.2 UML2.0通信圖的XYZ/E時序邏輯語義
        3.2.1 UML2.0通信圖的語法
        3.2.2 形式化語義
        3.2.3 一個例子
    3.3 UML2.0時序圖的XYZ/E時序邏輯語義
        3.3.1 UML2.0時序圖的語法
        3.3.2 形式化語義
        3.3.3 一個例子
    3.4 UML2.0交互概況圖的XYZ/E時序邏輯語義
        3.4.1 UML2.0交互概況圖的語法
        3.4.2 形式化語義
        3.4.3 一個例子
    3.5 本章小結
4 實例分析:一個汽車駕駛輔助系統(tǒng)的建模研究
    4.1 系統(tǒng)介紹
    4.2 系統(tǒng)建模
        4.2.1 自適應巡航控制系統(tǒng)
        4.2.2 智能安全氣囊系統(tǒng)
        4.2.3 系統(tǒng)的整體模型
    4.3 本章小結
5 總結與展望
    5.1 本文工作總結
    5.2 下一步工作
參考文獻
附:作者在攻讀碩士學位期間發(fā)表的論文目錄、科研情況
致謝



本文編號：4013693