Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems
Journal
Proceedings - Design Automation Conference
Journal Volume
2023-July
ISBN
9798350323481
Date Issued
2023-01-01
Author(s)
Abstract
This lightning talk introduces the motivations of the needs of formal properties that can be used modularly to compose safe and tight analysis and optimization for the scheduler design and schedulability test problems for cyber-physical real-time systems. The key challenge is the correct and precise translation from different schedule functions to proper mathematical properties that can be further used for property-based modulable designs.
SDGs
Type
conference paper