Formal modelling methodology of French railway interlocking system via HCPN
type: Dataset
description: ERTMS implementation in France =>ERTMS for on board + national trackside). Problem: hard to evaluate the whole system regarding safety requirements. Ordinary method of railway standards comparison => Experienced experts to compare the detail entries of each rule. Weakness: Low-productivity. Solution: Set up formal specifications of ERTMS and local system to assess the safety of an ERTMS solution on a given french system. Railway interlocking system is a crucial link of local system. The methodology of establishing the formal petri net model of French railway interlocking is the main focus of the work.
issued: 2026-05-05T09:58:00.711873
language: en
modified: 2026-05-05T09:58:00.711879
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: specification
keyword: spiautoengineering-sciences-physicsautomatic
keyword: transport-ferroviaire
landing page: TRA - Transport Research Arena

Formal modelling methodology of French railway interlocking system via HCPN
type: Distribution
format: HTML
issued: 2026-05-05T09:58:00.713584
modified: 2026-05-05T09:58:00.701698
access URL: https://hal.science/hal-00998142

test_moissonnage_selune
type: Agent