LCF 2.0 - Archive ouverte HAL Access content directly
Reports (Technical Report) Year : 2021

LCF 2.0

Per Larsson
  • Function : Author
  • PersonId : 1098229
Olav Bandmann
  • Function : Author
  • PersonId : 1098230

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.

Domains

Other
Fichier principal
Vignette du fichier
lcf-fmt.pdf (1.15 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03221150 , version 1 (11-05-2021)

Licence

Attribution - NoDerivatives

Identifiers

  • HAL Id : hal-03221150 , version 1

Cite

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

Collections

LARA
341 View
196 Download

Share

Gmail Facebook Twitter LinkedIn More