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 databases yet being able to manually review the data with a trusted procedure. It works for all signaling principles and any choice of signaling platforms using a powerful generic application configuration methodology.
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.