Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

Djurre van der Wal*, Marcus Gerhold, Mariëlle Stoelinga

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

33 Downloads (Pure)

Abstract

We propose a novel framework for model-based testing against specifications from EULYNX, a SysML-based standard from the railway industry for the controllers of systems such as points, signals, sensors, and crossings. The main challenge here is the sheer complexity: with state spaces exceeding 10e+10 states, it is hard to derive test suites that achieve a meaningful type of coverage.

We tackle this problem by moving away from the traditional interleaving semantics for SysML. Instead, we propose a synchronous semantics in terms of Finite State Machines (FSMs), leveraging the fact that EULYNX is implemented on Programmable Logic Controllers (PLCs). Then, we deploy Single-Input-Change Deterministic Finite State Machines (SIC-DFSMs), which ensures fully deterministic tests thus minimizing scalability issues.

Our focus lies on the EULYNX specification for point controllers. The generated test suite achieves maximal transition coverage, but test execution time remains substantial. We introduce an additional test suite that achieves maximal transition label coverage. Remarkably, this smaller suite successfully identifies the same four faults as the larger suite.
Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Subtitle of host publication28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
EditorsAlessandro Cimatti, Laura Titolo
Pages242-258
Number of pages17
ISBN (Electronic)978-3-031-43681-9
DOIs
Publication statusPublished - 17 Sept 2023
Event28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023 - Antwerp, Belgium
Duration: 20 Sept 202322 Sept 2023
Conference number: 28

Publication series

NameLecture Notes in Computer Science book series
Volume14290

Conference

Conference28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023
Abbreviated titleFMICS 2023
Country/TerritoryBelgium
CityAntwerp
Period20/09/2322/09/23

Keywords

  • Conformance testing
  • Model-based testing
  • Programmable logic controllers
  • Railways
  • Safety-critical systems
  • Single-Input-Change
  • 2023 OA procedure

Fingerprint

Dive into the research topics of 'Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller'. Together they form a unique fingerprint.

Cite this