LCF – Layout Configuration Language
About LCF – Layout Configuration Language
LCF is a domain specific language tailored for signaling engineering. It gives you a universal way of expressing signaling domain configuration data in a compact and review-friendly format.
LCF enables you to specify and express signaling configuration data in a uniform way, adaptable to any set of signaling principles and any choice of interlocking platforms using a powerful generic application configuration methodology. The methodology is object-model based and consists of (predefined and user-defined) generic components that are instantiated, interconnected and configured.
The LCF format, together with Provers associated tool suite, offers an extensive machinery for checking correctness and consistency, and for computing derived data for use in design, testing, or formal verification of interlocking software. The configuration of this machinery is highly flexible and the resulting process is CENELEC SIL-4 compliant.
With the tool suite you get functionality for generating HLL for formal verification with Prover Certifier. You describe how the LCF configuration model is mapped to the object-model in HLL, and the job is done.
Prover iLock can both read and write LCF. You use LCF to configure Prover iLock. When using sign-off verification with Prover Certifier, Prover iLock can generate the required LCF data.
The LCF format and the tools around it realize a configuration process that becomes explicit (fully specified and documented), reviewable (the format is designed to be compact and easy to review), and approvable (CENELEC SIL-4 compliant).