Validierung des Zeitverhaltens von kritischer Echtzeit-Software

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\'

Ferdinand, Christian; Kästner, Daniel; Martin, Florian; Langenbach, Marc; Sicks, Martin; Wilhelm, Stephan; Heckmann, Reinhold; Fritz, Nico; Thesing, Stephan; Fontaine, Frank; Theiling, Henrik; Schmidt, Michael; Evstiougov-Babaev, Alexander; Wilhelm, Reinhard (2003): Validierung des Zeitverhaltens von kritischer Echtzeit-Software. INFORMATIK 2003 – Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-363-6. pp. 335-339. Regular Research Papers. Frankfurt am Main. 29. September - 2. Oktober 2003

Schlagwörter

Sicherheit , Echtzeit , zeitgesteuerte Software , TTA , FlexRay , X-by- Wire , Planbarkeits-Analyse (Schedulability Analysis) , Validierung , Laufzeitbestimmung im schlimmsten Fall (WCET worst case execution time prediction)

Sammlungen

P034 - INFORMATIK 2003 - Innovative Informatikanwendungen - Band 1

Komplettanzeige

Validierung des Zeitverhaltens von kritischer Echtzeit-Software

Volltext URI

Dokumententyp

Dateien

Zusatzinformation

Datum

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Verlag

Zusammenfassung

Beschreibung

Schlagwörter

Zitierform

DOI

Tags

Sammlungen