AI Assurance Needs a Systems Engineering Approach
Robin Bloomfield (City St Georges) and John Rushby (SRI)
Position paper, ASSURE Workshop, part of 36th IEEE
International Symposium on Software Reliability Engineering (ISSRE), Sao Paulo Brazil, October 2025. In Proceedings ISSREW pp. 157--158
Abstract
As systems become increasingly composed of AI/ML elements, the focus
of assurance tends to shift from "safe use of AI" to "safe AI."
In this position paper, we argue this is opposite to what is required
and urge a systems engineering approach.
Paper
PDF
BibTeX Entry
@INPROCEEDINGS{Bloomfield&Rushby:Assure25,
AUTHOR = {Robin Bloomfield and John Rushby},
TITLE = {{AI} Assurance Needs a Systems Engineering Approach},
BOOKTITLE={ASSURE 2025, Proceedings of IEEE 36th
International Symposium on Software Reliability Engineering
Workshops (ISSREW)},
YEAR = 2025,
PAGES = {157--158},
ADDRESS = {Sao Paulo, Brazil},
MONTH = oct
}
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page