ConVeY - Continuous Verification of CYber-Physical Systems
DFG: Graduiertenkolleg 2428
Netzwerke, Computer, Sensoren und Aktoren sind zunehmend in cyber-physische Systeme integriert, und eine zunehmende Anzahl dieser Systeme arbeitet in sicherheitskritischen Bereichen. Beispiele hierfür sind autonome Fahrzeuge, robotergestützte Chirurgie, Verkehrssteuerung, Mensch-Roboter-Zusammenarbeit und intelligente Stromnetze.
Die physische Umgebung der Systeme ändert sich während der Laufzeit in einer Weise, die nicht immer vorhersehbar ist. Außerdem können sich die Anforderungen an die Systeme im Laufe der Zeit ändern. Um diesen Umständen zu begegnen, führt das Graduiertenkolleg "ConVeY" Forschung durch, deren Ergebnisse es ermöglichen sollen, das Verhalten der Systeme während Entwicklung und Betrieb kontinuierlich auf Korrektheit zu prüfen.
ConVeY ist eine gemeinsame Initiative der LMU München und der TU München. Es bietet seinen Promovierenden ein umfassendes Qualifizierungsprogramm.