Deduction of coding rules and implementation of automatic inspecrion tool for railway signaling software

초록

In accordance with recent development of electronic and computer technology, the railway signaling system is being converted from the existing mechanical electrical device to computer system. Accordingly, the dependency of railway signaling system on the computer software is being increased rapidly. In accordance with recent development of computer technology, as railway signaling system software became more complex for the intellectualization and automation, the weight took by software in the railway signaling system is getting more increased. Though magnitude and complexity of railway signaling system software is slower than the development speed of hardware, it is anticipated that the size will be bigger gradually and the complexity will be increased also. Accordingly, the reliability and safety of vital software being embedded like railway signaling system were started to become influential as very important issue. Like this, for the safety of software, the software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, and this part must be checked. In the industry field other than railways, the coding rules and standards for control units in the automobile field which is one of the representative embedded systems are standardized in the form of