Dieser Forschungsbereich beschäftigt sich mit der Entwicklung neuer Softwarestandards, Methoden und Werkzeuge zur Verifizierung von sicherheitskritischen, autonomen Systemen. Unser Ziel besteht darin, europaweiter Innovationsführer in der Modellierung und Konstruktion von sicheren und geschützten kooperativen und autonomen Systemen zu werden.
Das Department bietet Zuverlässigkeits-Evaluierung und Bewertung von autonomen und kooperativen Systemen für die Markteinführung von autonomen Systemen. Die Schlüsselkompetenzen dieses Bereichs liegen in Design, Entwicklung, Integration sowie Verifizierung & Validierung von betriebssicheren und zuverlässigen eingebetteten Steuer- und Regelsystemen. Dies betrifft die gesamte Systemarchitektur von der grundlegenden Hardware über Echtzeit-Signalverarbeitung, Sensoren und Auslöser bis hin zur Software für eine Vielzahl verschiedener Anwendungen für autonome und kooperative Systeme.
Auf folgenden Forschungsfeldern sind wir aktiv:- Evaluierung und Bewertung von sicherheitskritischen autonomen und kooperativen Systemen durch die Entwicklung von Methodologien, Werkzeugen und Standards
- Neue Sensortechnologien für kooperative Systeme, basierend auf bestehenden Wireless-Mobilfunknetzen
- Zuverlässige Sensorfusion für autonome und kooperative Systeme
michael.muerling@ait.ac.at