All Outputs (3)

Andromeda: A model-connected framework for safety assessment and assurance (2024)
Journal Article
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

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 pe... Read More about Andromeda: A model-connected framework for safety assessment and assurance.

Model-connected safety cases (2020)
Thesis
Retouniotis, A. Model-connected safety cases. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4223157

Regulatory authorities require justification that safety-critical systems exhibit acceptable levels of safety. Safety cases are traditionally documents which allow the exchange of information between stakeholders and communicate the rationale of how... Read More about Model-connected safety cases.

Model-connected safety cases (2017)
Presentation / Conference Contribution
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. Model-connected safety cases

© 2017, Springer International Publishing AG. We propose the concept of a model-connected safety case that could simplify certification of complex systems. System design models support the synthesis of both the structure of the safety case and the ev... Read More about Model-connected safety cases.