Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151)

Authors Elena Troubitsyna, Ignacio J. Alvarez, Philip Koopman, Mario Trapp and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.14.4.23.pdf
  • Filesize: 2.39 MB
  • 19 pages

Document Identifiers

Author Details

Elena Troubitsyna
  • KTH Royal Institute of Technology - Stockholm, SE
Ignacio J. Alvarez
  • Intel - Hillsboro, US
Philip Koopman
  • Carnegie Mellon University - Pittsburgh, US
Mario Trapp
  • TU München, DE
and all authors of the abstracts in this report

Cite AsGet BibTex

Elena Troubitsyna, Ignacio J. Alvarez, Philip Koopman, and Mario Trapp. Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151). In Dagstuhl Reports, Volume 14, Issue 4, pp. 23-41, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/DagRep.14.4.23

Abstract

Autonomous systems rely increasingly on Artificial Intelligence (AI) and Machine Learning (ML) for implementing safety-critical functions. It is widely accepted that the use of AI/ML is disruptive for safety engineering methods and practices. Hence, the problem of safe AI for autonomous systems has received a significant amount of research and industrial attention over the last few years. Over the past decade, multiple approaches and divergent philosophies have appeared in the safety and ML communities. However, real-world events have clearly demonstrated that the safety assurance problem cannot be resolved solely by improving the performance of ML algorithms. Hence, the research communities need to consolidate their efforts in creating methods and tools that enable a holistic approach to safety of autonomous systems. This motivated the topic of our Dagstuhl Seminar - exploring the problem of engineering and safety assurance of autonomous systems from an interdisciplinary perspective. As a result, the discussions of achievements and challenges spanned over a broad range of technological, organizational, ethical and legal topics summarized in this document.

Subject Classification

ACM Subject Classification
  • Computing methodologies → Artificial intelligence
  • Computer systems organization → Dependable and fault-tolerant systems and networks
  • Computer systems organization → Embedded systems
  • Hardware → Safety critical systems
  • Software and its engineering
Keywords
  • ai
  • safety assurance
  • safety-critical autonomous systems
  • simulation-based verification and validation
  • software engineering

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail