PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Åkesson, Jesper Holst, Ole J. Jørgensen, Clemens Grelck · 2020
Satisfying real-time requirements in cyber-physical systems is challenging as timing behaviour depends on the application software, the embedded hardware, as well as the execution environment. This challenge is exacerbated as real-world, industrial systems often use unpredictable hardware and software libraries or operating systems with timing hazards and proprietary device drivers. All these issues limit or entirely prevent the application of established real-time analysis techniques.