×

ABS项目:融合铁路和飞机行业的软件设计最佳实践。 (英语) Zbl 1044.68896号

Bert,Didier(编辑)等人,ZB 2002:Z和B中的正式规范和开发。第二届B和Z用户国际会议,法国格勒诺布尔,2002年1月23日至25日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43166-7)。莱克特。注释计算。科学。2272, 394-395 (2002).
概要:安全关键系统的设计需要特定的方法和工具来达到所需的安全水平。标志性的METEOR地铁系统表明,在铁路行业中,由工作室B支持的B方法已经成功使用了几年。在飞机工业中,SCADE工具支持的Lustre等同步声明性语言的使用提高了软件的质量并节省了成本。
关于整个系列,请参见[Zbl 0988.00083号].

MSC公司:

68单位99 计算方法和应用
68N99型 软件理论
PDF格式BibTeX公司 XML格式引用
全文: 链接