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

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

福特概念车

9月9日，福特欧洲在2003法兰克福国际车展上宣布公司的众多车系都推出了新车型与新技术。本次展会福特欧洲携福克斯(FOCUS)C—MAX、Fusion、银河(Galaxy)、福特GT、Ka，Streetka、Sportka、Tourneo Connect等新车型参加了此次展览。