All Outputs (2)

Model-connected safety cases (2017)
Journal Article
Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D., Matragkas, N., & Sharvia, S. (2017). Model-connected safety cases. Lecture notes in computer science, 10437 LNCS, 50-63. https://doi.org/10.1007/978-3-319-64119-5_4

© 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.

Generation of model-based safety arguments from automatically allocated safety integrity levels (2017)
Thesis
Sorokos, I. (2017). Generation of model-based safety arguments from automatically allocated safety integrity levels. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4222118

To certify safety-critical systems, assurance arguments linking evidence of safety to appropriate requirements must be constructed. However, modern safety-critical systems feature increasing complexity and integration, which render manual approaches... Read More about Generation of model-based safety arguments from automatically allocated safety integrity levels.