LCF – Layout Configuration Format

LCF – Layout Configuration Format

A Language for Formal Verification of Safety-Critical Systems.

A Language for Formal Verification of Safety-Critical Systems.

What is LCF?

LCF is a domain-specific language tailored for signaling engineering. It provides a universal way of expressing signaling configuration data in a compact and review-friendly format.

LCF solves the problem of storing configuration data in a format suitable for manually review. It works for all signaling principles and any choice of signaling platforms using a powerful generic application configuration methodology. Data available in railML can be translated to LCF for review or further validation.

LCF is based on the RJSON format, which is an extension of JSON that is a subset of YAML. It was constructed to be review-friendly yet machine readable.

Signaling software development

An extensive machinery for checking correctness and consistency

The LCF format, together with Prover’s 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 signaling systems. The configuration of this machinery is highly flexible and the resulting process is compliant with CENELEC SIL 4.

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.

Generate LCF data with Prover iLock for use by Prover Certifier

Prover iLock can both read and write LCF. 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).

The LCF specification is available on HAL.

Prover iLock

Latest news, stories and upcoming events from the railway industry.

  • Categories: Guide

    In the realm of railway software development, adhering to industrial standards is not just a matter of compliance; it’s a cornerstone of ensuring safe, reliable, and efficient railway systems. The latest milestone along this journey is the introduction of the CENELEC standard EN 50716:2023.