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
Veröffentlicht in:arXiv.org 2017-11
Hauptverfasser: Sehnke, Tobias, Schultalbers, Matthias, Ernst, Rolf
Format: Artikel
Sprache:eng
Schlagworte:
Cyber-physical systems
Semantics
Online-Zugang:Volltext
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.
ISSN:2331-8422