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.