HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

LCF 2.0: Language Definition

Abstract : This document gives a strict definition of LCF - Layout Configuration Format. It is a JSON based format for representing configuration data for railway applications. An important problem that the format solves is that, while being a strictly specified machine readable format, it is also compact and easy to review manually without specialized tool support. LCF is intended for use in safety critical applications where manual reviews are part of the process.
Document type :
Reports
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03221150
Contributor : Olav Bandmann Connect in order to contact the contributor
Submitted on : Tuesday, May 11, 2021 - 2:11:17 PM
Last modification on : Thursday, May 13, 2021 - 3:31:56 AM
Long-term archiving on: : Thursday, August 12, 2021 - 6:03:53 PM

File

lcf-fmt.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NoDerivatives 4.0 International License

Identifiers

  • HAL Id : hal-03221150, version 1

Collections

Citation

Per Larsson, Olav Bandmann. LCF 2.0: Language Definition. [Technical Report] Prover Technology. 2021. ⟨hal-03221150⟩

Share

Metrics

Record views

223

Files downloads

116