高鐵信號(hào)系統(tǒng)是控制高速列車(chē)安全、平穩(wěn)、高效運(yùn)行的核心設(shè)備,分為車(chē)載系統(tǒng),地面系統(tǒng),計(jì)算機(jī)聯(lián)鎖和列控中心為地面系統(tǒng)的兩大子系統(tǒng),將兩子系統(tǒng)合并成一個(gè)系統(tǒng)是可能的。一體系統(tǒng)軟件的安全可靠性要求極高,傳統(tǒng)的開(kāi)發(fā)方式已不能滿(mǎn)足要求。高安全應(yīng)用開(kāi)發(fā)環(huán)境（SCADE）采用以“模型”為核心的開(kāi)發(fā)方式替代以“代碼”為中心的開(kāi)發(fā)方式,可實(shí)現(xiàn)基于圖形化的模型設(shè)計(jì)、仿真、驗(yàn)證、C代碼生成及追溯文檔,能夠保證軟件質(zhì)量,提高開(kāi)發(fā)效率,降低開(kāi)發(fā)成本。本文重點(diǎn)是基于SCADE對(duì)一體系統(tǒng)軟件開(kāi)發(fā),利用SCADE工具對(duì)軟件建模、靜態(tài)驗(yàn)證、覆蓋率分析。具體包括以下內(nèi)容:（1）通過(guò)對(duì)CTCS-2級(jí)列控系設(shè)備組成介紹,從軟硬件及接口角度分析了一體化系統(tǒng)的可行性。并對(duì)一體系統(tǒng)硬件組成、軟件結(jié)構(gòu)進(jìn)行設(shè)計(jì)。（2）研究開(kāi)發(fā)工具SCADE理論基礎(chǔ),重點(diǎn)研究安全狀態(tài)機(jī)建模和數(shù)據(jù)流圖建模方法,以及靜態(tài)驗(yàn)證、覆蓋率分析等模型驗(yàn)證方法。并分析了SCADE開(kāi)發(fā)的優(yōu)勢(shì)。（3）基于SCADE對(duì)列控聯(lián)鎖一體化系統(tǒng)軟件整體功能建立模型圖,重點(diǎn)對(duì)其中的進(jìn)路控制模塊、區(qū)段編碼模塊、應(yīng)答器報(bào)文模塊進(jìn)行需求分析、功能設(shè)計(jì),最后建立各自的模型圖。（4）使用SCA... 

【文章來(lái)源】：西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校

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

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

【文章目錄】：
摘要
ABSTRACT
符號(hào)對(duì)照表
縮略語(yǔ)對(duì)照表
第一章 緒論
    1.1 選題背景
    1.2 國(guó)內(nèi)外一體化系統(tǒng)現(xiàn)狀
    1.3 SCADE開(kāi)發(fā)環(huán)境
    1.4 主要內(nèi)容及結(jié)構(gòu)
第二章 開(kāi)發(fā)環(huán)境SCADE簡(jiǎn)介
    2.1 SCADE開(kāi)發(fā)環(huán)境優(yōu)勢(shì)
    2.2 SCADE系列工具
    2.3 SCADE理論基礎(chǔ)
        2.3.1 反應(yīng)式系統(tǒng)
        2.3.2 確定性
        2.3.3 同步假設(shè)
        2.3.4 并發(fā)性
    2.4 SCADE Suite介紹
        2.4.1 模型建立
        2.4.2 模型驗(yàn)證
        2.4.3 代碼生成
第三章 列控聯(lián)鎖一體化系統(tǒng)設(shè)計(jì)
    3.1 CTCS-2 級(jí)列控系統(tǒng)概述
        3.1.1 車(chē)載設(shè)備介紹
        3.1.2 地面設(shè)備介紹
    3.2 一體化系統(tǒng)硬件設(shè)計(jì)
        3.2.1 操作表示機(jī)
        3.2.2 電務(wù)維修機(jī)
        3.2.3 邏輯主機(jī)
    3.3 一體化系統(tǒng)軟件設(shè)計(jì)
        3.3.1 進(jìn)路控制模塊
        3.3.2 區(qū)段編碼模塊
        3.3.3 應(yīng)答器報(bào)文處理模塊
        3.3.4 區(qū)間運(yùn)行方向控制模塊
        3.3.5 臨時(shí)限速處理模塊
        3.3.6 區(qū)間邏輯檢查模塊
第四章 一體化系統(tǒng)軟件模型圖設(shè)計(jì)實(shí)現(xiàn)
    4.1 軟件總體模型圖設(shè)計(jì)實(shí)現(xiàn)
        4.1.1 需求分析
        4.1.2 功能設(shè)計(jì)
        4.1.3 建立模型圖
    4.2 進(jìn)路控制模型圖設(shè)計(jì)實(shí)現(xiàn)
        4.2.1 需求分析
        4.2.2 功能設(shè)計(jì)
        4.2.3 建立模型圖
    4.3 區(qū)段編碼模型圖設(shè)計(jì)實(shí)現(xiàn)
        4.3.1 需求分析
        4.3.2 功能設(shè)計(jì)
        4.3.3 建立模型圖
    4.4 應(yīng)答器報(bào)文模型圖設(shè)計(jì)實(shí)現(xiàn)
        4.4.1 需求分析
        4.4.2 功能設(shè)計(jì)
        4.4.3 建立模型圖
第五章 進(jìn)路控制模型驗(yàn)證及代碼生成
    5.1 進(jìn)路控制模型靜態(tài)驗(yàn)證
    5.2 進(jìn)路控制模型代碼生成
    5.3 進(jìn)路控制模型覆蓋率驗(yàn)證
        5.3.1 覆蓋率準(zhǔn)則提取
        5.3.2 覆蓋率測(cè)試
第六章 總結(jié)
參考文獻(xiàn)
致謝
作者簡(jiǎn)介



本文編號(hào)：3150718