Requirements and Constraints on Software Engineering Environments for Dependable Systems

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; vol. 11698).
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: 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

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