计算机联锁软件的Z规格说明

• 作者: 王铁江 郦萌
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 形式化规格说明 Z语言 安全需求 计算机联锁 铁路信号
• 年，卷（期）: 2003,（4）
• 页码范围: 62-66
• 页数: 5页
• 分类号: U284
• 字数: 5413字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2003.04.014

摘要

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求.形式化其安全需求是一件十分必要,也是一件十分艰巨的任务.本文使用形式化规格说明语言--Z语言来描述其安全需求,生成形式化规格说明.形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郦萌	同济大学计算机科学与工程系	18	229	9.0	15.0
2	王铁江	同济大学计算机科学与工程系	8	166	7.0	8.0