铁路信号域形式化方法研究

摘要：

铁路信号系统作为安全关键系统,它的失效可能带来灾难性的后果或重大经济损失,因此,安全关键系统的软件开发对可靠性和安全性的要求非常苛刻 .而需求分析及描述是软件生命周期的一个重要环节,它所确立的系统逻辑模型是设计和实现目标系统的基础.提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法,希望代替以往继电器接点电路表示的逻辑关系处理方式.

关键词：形式化方法、知识表示、铁路信号

所属期刊栏目：30

分类号：U283(铁路通信、信号)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1281-1284