Details

Autor(en) / Beteiligte

• Cai, Hao
• Zhang, Chengdian
• Wu, Weihang
• Ho, Tin-kin
• Zhang, Zaiming

Titel

Modelling High Integrity Transport Systems by Formal Methods

Ist Teil von

• Procedia, social and behavioral sciences, 2014-07, Vol.138, p.729-737

Ort / Verlag

Elsevier Ltd

Erscheinungsjahr

2014

Link zum Volltext

Quelle

Elsevier ScienceDirect Journals Complete

Beschreibungen/Notizen

• This paper discusses and promotes the application of formal method approach in the development of high integrity transport systems. It briefly addresses the problems of the design and implementation of safety-critical, real-time control systems in transport systems. With the introduction of the concepts of the formal methods, the software development process is explained and the advantages of simple translation and eliminations of hidden defects are highlighted. A simple example on railway signalling is then given to demonstrate the application of formal methods in high integrity transport system.