2023
DOI: 10.1007/978-3-031-43681-9_14
|View full text |Cite|
|
Sign up to set email alerts
|

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

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

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 10 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 sem… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 37 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?