Echtzeitanomalien: Automatisiertes Testen der Zuverlässigkeit realer Systeme mit Hilfe von Zeit-Fault Injection

Konferenz: MBMV 2020 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - GMM/ITG/GI-Workshop
19.03.2020 - 20.03.2020 in Stuttgart, Deutschland

Tagungsband: GMM-Fb. 96: MBMV 2020

Seiten: 9Sprache: DeutschTyp: PDF

Autoren:
Brand, Max; Mayer, Albrecht (Infineon Technologies AG, Neubiberg, Deutschland)
Slomka, Frank (Universität Ulm, Ulm, Deutschland)

Inhalt:
Harte Echtzeitsysteme sind in der Automobilindustrie ausfallsicher zu entwerfen. Um diese Sicherheit zu gewährleisten, werden die Systeme einerseits bereits vor der Implementierung simuliert und andererseits während und nach der Implementierung durch Tests validiert. Die Validierung erfolgt hierbei unter anderem durch gezieltes Stören des Systems, indem absichtlich Fehler eingebracht werden. Wir wollen den Ansatz dieser Fehlerinjektion durch das künstliche Einbringen von Stress ergänzen, wodurch getestet werden soll, ob das Echtzeitsystem weiterhin alle Anforderungen erfüllt, wenn es durch ein unerwartetes Ereignis verlangsamt und dadurch gestresst wird. Anhand von Untersuchungen an einer realen Implementierung präsentieren wir erste Ergebnisse, wie sich Echtzeitsysteme verhalten, wenn sie Stress ausgesetzt werden.