arcade-renext

Preprint & Supplementary Material

We present on this page the supplementary material regarding the paper ARCADE: a Framework for Integrated Management of Safety Assurance Information.

Paper published at 31st Requirements Engineering Conference, RE 2023. Please cite as: C. Almendra and C. Silva, “ARCADE: a Framework for Integrated Management of Safety Assurance Information”, 2023 IEEE 31st International Requirements Engineering Conference (RE), Hannover, Germany, 2023.

Authors

Camilo Almendra, PhD candidate at CIn/UFPE, member of DARE research group, professor at UFC http://www.quixada.ufc.br
Dr. Carla Silva, leader of DARE research group, associate professor at CIn/UFPE http://www.cin.ufpe.br/~dare

Abstract (of the paper)

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.

Preprint

Article: https://github.com/arcade-framework/arcade-renext/blob/main/Almendra_Silva_RENEXT_2023_preprint.pdf

Supplementary material: https://github.com/arcade-framework/arcade-renext/blob/main/Almendra_Silva_RENEXT_2023_SupplementaryMaterial.pdf

Since you are here…

If you work with Safety Assurance Cases, Requirements Engineering, or Safety-critical Systems development, please consider participating in the industry evaluation of the ARCADE: https://arcade-framework.github.io/