12 citations
- City, University of LondonGB5 papers
- SRI InternationalUS3 papers
- Kanagawa UniversityJP2 papers
- Nagoya UniversityJP2 papers
- City St George's, University of LondonGB1 paper
- Honeywell (United States)US1 paper
- Imperial College LondonGB1 paper
- Menlo SchoolUS1 paper
- The University of Texas at DallasUS1 paper
- Universidad Rey Juan CarlosES1 paper
- University of North Texas at DallasUS1 paper
4 papers · 1 filter
Confidence in Assurance 2.0 Cases
Robin Bloomfield, John Rushby
An assurance case should provide justifiable confidence in the truth of a claim about some critical property of a system or procedure, such as safety or security. We consider how c…
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…