Steuerungssysteme, die die korrekte Funktionsweise eines Gerätes oder einzelner Komponenten eines Systems sicherstellen, kommen vielerorts zum Einsatz – sei es bei der Temperaturregelung im heimischen Kühlschrank, im Tempomat eines Autos oder bei der Überwachung verschiedener Produktionsschritte in einer Fabrik. In allen drei Beispielen würde ein Versagen des Steuerungssystems negative Konsequenzen nach sich ziehen.
„Deshalb sind diese Systeme von Haus aus so konzipiert, dass sie robust gegenüber Störungen sind“, sagt die Informatik-Professorin Martina Maggio, die seit 2020 an der Universität des Saarlandes lehrt und an der Schnittstelle von Regelungstechnik und der Entwicklung von Computersystemen forscht.
Auch Leistungseinbußen messen
Bisher stand im Fokus der Forschung vor allem die Ausfallsicherheit von Steuerungssystemen, also wie viele Signalausfälle so ein System verkraften kann, bevor es komplett versagt. „Stabilität ist zwar ein wichtiger Indikator für die Widerstandsfähigkeit eines Steuerungssystems, aber unserer Meinung nach sollten die Analysen feingranularer sein. Was passiert, wenn ein Sensor oder ein Antrieb ein Signal zwar empfängt, die Steuerungseinheit aber ihre ‚Deadline‘ verpasst und ihr Steuerungssignal mit einer Verzögerung weitergibt?", so die Professorin.
Hier setzt die Forschergruppe um Martina Maggio an: Im Gegensatz zu bisherigen Verfahren erfasst der neue Ansatz des internationalen Teams nicht nur, ob ein Steuerungssystem ausfallsicher ist oder nicht, sondern auch, ab wann es zu Leistungseinbußen kommt. Die Wissenschaftler können ebenfalls feststellen, wie lange ein System nach einem Leistungseinbruch braucht, um wieder zu seiner vollen Leistungsfähigkeit zurückzukehren.
„Unsere Methode ist somit in der Lage aufzuzeigen, dass eine Steuerung möglicherweise nicht so robust ist, wie aufgrund der bisherigen Maßstäbe vermutet wurde. Denn schon vor dem vollständigen Ausfall eines Systems kann es zu unerwünschtem und sogar gefährlichem Systemverhalten kommen, das man mit unserer Methode frühzeitig erkennen und somit vermeiden kann“, erklärt die Saarbrücker Informatikerin.
Investitionen verbessern
Mit dem Analyseverfahren kann genau ermittelt werden, wie viele sogenannter „Deadline Misses“ eine Steuerung verträgt, bevor die Leistungsfähigkeit über ein noch tragbares Level hinaus nachlässt. Dadurch lassen sich die Systeme auch verbessern. So kann bestimmt werden, wann an welchen Stellen mehr Ressourcen in ein Steuerungssystem investiert werden müssen, um die Leistungsfähigkeit aufrecht zu erhalten.
Aber auch, wo möglicherweise zu viel investiert wird und durch eine Entspannung der Vorgaben Rechenleistung eingespart werden kann. Die Forscher haben ihre Methode anhand eines Benchmark-Sets aus 133 Systemen getestet, die als repräsentativ für industrielle Steuerungsanlagen gelten. Auf diese Weise konnten sie zeigen, dass die von ihnen vorgeschlagene Leistungsanalyse die Systemleistung in der Realität gut annähert.
Arbeit wurde ausgezeichnet
Für die Arbeit, die Martina Maggio an der Universität Lund begonnen hat und in Zusammenarbeit mit ihren Doktoranden Nils Vreman und Anton Cervin (beide Universität Lund, Schweden) durchgeführt hat, wurden sie gemeinsam auf der „Euromicro Conference on Real-Time Systems (ECRTS) 2021“ mit einem „Best Paper Award“ ausgezeichnet. Die Arbeit wird im Rahmen des Horizon 2020-Projekts ADMORPH der Europäischen Union durchgeführt
