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
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät

Ansprechpartner/innen

Mathematisch-Naturwissenschaftliche Fakultät
Universität Tübingen
Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik, Mathematisch-Naturwissenschaftliche Fakultät

Lokale Einrichtungen

Wilhelm-Schickard-Institut für Informatik (WSI)
Fachbereich Informatik
Mathematisch-Naturwissenschaftliche Fakultät

Geldgeber

Stuttgart, Baden-Württemberg, Deutschland
Hilfe

wird permanent gelöscht. Dies kann nicht rückgängig gemacht werden.