Ferdinand, ChristianKästner, DanielMartin, FlorianLangenbach, MarcSicks, MartinWilhelm, StephanHeckmann, ReinholdFritz, NicoThesing, StephanFontaine, FrankTheiling, HenrikSchmidt, MichaelEvstiougov-Babaev, AlexanderWilhelm, ReinhardDittrich, Klaus R.König, WolfgangOberweis, AndreasRannenberg, KaiWahlster, Wolfgang2019-11-142019-11-1420033-88579-363-6https://dl.gi.de/handle/20.500.12116/29793Zur 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\'deSicherheitEchtzeitzeitgesteuerte SoftwareTTAFlexRayX-by- WirePlanbarkeits-Analyse (Schedulability Analysis)ValidierungLaufzeitbestimmung im schlimmsten Fall (WCET worst case execution time prediction)Text/Conference Paper1617-5468