Luiz Gonzaga Nunes Maia Neto

• In this dissertation, we study the challenges of performing end-to-end timing analysis in safety-critical real-time systems with multi-rate cause-effect chains and multi-core architecture. The main contribution of this dissertation consists of proposing methods to verify and improve the end-to-end latencies of safety-critical real-time applications with tasks applying the Logical Execution Time (LET) communication paradigm. Evaluations using automotive benchmarks and synthetic task sets show the benefits of our methods under different end-to-end latency metrics such as reaction time and data age.