同济大学学报(自然科学版)

2002, (10) 1281-1284

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

铁路信号域形式化方法研究
On Formal Method for Railway Signal Field

张磊,吴芳美

摘要(Abstract):

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

关键词(KeyWords): 形式化方法;知识表示;铁路信号

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 张磊,吴芳美

Email:

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享