LCF – 布局配置格式
为信号工程量身定制的领域特定语言
关于 LCF – 布局配置格式
LCF 是一种专为信号工程量身定制的领域特定语言，它提供了一种表达信号配置数据的通用方式，并且采用了紧凑且易于查看的格式。
LCF 解决了将配置数据存储在数据库中，但同时又能够使用受信任的程序手动查看数据的问题。它适用于所有信号原则，以及使用强大的通用应用程序配置方法的信号平台的任何选择。
LCF 格式与 Prover 的相关工具链一起，提供了广泛的机制来检查正确性和一致性，以及计算用于信号系统设计、测试或形式化验证的衍生数据。该机器的配置非常灵活，其产生结果的过程符合 CENELEC SIL 4标准。
使用该工具链，您可以获得用 Prover 认证器生成 HLL 的功能，从而进行形式化验证，由您来描述 LCF 配置模型如何映射到 HLL 中的对象模型，这样工作就完成了。
Prover iLock 可以读写 LCF。当使用 Prover 认证器进行签核验证时，Prover iLock 可以生成所需的 LCF 数据。
LCF 格式及其相关工具实现了一个配置过程，该过程更加明确（完全被指定和记录）、可审查（该格式被设计为紧凑且易于审查）和可批准（符合CENELEC SIL 4标准）。
LCF 规范可在 HAL 上免费获得。