{"id":4696,"date":"2021-05-18T15:42:20","date_gmt":"2021-05-18T14:42:20","guid":{"rendered":"https:\/\/www.prover.com\/?p=4696"},"modified":"2024-06-20T10:38:21","modified_gmt":"2024-06-20T09:38:21","slug":"lcf-for-data-exchange-between-humans-and-machines-2","status":"publish","type":"post","link":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/","title":{"rendered":"LCF &#8211; For data exchange between humans and machines"},"content":{"rendered":"<p>Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured data. You will find the specification on <a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-03221150\" target=\"_blank\" rel=\"noopener noreferrer\">HAL<\/a>.<\/p>\n<p>Rail and metro managers all over the world are currently struggling with the same challenge: to move from a drawing-oriented view of data to a modern approach of structured data in databases. Everyone is asking the same question: how can we ensure that the data we put in those databases is correct?<\/p>\n<p>When data checking consisted of carefully reviewing a drawing, it was obvious what had to be done: the drawing must agree with reality and be clear enough to avoid misunderstandings. When approved, the drawing would be the basis for construction. Everyone who needed the data would look at the same drawing and therefore have exactly the same view as the reviewer had when the drawing was approved.<\/p>\n<p>With structured data it is a different story. The data is not represented as a drawing but stored in a database. Reviewing it requires some way to retrieve and visualize the data, and it cannot be ensured that all consumers of the data will have the same view as the reviewer. The process also raises important safety concerns: can we trust the tools that the reviewer uses to visualize and approve the data?<\/p>\n<p>Formats such as <a href=\"https:\/\/www.railml.org\/en\/\">RailML<\/a> have been put forward as standards for data exchange between computer systems. RailML does its job, but being based on xml, RailML files are hopeless for humans to review.<\/p>\n<p>We therefore designed LCF. It is a data exchange format that can be read by both humans and machines. It was designed to fulfill some important criteria:<\/p>\n<ul>\n<li>Pure text \u2013 allows simple trusted software to be used for reading on screen or printing.<\/li>\n<li>Well defined \u2013 enables computer interpretation without ambiguity.<\/li>\n<li>No clutter \u2013 makes it easy for humans to read.<\/li>\n<li>Compact \u2013 saves the reviewer from getting lost in thousands of lines.<\/li>\n<\/ul>\n<p>So why are we giving this away? Well, the purpose of a data exchange format is to exchange data, and as such it needs to be available to everyone. We look forward to a world where lots of tools speak fluent LCF with each other. With trusted structured data, formal methods will thrive, and the benefits of formal methods to automate and digitize rail control systems are what we truly care about.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured  [&#8230;]<\/p>\n","protected":false},"author":17,"featured_media":14340,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[158],"tags":[],"class_list":["post-4696","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-software-development"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>LCF - For data exchange between humans and machines - Prover - Engineering a Safer World<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"LCF - For data exchange between humans and machines - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2021-05-18T14:42:20+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-06-20T09:38:21+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"676\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Jesper Carlstr\u00f6m\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Jesper Carlstr\u00f6m\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/\"},\"author\":{\"name\":\"Jesper Carlstr\u00f6m\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\"},\"headline\":\"LCF &#8211; For data exchange between humans and machines\",\"datePublished\":\"2021-05-18T14:42:20+00:00\",\"dateModified\":\"2024-06-20T09:38:21+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/\"},\"wordCount\":403,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp\",\"articleSection\":[\"Software development\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/\",\"url\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/\",\"name\":\"LCF - For data exchange between humans and machines - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp\",\"datePublished\":\"2021-05-18T14:42:20+00:00\",\"dateModified\":\"2024-06-20T09:38:21+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp\",\"width\":1200,\"height\":676,\"caption\":\"LCF - For data exchange between humans and machines\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Software development\",\"item\":\"https:\/\/www.prover.com\/categories\/software-development\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"LCF &#8211; For data exchange between humans and machines\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\",\"name\":\"Jesper Carlstr\u00f6m\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"caption\":\"Jesper Carlstr\u00f6m\"},\"url\":\"https:\/\/www.prover.com\/author\/jesper-carlstrom\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"LCF - For data exchange between humans and machines - Prover - Engineering a Safer World","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/","og_locale":"en_US","og_type":"article","og_title":"LCF - For data exchange between humans and machines - Prover - Engineering a Safer World","og_description":"Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]","og_url":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2021-05-18T14:42:20+00:00","article_modified_time":"2024-06-20T09:38:21+00:00","og_image":[{"width":1200,"height":676,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp","type":"image\/jpeg"}],"author":"Jesper Carlstr\u00f6m","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Jesper Carlstr\u00f6m","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/"},"author":{"name":"Jesper Carlstr\u00f6m","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb"},"headline":"LCF &#8211; For data exchange between humans and machines","datePublished":"2021-05-18T14:42:20+00:00","dateModified":"2024-06-20T09:38:21+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/"},"wordCount":403,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp","articleSection":["Software development"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/","url":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/","name":"LCF - For data exchange between humans and machines - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp","datePublished":"2021-05-18T14:42:20+00:00","dateModified":"2024-06-20T09:38:21+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2021\/05\/LCF-For-data-exchange-between-humans-and-machines-jpg.webp","width":1200,"height":676,"caption":"LCF - For data exchange between humans and machines"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/software-development\/lcf-for-data-exchange-between-humans-and-machines-2\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Software development","item":"https:\/\/www.prover.com\/categories\/software-development\/"},{"@type":"ListItem","position":3,"name":"LCF &#8211; For data exchange between humans and machines"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb","name":"Jesper Carlstr\u00f6m","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","caption":"Jesper Carlstr\u00f6m"},"url":"https:\/\/www.prover.com\/author\/jesper-carlstrom\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/4696","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=4696"}],"version-history":[{"count":1,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/4696\/revisions"}],"predecessor-version":[{"id":6490,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/4696\/revisions\/6490"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14340"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=4696"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=4696"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=4696"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}