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

【文章來源】：西安電子科技大學陜西省 211工程院校 教育部直屬院校

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

【學位級別】：碩士

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



本文編號：3150718