Author(s)

H.-J. Jo, J.-G. Hwang

Abstract

The railway system is being converted to a computer system from the existing mechanical device, and the dependency on software is rapidly increasing. Though the size and degree of complexity of software for railway systems are slower than the development speed of hardware, it is expected that the size will gradually grow bigger and the degree of complexity will also increase. Accordingly, the validation of reliability and safety of embedded software for the railway system started to become an important issue. Accordingly, various software tests and validation activities are highly recommended in railway software related international standards. In this paper, we present a software coding analysis tool using symbolic execution for a railway system, and present the result of its implementation.

Keywords

railway system, software validation, reliability, safety