專利名稱：一種車載atp系統(tǒng)程序到安全編碼的轉(zhuǎn)換裝置的制作方法
技術(shù)領(lǐng)域：
本實(shí)用新型涉及鐵路運(yùn)輸系統(tǒng)及航空、核電等其它高安全處理需要的領(lǐng)域，尤 其涉及一種車載ATP系統(tǒng)程序到安全編碼的轉(zhuǎn)換裝置。
背景技術(shù)：
針對(duì)鐵路行業(yè)的特點(diǎn)，對(duì)于一個(gè)系統(tǒng)安全產(chǎn)品，根據(jù)RAMS (可靠性、可用 性、可維護(hù)性、安全性)要求，系統(tǒng)的安全完善度等級(jí)必須達(dá)到SIL4級(jí)，如車載 ATP、聯(lián)鎖等安全相關(guān)產(chǎn)品的設(shè)計(jì)；由于普通程序的設(shè)計(jì)、編譯環(huán)境并不保證系統(tǒng) 的安全性，在程序執(zhí)行的過程中，存在發(fā)生危險(xiǎn)側(cè)故障的可能，因此在安全系統(tǒng)的 程序設(shè)計(jì)時(shí)要對(duì)傳統(tǒng)的程序設(shè)計(jì)模式進(jìn)行改造，使之在出現(xiàn)故障的情況下導(dǎo)向安全 側(cè)，滿足系統(tǒng)的安全性要求。
發(fā)明內(nèi)容
本實(shí)用新型的目的就是為了克服上述現(xiàn)有技術(shù)存在的缺陷，提供一種安全性更 高的車載ATP系統(tǒng)程序到安全編碼的轉(zhuǎn)換裝置。
本實(shí)用新型的目的可以通過以下技術(shù)方案來實(shí)現(xiàn) 一種車載ATP系統(tǒng)程序到 安全編碼的轉(zhuǎn)換裝置，其特征在于，該裝置包括連續(xù)速度變量處理模塊、安全校驗(yàn) 模塊、狀態(tài)安全跳轉(zhuǎn)模塊，所述的速度變量處理模塊與安全校驗(yàn)?zāi)K連接，所述的 安全校驗(yàn)?zāi)K與狀態(tài)安全跳轉(zhuǎn)模塊連接。
所述的安全校驗(yàn)?zāi)K包括循環(huán)體安全校驗(yàn)?zāi)K、分支結(jié)構(gòu)體安全校驗(yàn)?zāi)K，所 述的速度變量處理模塊分別與循環(huán)體安全校驗(yàn)?zāi)K、分支結(jié)構(gòu)體安全校驗(yàn)?zāi)K連 接。
與現(xiàn)有技術(shù)相比，本實(shí)用新型實(shí)現(xiàn)對(duì)車載ATP在運(yùn)算過程中進(jìn)行安全防護(hù)， 從而使其危險(xiǎn)側(cè)故障發(fā)生的概率低于系統(tǒng)的設(shè)計(jì)要求，進(jìn)而來保證系統(tǒng)的運(yùn)行安全。

圖1是本實(shí)用新型一種車載ATP系統(tǒng)程序到安全編碼的轉(zhuǎn)換裝置的結(jié)構(gòu)示意圖。
具體實(shí)施方式
以下結(jié)合具體實(shí)施例對(duì)本實(shí)用新型做進(jìn)一步說明。
如圖1所示， 一種車載ATP系統(tǒng)程序到安全編碼的轉(zhuǎn)換裝置，該裝置包括連 續(xù)速度變量處理模塊、安全校驗(yàn)?zāi)K、狀態(tài)安全跳轉(zhuǎn)模塊，所述的速度變量處理模 塊與安全校驗(yàn)?zāi)K連接，所述的安全校驗(yàn)?zāi)K與狀態(tài)安全跳轉(zhuǎn)模塊連接。所述的安 全校驗(yàn)?zāi)K包括循環(huán)體安全校驗(yàn)?zāi)K、分支結(jié)構(gòu)體安全校驗(yàn)?zāi)K，所述的速度變量 處理模塊分別與循環(huán)體安全校驗(yàn)?zāi)K、分支結(jié)構(gòu)體安全校驗(yàn)?zāi)K連接。所述的循環(huán)
體安全校驗(yàn)?zāi)K、分支結(jié)構(gòu)體安全校驗(yàn)?zāi)K分別與狀態(tài)安全跳轉(zhuǎn)模塊連接。
權(quán)利要求1.一種車載ATP系統(tǒng)程序到安全編碼的轉(zhuǎn)換裝置，其特征在于，該裝置包括連續(xù)速度變量處理模塊、安全校驗(yàn)?zāi)K、狀態(tài)安全跳轉(zhuǎn)模塊，所述的速度變量處理模塊與安全校驗(yàn)?zāi)K連接，所述的安全校驗(yàn)?zāi)K與狀態(tài)安全跳轉(zhuǎn)模塊連接。
2. 根據(jù)權(quán)利要求1所述的一種車載ATP系統(tǒng)程序到安全編碼的轉(zhuǎn)換裝置，其 特征在于，所述的安全校驗(yàn)?zāi)K包括循環(huán)體安全校驗(yàn)?zāi)K、分支結(jié)構(gòu)體安全校驗(yàn)?zāi)?塊，所述的速度變量處理模塊分別與循環(huán)體安全校驗(yàn)?zāi)K、分支結(jié)構(gòu)體安全校驗(yàn)?zāi)?塊連接。
專利摘要本實(shí)用新型涉及一種車載ATP系統(tǒng)程序到安全編碼的轉(zhuǎn)換裝置，該裝置包括連續(xù)速度變量處理模塊、安全校驗(yàn)?zāi)K、狀態(tài)安全跳轉(zhuǎn)模塊，所述的速度變量處理模塊與安全校驗(yàn)?zāi)K連接，所述的安全校驗(yàn)?zāi)K與狀態(tài)安全跳轉(zhuǎn)模塊連接。與現(xiàn)有技術(shù)相比，本實(shí)用新型實(shí)現(xiàn)對(duì)車載ATP在運(yùn)算過程中進(jìn)行安全防護(hù)，從而使其危險(xiǎn)側(cè)故障發(fā)生的概率低于系統(tǒng)的設(shè)計(jì)要求，進(jìn)而來保證系統(tǒng)的運(yùn)行安全。
文檔編號(hào)G06F21/00GK201331759SQ20082015814
公開日2009年10月21日 申請(qǐng)日期2008年12月29日 優(yōu)先權(quán)日2008年12月29日
發(fā)明者左德參 申請(qǐng)人:卡斯柯信號(hào)有限公司