Development Procedure Applied Formal Method of Vital Software for Railway Signalling Systems

초록

Railway Signalling Systems is a vital system which is responsible for preventing the train collision from functions such as speed control and route control between trains. As the recent advances of electronic technologies, the existing signalling system have been replaced with new electronic ones. When it comes to the configuration by micro-processors, major parts of its function are relied on measures by software. As the increasing uses of computerized signalling systems, the rising software complexity possibly leads to errors and faults of equipments which are potentially accompanied by large scale damages or lose if human. To secure software accuracy and reliability, the formal methods are studied where safety-critical system should be ensured as the railway industry and suggested the development procedure applied formal method of vital software fir railway signalling systems.