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

1、針對(duì)目前嵌入式實(shí)時(shí)系統(tǒng)開發(fā)的迫切需求，旨在改進(jìn)當(dāng)前建模技術(shù)中不利于嵌入式實(shí)時(shí)系統(tǒng)開發(fā)的方面，本文引入了嵌入式實(shí)時(shí)系統(tǒng)開發(fā)的新方法ARTISAN實(shí)時(shí)透視法(RtP)，以及基于實(shí)時(shí)UML的建模工具ARTiSAN Real-timeStudio(RTS)，以降低嵌入式實(shí)時(shí)系統(tǒng)開發(fā)的復(fù)雜度，縮短開發(fā)周期。 論文介紹了避錯(cuò)容錯(cuò)技術(shù)的概念和分類，以及容錯(cuò)技術(shù)在軌道交通信號(hào)系統(tǒng)中的應(yīng)用，研究了面向?qū)ο蟮慕＜夹g(shù)和統(tǒng)一建模語(yǔ)言UML的應(yīng)用發(fā)展情

2、況，分析了由UJML模型到代碼自動(dòng)生成的必要性。 論文詳細(xì)闡述了ARTiSAN實(shí)時(shí)透視法的體系結(jié)構(gòu)和開發(fā)過(guò)程，對(duì)基于實(shí)時(shí)UML的嵌入式實(shí)時(shí)系統(tǒng)開發(fā)環(huán)境進(jìn)行了選型分析，并對(duì)RTS下的代碼生成與同步開發(fā)平臺(tái)進(jìn)行了描述。通過(guò)對(duì)新方法RtP和建模工具RTS的介紹，以及與傳統(tǒng)開發(fā)方法和工具的比較，明確了采用RtP和RTS的原因和優(yōu)勢(shì)。最后對(duì)RTS圖的類型和擴(kuò)展機(jī)制進(jìn)行了介紹。 本課題結(jié)合基于ARTiSAN實(shí)時(shí)透視法的建模設(shè)計(jì)分析方

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