铁路信号域形式化方法的研究
铁路信号系统作为安全关键系统,它的失效可能带来灾难性的后果或重大经济损失,因此,安全关键系统的软件开发对可靠性和安全性的要求非常苛刻.而需求分析及描述是软件生命周期的一个重要环节,它所确立的系统逻辑模型是设计和实现目标系统的基础.本文提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法,希望代替以往继电器接点电路表示的逻辑关系处理方式.
形式化方法 知识表示 铁路信号 容错设计 计算机系统
张磊 吴芳美
同济大学电子与信息工程学院(上海)
国内会议
上海
中文
215-220
2002-10-01（万方平台首次上网日期，不代表论文的发表时间）