Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
1114271 | Procedia - Social and Behavioral Sciences | 2014 | 9 Pages |
Abstract
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.
Related Topics
Social Sciences and Humanities
Arts and Humanities
Arts and Humanities (General)