Ctrl K

Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller

3
contributors

Description

This repository contains (i) the source code of a Java project called "jEULYNX"; (ii) the extended source code and binaries of a software simulator of a EULYNX Point subsystem; and (iii) PDFs with instructions on how to install the software and how to reproduce the findings from our paper. The jEULYNX software is the implementation of our SIC test suite generation approach, and runs on any platform that supports a JVM version 18 or higher. The extended software simulator is our case study, and runs on MS Windows 10/11 platforms.

Logo of Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Keywords
Conformance testing
Model-based testing
Programmable logic controllers
Railway infrastructure
Railways
Railway signalling
Safety-critical systems
Simulation software
Single-Input-Changes
Traffic management
License
  • MIT
</>Source code
Not specified
Packages

Contributors

DvdW

Member of community

4TU