Verifying Safety of Safety-Critical Systems with Rare Events via Optimistic Optimization

Henning-Günther, Tabea und Grujic, Daniel und Werner, Tino und Weber, Lars und Neurohr, Birte und Möhlmann, Eike (2025) Verifying Safety of Safety-Critical Systems with Rare Events via Optimistic Optimization. IEEE Open Journal of Intelligent Transportation Systems. IEEE - Institute of Electrical and Electronics Engineers. doi: 10.1109/OJITS.2025.3638166. ISSN 2687-7813.

PDF - Verlagsversion (veröffentlichte Fassung)
1MB

Offizielle URL: https://ieeexplore.ieee.org/document/11271315

elib-URL des Eintrags:

https://elib.dlr.de/220832/

Dokumentart:

Zeitschriftenbeitrag

Titel:

Verifying Safety of Safety-Critical Systems with Rare Events via Optimistic Optimization

Autoren:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Henning-Günther, Tabea	tabea.henning-guenther (at) dlr.de	https://orcid.org/0000-0001-5624-3771	NICHT SPEZIFIZIERT
Grujic, Daniel	daniel.grujic (at) dlr.de	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Werner, Tino	tino.werner (at) dlr.de	https://orcid.org/0000-0002-3512-8667	NICHT SPEZIFIZIERT
Weber, Lars	lars.weber (at) dlr.de	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Neurohr, Birte	birte.neurohr (at) dlr.de	https://orcid.org/0000-0002-9982-0206	NICHT SPEZIFIZIERT
Möhlmann, Eike	Eike.Moehlmann (at) dlr.de	https://orcid.org/0000-0003-3815-6353	NICHT SPEZIFIZIERT

Datum:

2025

Erschienen in:

IEEE Open Journal of Intelligent Transportation Systems

Referierte Publikation:

Open Access:

Gold Open Access:

In SCOPUS:

Nein

In ISI Web of Science:

DOI:

10.1109/OJITS.2025.3638166

Verlag:

IEEE - Institute of Electrical and Electronics Engineers

ISSN:

2687-7813

Status:

veröffentlicht

Stichwörter:

Safety verification, safety-critical systems, optimistic optimization, statistical model checking, rare events

HGF - Forschungsbereich:

Luftfahrt, Raumfahrt und Verkehr

HGF - Programm:

Verkehr

HGF - Programmthema:

Straßenverkehr

DLR - Schwerpunkt:

Verkehr

DLR - Forschungsgebiet:

V ST Straßenverkehr

DLR - Teilgebiet (Projekt, Vorhaben):

V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC

Standort:

Oldenburg

Institute & Einrichtungen:

Institut für Systems Engineering für zukünftige Mobilität

Hinterlegt von:

Werner, Dr. Tino

Hinterlegt am:

19 Jan 2026 06:52

Letzte Änderung:

19 Jan 2026 06:52

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags