發(fā)布時(shí)間：2023-12-11 19:33

　　針對(duì)目前嵌入式實(shí)時(shí)系統(tǒng)開(kāi)發(fā)的迫切需求,旨在改進(jìn)當(dāng)前建模技術(shù)中不利于嵌入式實(shí)時(shí)系統(tǒng)開(kāi)發(fā)的方面,本文引入了嵌入式實(shí)時(shí)系統(tǒng)開(kāi)發(fā)的新方法ARTISAN實(shí)時(shí)透視法(RtP),以及基于實(shí)時(shí)UML的建模工具ARTISAN Real-timeStudio(RTS),以降低嵌入式實(shí)時(shí)系統(tǒng)開(kāi)發(fā)的復(fù)雜度,縮短開(kāi)發(fā)周期。 論文介紹了避錯(cuò)容錯(cuò)技術(shù)的概念和分類(lèi),以及容錯(cuò)技術(shù)在軌道交通信號(hào)系統(tǒng)中的應(yīng)用,研究了面向?qū)ο蟮慕＜夹g(shù)和統(tǒng)一建模語(yǔ)言UML的應(yīng)用發(fā)展情況,分析了由UML模型到代碼自動(dòng)生成的必要性。 論文詳細(xì)闡述了ARTISAN實(shí)時(shí)透視法的體系結(jié)構(gòu)和開(kāi)發(fā)過(guò)程,對(duì)基于實(shí)時(shí)UML的嵌入式實(shí)時(shí)系統(tǒng)開(kāi)發(fā)環(huán)境進(jìn)行了選型分析,并對(duì)RTS下的代碼生成與同步開(kāi)發(fā)平臺(tái)進(jìn)行了描述。通過(guò)對(duì)新方法RtP和建模工具RTS的介紹,以及與傳統(tǒng)開(kāi)發(fā)方法和工具的比較,明確了采用RtP和RTS的原因和優(yōu)勢(shì)。最后對(duì)RTS圖的類(lèi)型和擴(kuò)展機(jī)制進(jìn)行了介紹。 本課題結(jié)合基于ARTISAN實(shí)時(shí)透視法的建模設(shè)計(jì)分析方法,對(duì)CBTC車(chē)載三模冗余系統(tǒng)進(jìn)行了探索性的研究。首先分析了ARTISAN實(shí)時(shí)透視法在車(chē)載三模冗余系統(tǒng)中應(yīng)用的可行性,然后分別從系統(tǒng)需求體系結(jié)構(gòu)、...

【文章頁(yè)數(shù)】：78 頁(yè)

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

【文章目錄】：
致謝
中文摘要
ABSTRACT
1 引言
    1.1 選題目的和意義
    1.2 計(jì)算機(jī)系統(tǒng)可靠性技術(shù)概況
        1.2.1 避錯(cuò)和容錯(cuò)技術(shù)的概念
        1.2.2 避錯(cuò)和容錯(cuò)技術(shù)的分類(lèi)
        1.2.3 容錯(cuò)技術(shù)在軌道交通信號(hào)系統(tǒng)中的應(yīng)用
    1.3 面向?qū)ο蟮慕７椒?br>        1.3.1 面向?qū)ο蟮慕＜夹g(shù)
        1.3.2 面向?qū)ο蟮慕ＵZ(yǔ)言UML
        1.3.3 利用UML建模
    1.4 UML模型到代碼的自動(dòng)生成
    1.5 論文研究?jī)?nèi)容及組織結(jié)構(gòu)
    1.6 本章小結(jié)
2 基于ARTiSAN實(shí)時(shí)透視法的建模設(shè)計(jì)分析方法
    2.1 ARTiSAN實(shí)時(shí)透視法淺析
        2.1.1 實(shí)時(shí)透視法簡(jiǎn)介
        2.1.2 實(shí)時(shí)透視法的體系結(jié)構(gòu)
        2.1.3 實(shí)時(shí)透視法的開(kāi)發(fā)過(guò)程
        2.1.4 與傳統(tǒng)開(kāi)發(fā)模式的比較
    2.2 RTS在嵌入式實(shí)時(shí)系統(tǒng)中的應(yīng)用分析
        2.2.1 基于實(shí)時(shí)UML的嵌入式實(shí)時(shí)系統(tǒng)開(kāi)發(fā)環(huán)境選型分析
        2.2.2 RTS代碼生成與同步開(kāi)發(fā)平臺(tái)簡(jiǎn)介
        2.2.3 RTS與其他建模工具的比較
    2.3 RTS圖的類(lèi)型及擴(kuò)展屬性
        2.3.1 RTS圖的類(lèi)型
        2.3.2 UML擴(kuò)展機(jī)制
    2.4 本章小結(jié)
3 基于ARTiSAN實(shí)時(shí)透視法的車(chē)載三模冗余系統(tǒng)建模與實(shí)現(xiàn)
    3.1 ARTiSAN實(shí)時(shí)透視法在車(chē)載三模冗余系統(tǒng)中的應(yīng)用分析
        3.1.1 CBTC系統(tǒng)及車(chē)載設(shè)備結(jié)構(gòu)介紹
        3.1.2 應(yīng)用ARTiSAN實(shí)時(shí)透視法的可行性分析
    3.2 系統(tǒng)需求體系結(jié)構(gòu)設(shè)計(jì)
        3.2.1 定義系統(tǒng)需求
        3.2.2 定義軟件需求
    3.3 系統(tǒng)解決方案體系結(jié)構(gòu)設(shè)計(jì)
        3.3.1 物理架構(gòu)設(shè)計(jì)
        3.3.2 系統(tǒng)類(lèi)圖的建立
        3.3.3 定義系統(tǒng)間交互
        3.3.4 系統(tǒng)軟件平臺(tái)工作流程
        3.3.5 創(chuàng)建系統(tǒng)行為模型
        3.3.6 通信任務(wù)并發(fā)圖的建立
    3.4 系統(tǒng)模型行為驗(yàn)證
    3.5 本章小結(jié)
4 車(chē)載三模冗余系統(tǒng)模型到代碼的自動(dòng)生成
    4.1 代碼自動(dòng)生成技術(shù)簡(jiǎn)介
        4.1.1 代碼自動(dòng)生成技術(shù)的實(shí)現(xiàn)方法
        4.1.2 基于ARTiSAN C++ Synchronizer的代碼生成與同步
    4.2 基于分層思想的代碼生成系統(tǒng)結(jié)構(gòu)功能定義
    4.3 車(chē)載三模冗余系統(tǒng)類(lèi)模型到代碼的轉(zhuǎn)換
        4.3.1 定義類(lèi)模型的UML擴(kuò)展集
        4.3.2 基于車(chē)載三模冗余系統(tǒng)創(chuàng)建并應(yīng)用擴(kuò)展集
        4.3.3 ARTiSAN C++ Synchronizer中類(lèi)模型到代碼的映射
        4.3.4 類(lèi)模型到代碼的生成
    4.4 車(chē)載三模冗余系統(tǒng)類(lèi)模型與代碼的同步
    4.5 實(shí)際應(yīng)用分析
        4.5.1 問(wèn)題總結(jié)與分析
        4.5.2 VxWorks仿真機(jī)模擬測(cè)試
    4.6 本章小結(jié)
5 總結(jié)與展望
參考文獻(xiàn)
圖索引
表索引
作者簡(jiǎn)歷
學(xué)位論文數(shù)據(jù)集



本文編號(hào)：3873231