WIT Press


Proposal Of A Software Coding Analysis Tool Using Symbolic Execution For A Railway System

Price

Free (open access)

Paper DOI

10.2495/CR160361

Volume

162

Pages

12

Page Range

399 - 410

Published

2016

Size

755 kb

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