Camilo C. Almendra

dblp:252/8867 · also Camilo Camilo Almendra · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
2since 2021 · last 2023
0000-0002-2375-3828ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2023 ARCADE: A Framework for Integrated Management of Safety Assurance Information
abstract
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.
Camilo C. Almendra, Carla T. L. L. Silva
RE1
2022 How assurance case development and requirements engineering interplay: a study with practitioners
Camilo C. Almendra, Carla T. L. L. Silva, Luiz Eduardo Galvão Martins, Johnny Cardoso Marques
Requir. Eng.1
2020 Using empirical studies to mitigate symbol overload in iStar extensions
Enyo J. T. Gonçalves, Camilo C. Almendra, Miguel Goulão, João Araújo 0001, Jaelson Brelaz de Castro
Softw. Syst. Model.2