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

• 作者: 吴芳美 张磊
• 来源期刊: 同济大学学报(自然科学版)
• 学科: 交通运输
• 关键词: 形式化方法 知识表示 铁路信号
• 年，卷（期）: 2002,（10）
• 所属期刊栏目: 交通运输工程
• 页码范围: 1281-1284
• 页数: 4页
• 分类号: U283
• 字数: 4207字
• 语种: 中文
• DOI: 10.3321/j.issn:0253-374X.2002.10.027

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张磊	同济大学信息与控制工程系	100	621	14.0	22.0
2	吴芳美	同济大学信息与控制工程系	32	431	12.0	20.0