《鐵路信號控制安全性邏輯形式化技術的研究》是依託同濟大學，由徐中偉擔任項目負責人的聯合基金項目。
基本介紹
- 中文名：鐵路信號控制安全性邏輯形式化技術的研究
- 項目類別：聯合基金項目
- 項目負責人：徐中偉
- 依託單位：同濟大學
- 批准號：60674004
- 申請代碼：F03
- 負責人職稱：教授
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：26（萬元）
中文摘要
目前我國鐵路信號功能需求和技術條件都是用自然語言來表達的。正是由於自然語言的模糊性、不確定性和時常發生的二義性，有時不得不用繼電器電路圖來說明。隨著計算機越來越多套用於鐵路信號控制，軟體正逐步取代故障安全繼電器電路完成信號安全性邏輯的運算，為此迫切需要研究一種無二義、直觀、易於驗證和測試且故障安全的鐵路信號安全性控制邏輯形式化描述語言。現有的形式化描述語言工具尚沒有完全能夠直接用於我國鐵路信號領域
