All Outputs (3)

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.

Safety analysis of clinical workflows: The case of the workflow within a radiology department (2014)
Presentation / Conference Contribution
Gordon, N., Sharvia, S., Walker, M., & Al-Qora'n, L. Safety analysis of clinical workflows: The case of the workflow within a radiology department. Presented at 2014 Science and Information Conference

This paper was originally presented at the Science and Information Conference, 2014, 27-29 August, London. Abstract: Radiology Information Systems (RIS) and Picture Archiving and Communication systems (PACS) are used widely to help in the workflow ma... Read More about Safety analysis of clinical workflows: The case of the workflow within a radiology department.

Non-coherent modelling in compositional fault tree analysis (2008)
Presentation / Conference Contribution
Sharvia, S., & Papadopoulos, Y. I. Non-coherent modelling in compositional fault tree analysis

The inclusion of NOT gates in a fault tree creates a 'non-coherent' structure in which not only the failure of a component but also the negation of failure, i.e. the working state of the component, can contribute to the undesirable effects on a syste... Read More about Non-coherent modelling in compositional fault tree analysis.