Andromeda: A model-connected framework for safety assessment and assurance

Retouniotis, Athanasios; Papadopoulos, Yiannis; Sorokos, Ioannis

Abstract

Safety is a key factor in the development of critical systems, encompassing both conventional types, such as aircraft, and modern technologies, such as autonomous vehicles. Failures during their operation can be potentially far-reaching and impact people and the environment. To certify these systems and enable their employment, regulatory bodies require, among others, a safety case. However, the growing complexity of modern systems and iterative nature of development pose significant challenges to the traditional approaches for creating safety cases that are still used in practice. Furthermore, safety cases are often generated in an ad-hoc manner and remain disconnected from system models and related artefacts. Without these connections it is difficult to construct the proper infrastructure for producing and maintaining safety cases in a structured manner throughout the system lifecycle. This paper presents our innovative method, Andromeda, and its underpinning metamodel, which establish connections between safety cases, system models, safety assessment activities aligned with international safety standards, and argument patterns. Automation is applied across various stages of the production of argument structures that support safety assurance and certification activities. Andromeda is complemented by tool-support designed to facilitate its application, and we demonstrate our work through a case study from the aviation industry.

Citation

Retouniotis, A., Papadopoulos, Y., & Sorokos, I. (2025). Andromeda: A model-connected framework for safety assessment and assurance. Journal of Systems and Software, 220, Article 112256. https://doi.org/10.1016/j.jss.2024.112256

• Journal Article Type: Article
• Acceptance Date: Oct 8, 2024
• Online Publication Date: Oct 15, 2024
• Publication Date: Feb 1, 2025
• Deposit Date: Oct 11, 2024
• Publicly Available Date: Nov 11, 2024
• Journal: Journal of Systems and Software
• Print ISSN: 0164-1212
• Publisher: Elsevier
• Peer Reviewed: Peer Reviewed
• Volume: 220
• Article Number: 112256
• DOI: https://doi.org/10.1016/j.jss.2024.112256
• Keywords: Safety cases; Model-based assurance; Automation; Argument patterns
• Public URL: https://hull-repository.worktribe.com/output/4864786