Reference: J-2024-1389
Country/Territory: Sweden
Organization: KTH Royal Institute of Technology
Project: Orchestrating Task Chains to meet End-to-End Delays in Complex Embedded Systems
More information: Link
Contact: Matthias Becker <mabecker@kth.se>
Embedded systems are at the heart of the ongoing digitalisation that transforms all areas of society. Consequently, their complexity is steadily rising. Many of these systems are safety-critical by nature and subject to various timing constraints that need to be met at runtime, requiring formal evidence of correctness. One important type of timing constraint is the end-to-end latency constraint, which describes the time it can take for data to propagate through a chain of communicating tasks.
The research project in which the PhD student will work aims to develop design and formal timing analysis techniques for real-time applications that are subject to different end-to-end latency constraints. The end-to-end latency is influenced by the application's workload, the implemented communication paradigm and the scheduling algorithm. Of particular interest are applications that are comprised of several, possibly interconnected, task chains. The project will develop design and analysis techniques for such applications that can already be used early in the design process. This can, for example, be a transformation of task properties such that end-to-end latency constraints are always met. The project will also demonstrate that the resulting systems can be efficiently scheduled at runtime.