Assurance Cases as Foundation Stone for Auditing AI-enabled and Autonomous Systems: Workshop Results and Political Recommendations for Action from the ExamAI Project
Rasmus Adler, Michael Klaes

TL;DR
This paper advocates for using assurance cases as a flexible safety argument framework for AI and ML-based autonomous systems, addressing limitations of traditional safety standards.
Contribution
It proposes replacing SIL-based safety measures with assurance cases for AI safety, supported by workshop discussions and alignment with European AI regulations.
Findings
Assurance cases are suitable for AI safety argumentation.
Workshop discussions support the feasibility of assurance cases.
Alignment with European AI regulations is feasible.
Abstract
The European Machinery Directive and related harmonized standards do consider that software is used to generate safety-relevant behavior of the machinery but do not consider all kinds of software. In particular, software based on machine learning (ML) are not considered for the realization of safety-relevant behavior. This limits the introduction of suitable safety concepts for autonomous mobile robots and other autonomous machinery, which commonly depend on ML-based functions. We investigated this issue and the way safety standards define safety measures to be implemented against software faults. Functional safety standards use Safety Integrity Levels (SILs) to define which safety measures shall be implemented. They provide rules for determining the SIL and rules for selecting safety measures depending on the SIL. In this paper, we argue that this approach can hardly be adopted with…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSafety Systems Engineering in Autonomy
