Wed 6 Sep 2023 14:15 - 14:45 at f128 - Safety Chair(s): Jaelson Castro

Assurance Case Development is an emerging approach for demonstrating that a system is safe. An assurance case includes top-level claims for a property of a system (e.g., safety) and a structured argumentation that breaks down claims into supporting evidence. Its production is an effortful activity that relies on project information and its associated traceability. It is challenging for developers to build assurance cases as they have to identify and gather the project information relevant to the argumentation and assess its consistency and completeness. However, regular project information (e.g. requirements, design, rationale) and assurance-related information (e.g. hazard, causes, mitigation strategies) are likely managed separately. In this context, we designed the ARCADE framework to support the integration of assurance information together with regular information inside project management tools, and to perform automated consistency/completeness analysis and generation of assurance cases. Thus, our approach promotes early and continuous review of traceability information needed to produce assurance cases, while automating their construction. In this work, we present the design of the framework and its current implementation.

Slides available at:

Wed 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:45 - 15:15
SafetyArtifacts / RE@Next! Papers / Journal-First at f128
Chair(s): Jaelson Castro Universidade Federal de Pernambuco
Ergo, SMIRK is Safe: A Safety Case for a Machine Learning Component in a Pedestrian Automatic Emergency Brake System
A: Markus Borg CodeScene, A: Jens Henriksson Semcon, dept. Software and Emerging Tech, Gothenburg, A: Kasper Socha RISE Research Institutes of Sweden, A: Olof Lennartsson , A: Elias Sonnsjö , A: Thanh Bui RISE Research Institutes of Sweden , A: Piotr Tomaszewski RISE Research Institutes of Sweden, A: Sankar Raman Sathyamoorthy QRTECH, A: Sebastian Brink Combitech, A: Mahshid Helali Moghadam Scania R&D
Link to publication DOI File Attached
ARCADE: a Framework for Integrated Management of Safety Assurance Information
RE@Next! Papers
A: Camilo Almendra Universidade Federal do Ceará, A: Carla Silva Universidade Federal de Pernambuco
ILLOD Replication Package: An Open-Source Framework for Abbreviation-Expansion Pair Detection and Term Consolidation in RequirementsBest Artifact
A: Hussein Hasso Fraunhofer FKIE, A: Katharina Großer University of Koblenz, A: Iliass Aymaz Fraunhofer FKIE, A: Hanna Geppert Fraunhofer FKIE, A: Jan Jürjens University of Koblenz-Landau
DOI Pre-print File Attached