Highly Reliable Software and Systems

Im Kontext von Verifizierung und Validierung erfordern softwareintensive Systeme entsprechend geeignete Tests, um zu überprüfen ob diese richtig funktionieren und ob sie die spezifischen Anwendungsvorgaben erfüllen. Das Ziel der Aktivitäten in diesem Bereich ist es, durch innovative Methoden den Aufwand dieser Test-Prozesse zu verringern und gleichzeitig die Softwarequalität zu erhöhen.

Darüber hinaus fokussiert dieser Forschungsbereich auf die Entwicklung von neuen Softwarestandards sowie Methoden, Tools und Prozessansätze für die Verifizierung und Validierung hoch zuverlässiger und sicherer Software und Systeme, mit einem speziellen Fokus auf autonome Systeme (z.B. Robotik, Automotive, Spezialmaschinen etc.). Die Kernkompetenzen dieses Forschungsbereichs sind Design, Entwicklung, Integration und die Verifizierung & Validierung von zuverlässigen und sicheren Systemen. Hauptziel ist die Sicherheit von autonomen Systemen, im Kontext von Autonomie und Kooperation in intelligenten Systemen.

Diese Aktivitäten stellen eine wichtige Basis für die erfolgreiche Positionierung des AIT im Bereich der Sicherheitsforschung dar. In diesem Kontext liegt ein Schwerpunkt auf der Industrialisierung unserer innovativen zuverlässigen Systeme zur Testfallgenerierung. Die Industrialisierung von neuen Technologien in diesem Bereich wird durch eine Vielzahl an internationalen Aktivitäten unterstützt, z.B. durch eine neue industrielle Kooperation mit AVL – einem führenden nationalen Automobilzulieferer, durch die Beteiligung am nationalen Kompetenzzentrum „The Virtual Vehicle“, welches sich mit der Entwicklung von anwendungsorientierten Methoden der Fahrzeugentwicklung beschäftigt, und durch das Einbringen unserer Technologien in Projekte europäischer Plattformen sowie im Rahmen vieler ARTEMIS-Projekte (Europäische Technologie- und Forschungsplattform zur Unterstützung der europäischen Industrie beim Ausbau ihrer führenden Rolle im Bereich eingebetteter Systeme).


Research Field und das zugehörige Forschungsangebot für die Industrie (Research Service):

Marketing and Communications

uploads/pics/AIT-DSS_Muerling-Michael_005_150x200px_white_01.jpg
Mag. (FH) Michael Mürling
AIT Austrian Institute of Technology

T: +43 50550 4126
F: +43 50550 4150
Donau-City-Straße 1
1220 Wien


Aktuelle News

--Junior Alpbach: Die Weisheit der Vielen nützt uns allen 27.08.2014 [mehr]
--Open Humanities Awards 2014 zeichnen AIT Experten aus 12.08.2014 [mehr]
--Best Lecturer Award auf internationaler Bildverarbeitungskonferenz SSIP 2014 geht an AIT 12.08.2014 [mehr]
--AIT-Cover-Beitrag am internationalen Laser Focus World Magazine 24.07.2014 [mehr]
--IT Sicherheitskonferenz - "Bits That Byte" 08.07.2014 [mehr]
--Best Paper Award auf internationaler Bildverarbeitungskonferenz CVPR geht an AIT 08.07.2014 [mehr]
--TILAK gewinnt E.T Award 2014 01.07.2014 [mehr]
--AIT lecture at international conference phealth 2014 16.06.2014 [mehr]
--ExpertInnentagung – Emissions- und Energiedatenmanagement 11.06.2014 [mehr]
--Sicher in der Wolke - AIT und EuroCloud 11.06.2014 [mehr]