Assurance Case

Assurance cases are structured arguments demonstrating the safety and reliability of complex systems, particularly crucial for safety-critical applications like autonomous vehicles. Current research emphasizes improving the robustness and efficiency of assurance case creation through automated methods, including the use of large language models to identify potential weaknesses (defeaters) and formal methods to verify claims. This work aims to enhance confidence in system safety by addressing human fallibility and improving the comprehensiveness of the argumentation process, impacting both the certification of complex systems and the development of trustworthy AI.