[HTML][HTML] Should healthcare providers do safety cases? Lessons from a cross-industry review of safety case practices

MA Sujan, I Habli, TP Kelly, S Pozzi, CW Johnson - Safety science, 2016 - Elsevier
Healthcare organisations are often encouraged to learn from other industries in order to
develop proactive and rigorous safety management practices. In the UK safety–critical …

Graphical safety assurance case using Goal Structuring Notation (GSN)—challenges, opportunities and a framework for autonomous trains

M Chelouati, A Boussif, J Beugin… - Reliability Engineering & …, 2023 - Elsevier
The development of fully autonomous vehicles is an ambition that took seed in the
automotive industry a few years ago and is now growing in the railways considering their …

Engineering trustworthy self-adaptive software with dynamic assurance cases

R Calinescu, D Weyns, S Gerasimou… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
Building on concepts drawn from control theory, self-adaptive software handles
environmental and internal uncertainties by dynamically adjusting its architecture and …

Model accuracy and runtime tradeoff in distributed deep learning: A systematic study

S Gupta, W Zhang, F Wang - 2016 IEEE 16th International …, 2016 - ieeexplore.ieee.org
Deep learning with a large number of parametersrequires distributed training, where model
accuracy and runtimeare two important factors to be considered. However, there hasbeen …

Dynamic safety cases for through-life safety assurance

E Denney, G Pai, I Habli - 2015 IEEE/ACM 37th IEEE …, 2015 - ieeexplore.ieee.org
We describe dynamic safety cases, a novel operationalization of the concept of through-life
safety assurance, whose goal is to enable proactive safety management. Using an example …

Model based system assurance using the structured assurance case metamodel

R Wei, TP Kelly, X Dai, S Zhao, R Hawkins - Journal of Systems and …, 2019 - Elsevier
Assurance cases are used to demonstrate confidence in system properties of interest (eg
safety and/or security). A number of system assurance approaches are adopted by …

[图书][B] Delivering resilient health care

E Hollnagel, J Braithwaite, RL Wears - 2018 - books.google.com
Health care is under tremendous pressure regarding efficiency, safety, and economic
viability. It has responded by adopting techniques that have been useful in other industries …

A pattern for arguing the assurance of machine learning in medical diagnosis systems

C Picardi, R Hawkins, C Paterson, I Habli - Computer Safety, Reliability …, 2019 - Springer
Abstract Machine Learning offers the potential to revolutionise healthcare with recent work
showing that machine-learned algorithms can achieve or exceed expert human …

Resolute: an assurance case language for architecture models

A Gacek, J Backes, D Cofer, K Slind… - ACM SIGAda Ada …, 2014 - dl.acm.org
Arguments about the safety, security, and correctness of a complex system are often made in
the form of an assurance case. An assurance case is a structured argument, often …

A principles-based ethics assurance argument pattern for AI and autonomous systems

Z Porter, I Habli, J McDermid, M Kaas - AI and Ethics, 2024 - Springer
An assurance case is a structured argument, typically produced by safety engineers, to
communicate confidence that a critical or complex system, such as an aircraft, will be …