{"id":645,"date":"2016-12-03T12:44:16","date_gmt":"2016-12-03T11:44:16","guid":{"rendered":"https:\/\/www.prover.com\/?post_type=avada_portfolio&p=645"},"modified":"2025-01-13T09:51:18","modified_gmt":"2025-01-13T08:51:18","slug":"qinghai-tibet-china","status":"publish","type":"avada_portfolio","link":"https:\/\/www.prover.com\/references\/qinghai-tibet-china\/","title":{"rendered":"Automated simulation and formal verification for Qinghai Tibet, China"},"content":{"rendered":"

\"Purpose\"<\/span><\/div><\/div><\/div>
Purpose<\/h5><\/div><\/div><\/div><\/div>

Deploy state of the art safety verification, and to reduce recurring engineering costs for projects that deliver many interlocking systems<\/p>\n<\/div><\/div><\/div>

\"Client\"<\/span><\/div><\/div><\/div>
Client<\/h5><\/div><\/div><\/div><\/div>

Ministry of Railways, PR China<\/p>\n<\/div><\/div><\/div>

\"Signaling<\/span><\/div><\/div><\/div>
Signaling system<\/h5><\/div><\/div><\/div><\/div>

VHLC, by General Electric<\/p>\n<\/div><\/div><\/div><\/div><\/div>

Automated simulation and formal verification of interlocking software<\/h2><\/div><\/div><\/div>

As part of a project for the Ministry of Railways of the People\u2019s Republic of China, GE Transportation supplied 20+ interlocking systems for the Qinghai-Tibet railway. Prover joined this project to specify the signaling rules governing test and safety principles for these systems, implemented on VHLC hardware controllers. These test and safety principles were used by GE Transportation to perform automated simulation and formal verification of the interlocking software using the Prover iLock Simulator and Prover iLock Verifier<\/a>.<\/p>\n

Following the success of this project, GE Transportation proceeded to incorporate support for Prover iLock in the VHLC programming tool ACE, so that interlocking software developed with Prover iLock<\/a> could be imported into ACE.<\/p>\n<\/div><\/div><\/div><\/div><\/div>

<\/div><\/div>
<\/div><\/div><\/div><\/div>
Related project references<\/h6><\/div><\/div><\/div>
View all<\/a><\/a><\/h6><\/div><\/div><\/div>