-
DAES
-
Forschung
-
Forschungsprojekte
PropRT
PropRT Property-Based Modulable Timing Analysis and Optimization Please provide a copyright notice PropRT will explore the possibilities to construct timing analysis for complex cyber-physical real-time [...] real-time systems from formal properties. The target properties should be modular so that safe and tight analysis as well as optimization can be performed (semi-)automatically. New, mathematical, modulable, and [...] timing predictability. This project will provide a comprehensive view of the landscape of design, analysis, and optimization options for timing properties in cyber-physical real-time systems. Advanced o …