A survey of timing verification techniques for multi-core real-time systems

Autor: Hamza Rihani, Claire Maiza, Robert I. Davis, Joël Goossens, Juan M. Rivas, Sebastian Altmeyer

Publikováno v: ACM computing surveys, 52 (3
ACM Computing Surveys, 52(3):56. Association for Computing Machinery (ACM)

This survey provides an overview of the scientific literature on timing verification techniques for multi-core real-time systems. It reviews the key results in the field from its origins around 2006 to the latest research published up to the end of 2

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::125c8b02218807f52e81572ff8b3ec21
https://opus.bibliothek.uni-augsburg.de/opus4/files/69694/69694.pdf

WCET analysis in shared resources real-time systems with TDMA buses

Autor: Matthieu Moy, Sebastian Altmeyer, Hamza Rihani, Claire Maiza

Publikováno v: RTNS: 23rd International Conference on Real-Time Networks and Systems
RTNS 2015
RTNS 2015, Nov 2015, Lille, France. ⟨10.1145/2834848.2834871⟩
RTNS
Proceedings of the 23rd International Conference on Real-Time and Networks Systems (RTNS) 2015: 4-6 November 2015, Lille, France, 183-192
STARTPAGE=183;ENDPAGE=192;TITLE=Proceedings of the 23rd International Conference on Real-Time and Networks Systems (RTNS) 2015: 4-6 November 2015, Lille, France

International audience; Predictability is an important aspect in real-time and safety-critical systems, where non-functional properties – such as the timing behavior – have high impact on the system cor-rectness. As many safety-critical systems h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ae43a3e67f017cf8fdfdbf1994a093d
https://hal.archives-ouvertes.fr/hal-01243244