Supplementary Material for "Iterative Exploration of Distinct Requirement Violation Scenarios for Fault-tolerant Architectures"

DOI10.5281/zenodo.10256749Zenodo10256749MaRDI QIDQ6710395FDOQ6710395

Dataset published at Zenodo repository.

Richárd Szabó, András Vörös, Dániel Szekeres, István Majzik, Simon József Nagy, Zoltán Thimár, Zoltán Micskei

Publication date: 8 December 2023

Copyright license: Creative Commons Attribution 4.0 International

Description

This dataset provides artifacts about an industrial case study of a Steer-by-Wire system. It collects models of the system modeled in the open-source Gamma Statechart Composition Framework. You can find more information about the framework here: https://github.com/ftsrg/gamma.

This page was built for dataset: Supplementary Material for "Iterative Exploration of Distinct Requirement Violation Scenarios for Fault-tolerant Architectures"