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.