Temporal Properties in Component-Based Cyber Physical Systems - Appendix

Temporal Properties in Component-Based Cyber Physical Systems - Appendix

In this document, we provide supplementary material to a paper that will be published in ERTS2. It includes a more detailed description of the described requirement transformations, outlined in the paper. For this purpose, we also provide a formal description of the temporal semantics model.

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Sehnke, Tobias, Schultalbers, Matthias, Ernst, Rolf
Format: Artikel
Sprache:eng
Schlagworte:
Computer Science - Systems and Control
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this document, we provide supplementary material to a paper that will be published in ERTS2. It includes a more detailed description of the described requirement transformations, outlined in the paper. For this purpose, we also provide a formal description of the temporal semantics model.
DOI:10.48550/arxiv.1711.09130