Ontology for complex railway systems application to ERTMS/ETCS system

We present hereafter the experimental work of building an ontology of the European Rail Traffic Management System (ERTMS) domain. ERTMS is a railway complex control system defined on the basis of publicly available specification documents, the System Requirement Specification (SRS). We will describe the methodology that we used to define an initial structure for an ERTMS ontology. The main goal of this work is to supply a first formalization of the ERTMS knowledge in order to provide the basis of a later development process i.e validating the specifications, developing the software/hardware components and finally validating the system.

Data and Resources

Additional Info

Field Value
Source FM-RAIL-BOK Workshop in SEFM’2013 11th International Conference on Software Engineering and Formal Methods
Author Hoinaru, Olimpia, Mariano, Georges, Gransart, Christophe
Maintainer CCSD
Last Updated May 8, 2026, 00:05 (UTC)
Created May 8, 2026, 00:05 (UTC)
Identifier hal-00912736
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (IFSTTAR/COSYS/ESTAS) ; Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-PRES Université Lille Nord de France
creator Hoinaru, Olimpia
date 2013-09-23T00:00:00
harvest_object_id 46ae8bc5-8dd8-4b6c-b81b-625cd421e595
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-12-04T00:00:00
set_spec type:COMM