Prover iLock is a tool suite that automates software development of computerized interlocking systems. New CENELEC SIL-4 certifiable interlocking systems can be produced in a few days, saving significant development resources.
Using a traditional development process, every interlocking system requires significant engineering effort. The underlying signalling principles may be the same for a whole family of interlocking systems, but each system is nevertheless programmed individually to obtain a suitable adaption to the station it is supposed to control. Reuse of code from system to system is limited to copy-and-paste techniques with manual alteration, often introducing programming errors.