Author: robinbloomfield
-
Automatic synthesis of CAE
3 min talk and demo of a research tool to synthesis Assurance 2.0 cases. Given at Assure 2024.
-
What might go wrong with AI safety and security?
This post looks at what can be learned from engineering critical systems. It summarises a paper written from FAISC and on arxiv.
-
Resilience – Type 1 and Type 2 (coming soon)
Complex systems will fail, so they need to be resilient. Type 1 deals with known issues we engineer for and Type 2 those we exclude and the unknown unknowns.
-
Assurance 2.0 News
This post will provide news on Assurance 2.0.