Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071)

Jyotirmoy V. Deshmukh, Bettina Könighofer, Dejan Nickovic, Filip Cano

Research output: Chapter in Book or Conference ProceedingsReport Chapter

Abstract

This report documents the program and the outcomes of the Dagstuhl Seminar "Safety Assurance for Autonomous Mobility" (24071). The seminar brought together an interdisciplinary group of researchers and practitioners from the fields of formal methods, cyber-physical systems, and artificial intelligence, with a common interest in autonomous mobility. Through a series of talks, working groups, and open problem discussions, participants explored the challenges and opportunities associated with ensuring the safety of autonomous systems in various domains, including industrial automation, automotive, railways, and aerospace. Key topics addressed included the need for industrial-grade autonomous products to operate reliably in safety-critical environments, highlighting the lack of standardized procedures for obtaining safety certifications for AI-based systems. Recent advancements in the verification and validation (V&V) of autonomous mobility systems were presented, focusing on requirements verification, testing, certification, and correct-by-design approaches. Overall, the seminar provided a comprehensive overview of the current state and future directions in safe autonomous mobility, emphasizing the need for interdisciplinary collaboration and innovation to address the complex challenges in this rapidly evolving field.
Original languageEnglish
Title of host publicationDagstuhl Reports
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages95-119
Volume14
DOIs
Publication statusPublished - 2024
EventDagstuhl Seminar 24071
: Safety Assurance for Autonomous Mobility
- Schloss dagstuhl, Wadern , Germany
Duration: 11 Feb 202416 Feb 2024
https://www.dagstuhl.de/en/seminars/seminar-calendar/seminar-details/24071

Seminar

SeminarDagstuhl Seminar 24071
Country/TerritoryGermany
CityWadern
Period11/02/2416/02/24
Internet address

Research Field

  • Dependable Systems Engineering

Fingerprint

Dive into the research topics of 'Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071)'. Together they form a unique fingerprint.

Cite this