Supplementary Material for "Iterative Exploration of Distinct Requirement Violation Scenarios for Fault-tolerant Architectures" (Q6710395)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Supplementary Material for "Iterative Exploration of Distinct Requirement Violation Scenarios for Fault-tolerant Architectures" |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Supplementary Material for "Iterative Exploration of Distinct Requirement Violation Scenarios for Fault-tolerant Architectures" |
Dataset published at Zenodo repository. |
Statements
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.
0 references
8 December 2023
0 references
