Requirements and Constraints on Software Engineering Environments for Dependable Systems

By the same authors

Enhancing the Value of Counterfactual Explanations for Deep Learning
Jia, Y., McDermid, J. A. & Habli, I., 15 Jun 2021, AIME 2021 : Artificial Intelligence in Medicine in Europe.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Safety-Driven Design of Machine Learning for Sepsis Treatment
Jia, Y., Lawton, T., Burden, J., McDermid, J. A. & Habli, I., May 2021
Article in Journal of Biomedical Informatics
AI Explainability: The Technical and Ethical Dimensions
McDermid, J. A., Jia, Y., Porter, Z. & Habli, I., 1 Mar 2021, (Accepted/In press)
Article in Philosophical Transactions: Mathematical, Physical and Engineering Sciences
An Initial Framework Assessing the Safety of Complex Systems
McDermid, J. A., Burton, S., Garnett, P. & Weaver, R. A., Feb 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium Virtual Conference . Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 161. p. 109-111 3 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
An Initial Framework Assessing the Safety of Complex Systems
Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 7 Dec 2020, CCS2020 - Conference on Complex System 2020. Zenodo, p. 69 1 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Working paper

Author(s)

J A McDermid
E S Hocking
Q Shi
J E Dobson

Department/unit(s)

Computer Science

Publication details

Date	Published - 1990
Original language	English

Abstract

It is well understood that the dependability of software running in some system is contingent on the tools used to produce that software. This report is primarily concerned with the influence of tools on the dependability of software used in dependable systems.

Research areas

PDCS B5 report Karlsruhe

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

Enhancing the Value of Counterfactual Explanations for Deep Learning

Safety-Driven Design of Machine Learning for Sepsis Treatment

AI Explainability: The Technical and Ethical Dimensions

An Initial Framework Assessing the Safety of Complex Systems