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

Abstract:
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.