Automatic code generation

Prover iLock Coder generates software code for system designs created in Prover iLock. This completely eliminates the need to write software code by hand.

Prover iLock Coder benefits:

• Consistent software code across different applications
• Efficient code (with code optimization applied)
• Efficient validation of resource usage
• Higher code quality compared to manually written code

Functionality

Prover iLock Coder supports generation of code for both vital systems and non-vital systems, such as maneuver systems. Prover iLock Coder has a flexible framework in which code generators for different target languages can be combined, if required.

The generation process includes necessary configuration file and data, including configuration of system I/O to adjacent systems and wayside objects, and scripts for compiling the generated code.

Code can be generated for both centralized and distributed interlocking systems. For distributed systems, Prover iLock Coder generates the configuration of the communication links, including communication variables transmitted.

In addition, Prover iLock Coder supports generation of code in the programming language C.