Temporal Properties in Component-Based Cyber Physical Systems - Appendix
Tobias Sehnke, Matthias Schultalbers, Rolf Ernst
TL;DR
This appendix offers detailed descriptions of requirement transformations and a formal temporal semantics model for component-based cyber-physical systems, supporting the main paper's contributions.
Contribution
It provides an in-depth formalization of temporal semantics and detailed requirement transformation methods for cyber-physical systems.
Findings
Formal temporal semantics model defined
Requirement transformation process detailed
Supplementary material enhances main paper
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEmbedded Systems Design Techniques · Distributed and Parallel Computing Systems · Real-Time Systems Scheduling