Summer School Course: Design and Analysis of Time-Critical Systems
Lecturer: Jan Reineke
Cyber-physical systems (CPS) are characterized by the interaction of physical and software components. Sensors provide information about the state of the physical world and actuators enable software components to influence their physical environment. Physical components naturally evolve in real time following the rules of physics. As a consequence, to achieve objectives in the physical world, the software components of a CPS also need to perform their computations within limited amounts of real time.
Often CPS are safety-critical. Then, it is imperative to verify their functional correctness, including their timing behavior. This course conveys challenges and solutions in the design and analysis of time-critical systems:
- Analysis: How can the timing behavior of an application on a particular microarchitecture be safely bounded? We will first learn about timing-analysis techniques at the level of individual tasks; then we will see emerging compositional techniques to analyze a whole application's timing on a multi-core architecture, accounting for platform-related overheads due to shared resources such as caches and buses.
- Design: How should future multicore architectures be designed to enable precise and efficient timing analysis? We will discuss competing notions of timing predictability, including determinism and monotonicity. Then we will take a look at current academic and commercial projects, such as the PTARM and the Kalray MPPA-256 that aim to achieve predictability.
This course was held as part of the Thirteenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES 2017) in Fiuggi, Italy.
|July 10, 2017||Introduction to Real-Time Systems|
|July 10, 2017||WCET Analysis: A Primer|
|July 11, 2017||Cache Analysis and Predictability|
|July 13, 2017||Response-Time Analysis with a Focus on Shared Resources|
|July 14, 2017||Timing Predictability and Analyzability + Case Studies: PTARM and Kalray MPPA-256|