Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks

Autor: Ahrendts, Leonie, Quinton, Sophie, Boroske, Thomas, Ernst, Rolf

Publikováno v: ECRTS 2018-30th Euromicro Conference on Real-Time Systems
ECRTS 2018-30th Euromicro Conference on Real-Time Systems, Jul 2018, Barcelona, Spain. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2018.15⟩
30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Editor: Sebastian Altmeyer; Article No. 15; pp. 15:1–15:22

International audience; In this paper, we introduce the first verification method which is able to provide weakly-hard real-time guarantees for tasks and task chains in systems with multiple resources under partitioned scheduling with fixed prioritie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76e4d2cdf126b621b466551f5bb0603c
https://hal.inria.fr/hal-01903759/document

Compositional Performance Analysis

Autor: Hofman, Robin, Ahrendts, Leonie, Ernst, Rolf

In this chapter we review the foundations Compositional Performance Analysis (CPA) and explain many extensions which support its application in design practice. CPA is widely used in automotive system design where it successfully complements or even

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::163f25560f4d732c1d9125d600e3d544

Finite ready queues as a mean for overload reduction in weakly-hard real-time systems.

Autor: Ahrendts, Leonie, Quinton, Sophie, Ernst, Rolf

Publikováno v: ACM International Conference Proceeding Series; 10/4/2017, p88-97, 10p

Failure analysis of a network-on-chip for real-time mixed-critical systems.

Autor: Rambo, Eberle A., Tschiene, Alexander, Diemer, Jonas, Ahrendts, Leonie, Ernst, Rolf

Publikováno v: 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE); 01/01/2014, p1-4, 4p