The assessment of interlocking control algorithm developed by Rhapsody

초록

Train signal system is responsible for safety of train operation by controlling train safety distance and train route. In Europe, new safety standards are firmly defined for verifying and validating safety of this system (EN50126, EN50128). These standards require certification about organization, process, tools which are necessary for system development. In case of developing main algorithms of the signal system, the requirement for these standards can be achieved by applying the development tools of formal method based on Unified Modeling Language (UML). This paper indicates the result of assessment of train interlocking control algorithm using a simulator which realizes train operation based on moving block. And the algorithm based on moving block was designed by Rhapsody, the software development tool.