Critical Systems Research Group
Published December 8, 2023 | Version v1
Dataset Open

Supplementary Material for "Aiding the Design of Critical Software Systems by Iterative Exploration of Distinct Requirement Violation Scenarios"

Authors/Creators

  • 1. Budapest University of Technology and Economics
  • 2. thyssenkrupp Components Technology Hungary Ltd

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.

Files

README.md

Files (1.8 MB)

Name Size Download all
md5:f93f009b1b747a041575bef63fc0085a
69.4 kB Preview Download
md5:a0ac87ef3cbf3747f678d94a6f9f48de
1.7 MB Preview Download
md5:e257ebac7228857b687693aa0c046b96
1.5 kB Preview Download

Additional details

Funding

National Research, Development and Innovation Office
Project no. 2019-1.3.1-KK-2019-00004 has been implemented with the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the 2019-1.3.1-KK funding scheme. 2019-1.3.1-KK-2019-00004
National Research, Development and Innovation Office
The project supported by the Doctoral Excellence Fellowship Programme (DCEP) is funded by the National Research Development and Innovation Fund of the Ministry of Culture and Innovation and the Budapest University of Technology and Economics, under a grant agreement with the National Research, Development and Innovation Office. Doctoral Excellence Fellowship Programme (DCEP)