The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/237905e5-54cc-4a98-abf3-38324d516bf3

van der Wal, Djurre; Gerhold, Marcus; Stoelinga, Mariëlle (2023): Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. Version 1. 4TU.ResearchData. software. https://doi.org/10.4121/237905e5-54cc-4a98-abf3-38324d516bf3.v1

Software

• Computer Software
• Ground Transport
• Computation Theory and Mathematics
• Transport
• Information and Computing Sciences

Conformance testing, Model-based testing, Programmable logic controllers, Railway infrastructure, Railway signalling, Railways, Safety-critical systems, Simulation software, Single-Input-Changes, Traffic management

MIT

RefWorks, BibTeX, Reference Manager, Endnote, DataCite, NLM, DC, CFF

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

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.

• 2023-07-26 first online, published, posted

4TU.ResearchData

pdf, zip, java, exe, dll

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools (FMT)