Tool Support for High Integrity Ada 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

Research output: Contribution to conference › Paper › peer-review

Author(s)

Date	Published - 1994
Original language	English

Find related publications, people, projects, datasets and more using interactive charts.