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

--New Cybersecurity Tool 15.04.2014 [mehr]
--Historische Rasterfahndung: Suchmaschine im Aufbau 15.04.2014 [mehr]
--Nationales eHealth Event als Fortbildungsveranstaltung zugelassen 15.04.2014 [mehr]
--eHealth2014 11.04.2014 [mehr]
--Best Paper Award at "SPIE Electronic Imaging Conference“ in San Francisco 01.04.2014 [mehr]
--Cybersecurity Lecture Series 2014 31.03.2014 [mehr]
--Die Werkzeuge der Geheimdienste 31.03.2014 [mehr]
--AIT technologies at Singapore Airshow 06.03.2014 [mehr]
--AIT ICT Security Panel in Washington DC 06.03.2014 [mehr]
--1st Short-term Visual Object Tracking Challenge in Sydney successfully accomplished 12.02.2014 [mehr]