Timing Analysis, Fachbücher von Nuno Gaspar

Das Buch "Timing Analysis" von Nuno Gaspar bietet eine umfassende Untersuchung der zeitlichen Eigenschaften in Echtzeitsystemen, die entscheidend sind, um sicherzustellen, dass Deadlines eingehalten werden. Ein zentrales Thema ist die Berechnung der Worst-Case-Ausführungszeit (WCET), die für die Analyse der Planbarkeit von grosser Bedeutung ist. Die Herausforderungen, die sich aus der Architektur ergeben, insbesondere bei der Verwendung von Caches und Pipelines, werden detailliert behandelt. Das Buch legt besonderen Wert auf die Anwendung statischer Analysemethoden zur sicheren und präzisen Berechnung der WCET, wobei die ARM-Architektur als Zielplattform dient. Um die Richtigkeit der Berechnungen zu gewährleisten, wird ein Zertifikat erstellt, das die Einhaltung der berechneten WCET bestätigt. Dies ermöglicht eine lokale Validierung der Ergebnisse und reduziert die Notwendigkeit, blind auf die Angaben des Produzenten zu vertrauen. Das Werk richtet sich an Forscher und Praktiker im Bereich der Echtzeitsysteme sowie an alle, die sich mit den damit verbundenen Herausforderungen auseinandersetzen möchten.