Highly Reliable Software and Systems
Dieses Forschungsgebiet konzentriert sich auf die Entwicklung neuer Software-Standards sowie neuer Methoden, Werkzeuge und Prozessansätze für die Verifizierung und Validierung von hoch zuverlässiger und sicherer Software im Bereich der autonomen (z.B. Robotik, Kfz-Technik, Spezialmaschinen, etc.) Systeme, unter besonderer Berücksichtigung der Verkehrsinfrastruktur. Die Kernkompetenzen dieses Gebiets umfassen Design, Entwicklung, Integration sowie Verifizierung und Validierung zuverlässiger und sicherer Systeme. Das Hauptziel ist die Sicherheit von autonomen Systemen, die sich auf die Vision der antidromen Konvergenz von Autonomie und Kooperation in intelligenten Systemen stützt.
Research Field und zugehöriges Research Service:
Marketing and Communications
AIT Austrian Institute of Technology
T: +43 50550 4126
F: +43 50550 4150
Tech Gate Vienna Donau-City-Straße 1
1220 Wien
michael.muerling (at) ait (ac.at)