Title: How do we make the case for “Safe” software and AI systems? - the Horizon Example

Author(s): David Slater

Publication Event: Publication of Proceedings of the Thirty second Safety-Critical Systems Symposium

Publication Date: 2024-02-12

Resource URL: https://scsc.uk/r1927.pdf

Abstract:

This short paper outlines the steps for creating an initial FRAM model of a typical software solution to the counter operations Post Office Horizon assisted by ChatGPT 4.0.