ARTiSAN Real-time Studio在CBTC車載三模冗余系統(tǒng)中的研究與應用.pdf

1、針對目前嵌入式實時系統(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ā)展情

2、況，分析了由UJML模型到代碼自動生成的必要性。 論文詳細闡述了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實時透視法的建模設計分析方

3、法，對CBTC車載三模冗余系統(tǒng)進行了探索性的研究。首先分析了ARTiSAN實時透視法在車載三模冗余系統(tǒng)中應用的可行性，然后分別從系統(tǒng)需求體系結(jié)構(gòu)、系統(tǒng)解決方案體系結(jié)構(gòu)和系統(tǒng)模型行為驗證等方面進行了設計和分析，初步實現(xiàn)了從系統(tǒng)需求分析到建模實現(xiàn)的過程。整個過程遵循了ARTiSAN實時透視法的體系結(jié)構(gòu)和開發(fā)過程，使得應用系統(tǒng)的缺陷能較早的被捕獲，降低了系統(tǒng)的風險，保證了系統(tǒng)在安全可靠性方面的要求。 本文對代碼自動生成技術(shù)的實現(xiàn)方法以