ProjektISO-Check – Automatisierte Überprüfung der RTE-Generierung zur Qualifizierung gemäß ISO26262
Grunddaten
Akronym:
ISO-Check
Titel:
Automatisierte Überprüfung der RTE-Generierung zur Qualifizierung gemäß ISO26262
Laufzeit:
01.04.2015 bis 31.03.2016
Abstract / Kurz- beschreibung:
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.
Schlüsselwörter:
Funktionale Sicherheit
Automatisierte Softwarequalifizierung
AUTOSAR
ISO26262
Beteiligte Mitarbeiter/innen
Leiter/innen
Mathematisch-Naturwissenschaftliche Fakultät
Universität Tübingen
Universität Tübingen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Ansprechpartner/innen
Mathematisch-Naturwissenschaftliche Fakultät
Universität Tübingen
Universität Tübingen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät
Lokale Einrichtungen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik
Mathematisch-Naturwissenschaftliche Fakultät
Mathematisch-Naturwissenschaftliche Fakultät
Geldgeber
Stuttgart, Baden-Württemberg, Deutschland