4 citations · 11 across the 5 of their papers we have counts for
5 papers
Assessing Confidence with Assurance 2.0
Robin Bloomfield, John Rushby
An assurance case is intended to provide justifiable confidence in the truth of its top claim, which typically concerns safety or security. A natural question is then "how much" co…
Safety Case Templates for Autonomous Systems
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +2
This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document…
Assurance 2.0: A Manifesto
Robin Bloomfield, John Rushby
System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-r…
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +8
This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS…
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +8
This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS…