Der nächste große Innovationsschritt in der Automobilbranche wird der Übergang zu immer umfassenderen Fahrerassistenzsystemen (ADAS) und automatischen Fahrfunktionen (ADF) sein. Vollautomatisiert fahrende Fahrzeuge müssen jederzeit in der Lage sein, alle möglichen Verkehrs- und Notsituationen sicher zu bewältigen. Ein entscheidendes Kriterium für die Einführung und gesellschaftliche Akzeptanz von ADF ist die Erhaltung oder Verbesserung dieses hohen Sicherheitsniveaus. Um dies zu gewährleisten sind effiziente Test- und Validierungstechniken unabdingbar. BTC-ES hat spezifisches Know-How im Bereich formaler Prüfungen für sicherheitskritische Systeme. Dieses Know-How wird BTC-ES einbringen, um automatisiert eine formale Prüfung von Anforderungen für ADAS und ADF Systeme zu ermöglichen. Diese geprüften Anforderungen sind dann eine solide Basis für die folgenden Engineering Phasen. In ENABLE-S3 wird BTC an der formalen Spezifikation von sicherheitskritischen Anforderungen arbeiten. Aus diesen formalen Anforderungen können C-Observer generiert werden, die als Diagnoseeinheiten in Testumgebungen eingebettet werden können. Weiterhin strebt BTC an, formale Spezifikationenen auf Konsistenz und Korrektheit zu prüfen, um schon früh Fehler und Inkonsistenzen in den Anforderungen aufzudecken. Dazu muss das existierende Werkzeug BTC EmbeddedSpecifier um entsprechende formale Checks erweiter werden. BTC-ES wird den Use Case Provider DENSO Automotive aktiv bei der Formalisierung seiner Anforderungen sowie bei der Anwendung der formalen Methoden unterstützen.
Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Formale Spezifikation und formales Testen - Vollständigkeit, Konsistenz und Korrektheit
Laufzeit:
01.06.2016
- 30.04.2019
Förderkennzeichen: 16ESE0145
Koordinator: BTC Embedded Systems AG
Verbund:
Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen
Quelle:
Bundesministerium für Bildung und Forschung (BMBF)
Redaktion:
DLR Projektträger
Länder / Organisationen:
Österreich
Belgien
Tschechische Republik
Dänemark
Spanien
Finnland
Frankreich
Vereinigtes Königreich (Großbritannien)
Irland
Italien
Niederlande
Norwegen
Polen
Portugal
Themen:
Förderung
Information u. Kommunikation
Weitere Informationen
Weitere Teilprojekte des Verbundes
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Modellbasierte Verifikation und Validierung
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Automatisiertes Linksabbiegen an Kreuzungen - Validierung durch Experimente
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Testplattform für automatisierte cyber-physische Systeme und Fahrerassistenzsysteme
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Semi-Virtuelles Testen
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Validierung verteilter Systeme
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Methoden für Verifikation und Validierung hardwarebasierter Sicherheitsmechanismen
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: GPS Hardware in the Loop Simulation, Radar Stimulation
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Interoperabilität von Entwicklungswerkzeugen und Standardisierung
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Valet Parking Parkmanagement-System
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Sicherheitsarchitektur und Sensormodellierung für automatisiertes Valet-Parken
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Simulation und Absicherung automatisierter Systeme
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Systemsimulationsmodelle für das automatisierte Fahren
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Modelle und Werkzeuge zur Simulation automatisierter cyber-physischer Systeme
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Sichere Flugzeugkommunikation durch flexible Architektur der Kabinenkommunikation
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Validierungsmethodik auf Fahrzeugprüfständen
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Verifikation von automatisierten Systemen
- Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Architektur und Sicherheitsnachweis für automatisiertes Valet-Parken