39 citations · 70 across the 8 of their papers we have counts for
8 papers
Safety Assessment for Autonomous Systems' Perception Capabilities
John Molloy, John McDermid
Autonomous Systems (AS) are increasingly proposed, or used, in Safety Critical (SC) applications. Many such systems make use of sophisticated sensor suites and processing to provid…
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)
Richard Hawkins, Rob Alexander, Matt Osborne +4
Autonomous systems (AS) are systems that have the capability to take decisions free from direct human control. AS are increasingly being considered for adoption for applications wh…
A Principles-based Ethics Assurance Argument Pattern for AI and Autonomous Systems
Zoe Porter, Ibrahim Habli, John McDermid +1
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 accept…
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare
Yan Jia, John McDermid, Tom Lawton +1
Established approaches to assuring safety-critical systems and software are difficult to apply to systems employing ML where there is no clear, pre-defined specification against wh…
A Framework for Assurance of Medication Safety using Machine Learning
Yan Jia, Tom Lawton, John McDermid +2
Medication errors continue to be the leading cause of avoidable patient harm in hospitals. This paper sets out a framework to assure medication safety that combines machine learnin…
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models
Ibrahim Habli, Rob Alexander, Richard Hawkins +4
Simulation models have been informing the COVID-19 policy-making process. These models, therefore, have significant influence on risk of societal harms. But how clearly are the und…
Nothing is Certain but Doubt and Tests
John A. McDermid
Effective software safety standards will contribute to confidence, or assurance, in the safety of the systems in which the software is used. It is infeasible to demonstrate a corre…
Large-scale Complex IT Systems
Ian Sommerville, Dave Cliff, Radu Calinescu +5
This paper explores the issues around the construction of large-scale complex systems which are built as 'systems of systems' and suggests that there are fundamental reasons, deriv…