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

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

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

【學位級別】：碩士

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



本文編號：3873231