ProjectISO-Check – Automatisierte Überprüfung der RTE-Generierung zur Qualifizierung gemäß ISO26262
Basic data
Acronym:
ISO-Check
Title:
Automatisierte Überprüfung der RTE-Generierung zur Qualifizierung gemäß ISO26262
Duration:
01/04/2015 to 31/03/2016
Abstract / short description:
Der Gegenstand dieses Einzelvertrags zum Thema „Automatisierte Überprüfung der RTE-Generierung zur Qualifizierung gemäß ISO26262 (ISO-Check)“ ist die Durchführung von Forschungsarbeiten und prototypischen Implementierungen zur Unterstützung der Firma Vector Informatik bei der Entwicklung einer Verifikationsumgebung zur Überprüfung der AUTOSAR RTE-Generierung für eine Qualifizierung gemäß ISO26262.
Keywords:
Funktionale Sicherheit
Automatisierte Softwarequalifizierung
AUTOSAR
ISO26262
Involved staff
Managers
Faculty of Science
University of Tübingen
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science
Department of Informatics, Faculty of Science
Contact persons
Faculty of Science
University of Tübingen
University of Tübingen
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics, Faculty of Science
Department of Informatics, Faculty of Science
Local organizational units
Wilhelm Schickard Institute of Computer Science (WSI)
Department of Informatics
Faculty of Science
Faculty of Science
Funders
Stuttgart, Baden-Württemberg, Germany