PRODUCT-BASED SAFETY VERIFICATION USING FORMAL METHODS

被引：0

作者：

Georgiadis, Sofia K. ^{[1
]}

机构：

[1] New York City Transit, New York, NY USA

来源：

PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE, 2014 | 2014年

关键词：

D O I：

暂无

中图分类号：

TH [机械、仪表工业];

学科分类号：

0802 ;

摘要：

How could the safety of a system be proven? Is it possible to apply the rigor of mathematical proofs to large, complex software systems? This paper addresses these questions through a presentation of the use of the Event-B [1] language to prove the safety of the New York City Transit (NYCT) Communications-Based Train Control (CBTC) systems.

引用

页数：8