Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems

Chen, Jian JiaJian JiaChenUeter, NiklasNiklasUeterGünzel, MarioMarioGünzelVon Der Brüggen, GeorgGeorgVon Der BrüggenTEI-WEI KUO2023-10-262023-10-262023-01-0197983503234810738100Xhttps://scholars.lib.ntu.edu.tw/handle/123456789/636597This 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]SDG11Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systemsconference paper10.1109/DAC56929.2023.102478072-s2.0-85173086461https://api.elsevier.com/content/abstract/scopus_id/85173086461