节点文献

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

免费订阅

【作者】 张磊吴芳美

【Author】 ZHANG Lei, WU Fang-mei(Department of Information and Control Engineering,Tongji University,Shanghai 200092,China)

【机构】 同济大学信息与控制工程系同济大学信息与控制工程系 上海200092上海200092

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

【关键词】 形式化方法知识表示铁路信号
  • 【分类号】U283
  • 【被引频次】4
  • 【下载频次】136
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: