Principles of an Assurance Algebra for Dependable Software

Investigating Human Error Within GoA-2 Metro Lines
Hunter, J. & McDermid, J. A., 20 May 2022, (E-pub ahead of print) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2022. Collart-Dutilleul, S., Haxthausen, A. E. & Lecomte, T. (eds.). Springer, Cham, Vol. 13294. p. 179-191 18 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The Role of Explainability in Assuring Safety of Machine Learning in Healthcare
Jia, Y., McDermid, J. A., Lawton, T. & Habli, I., 5 May 2022, (E-pub ahead of print)
Article in IEEE Transactions on Emerging Topics in Computational Intelligence
A Principle-based Ethical Assurance Argument for AI and Autonomous Systems
Porter, Z., Habli, I. & McDermid, J. A., 30 Mar 2022.
Research output: Contribution to conference › Paper
Safe, Ethical & Sustainable: A Mantra for All Seasons?
McDermid, J. A., 10 Feb 2022
Special issue in Safety Systems
Could the Introduction of Assured Autonomy Change Accident Outcomes?
Daniels, D., Hobbs, C., McDermid, J. A., Parsons, M. S. & Twomey, B., 8 Feb 2022, Safer Systems: The Next 30 Years: Proceedings of the 30th Safety-Critical Systems Symposium. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 170. p. 229 264 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter