Validierung des Zeitverhaltens von kritischer Echtzeit-Software
Christian Ferdinand
, Daniel Kästner
, Florian Martin
, Marc Langenbach
, Martin Sicks
, Stephan Wilhelm
, Reinhold Heckmann
, Nico Fritz
, Stephan Thesing
, Frank Fontaine
, Henrik Theiling
, Michael Schmidt
, Alexander Evstiougov-Babaev
and Reinhard Wilhelm
Abstract
Zur Validierung des Zeitverhaltens von sicherheitsrelevanten Anwendungen im Rahmen einer Planbarkeitsanalyse werden zuverlässige Abschätzungen von Task-Laufzeiten benötigt. Das automatische Analysewerkzeug aiT bietet eine Alternative zu den oftmals 338 Abbildung 3. aiT f\"
Full Text: PDF