Tool Support for High Integrity Ada Software

By the same authors

Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective
Burton, S., Habli, I., Lawton, T., McDermid, J. A., Morgan, P. D. J. & Porter, Z. L. M., 9 Nov 2019
Article in Artificial Intelligence
Integrating Existing Safety Analyses into SysML
Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Towards a Framework for Safety Assurance of Autonomous Systems
McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A SysML Profile for Fault Trees: Linking Safety Models to System Design
Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Rapid Integration of CPS Security and Safety
McDermid, J. A., Asplund, F., Oates, R. & Roberts, J., 5 Nov 2018
Article in IEEE Embedded Systems Letters

Research output: Contribution to conference › Paper

Author(s)

A. D. Hutcheon
D. T. Jordan
John A. McDermid
R. H. Pierce
I. C. Wand
B. J. Jepson
Marcel Toussaint

Department/unit(s)

Publication details

Date	Published - 1994
Original language	English

Discover related content

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

View graph of relations

York staff: edit these data

The York Research Database

By the same authors

Mind the Gaps: Assuring the Safety of Autonomous Systems from an Engineering, Ethical, and Legal Perspective

Integrating Existing Safety Analyses into SysML

Towards a Framework for Safety Assurance of Autonomous Systems

A SysML Profile for Fault Trees: Linking Safety Models to System Design

Rapid Integration of CPS Security and Safety

Tool Support for High Integrity Ada Software

Author(s)

Department/unit(s)

Publication details

Discover related content