發(fā)布時(shí)間：2024-12-01 06:36

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

【文章頁數(shù)】：62 頁

【學(xué)位級(jí)別】：碩士

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



本文編號(hào)：4013693