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