Requirements and Constraints on Software Engineering Environments for Dependable Systems

By the same authors

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)
Hawkins, R. D., Osborne, M., Parsons, M. S., Nicholson, M., McDermid, J. A. & Habli, I., 1 Aug 2022, 82 p.
Research output: Book/Report › Commissioned report
reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication
Zou, J., Dai, X. & McDermid, J. A., 12 Jul 2022
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
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
Analysing the Safety of Decision-Making in Autonomous Systems
Osborne, M., Hawkins, R. D. & McDermid, J. A., 13 Apr 2022, (Accepted/In press) SAFECOMP 2022 (41st International Conference on Computer Safety, Reliability and Security).
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

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)

reTSN: Resilient and Efficient Time-Sensitive Network for Automotive In-Vehicle Communication

Investigating Human Error Within GoA-2 Metro Lines

The Role of Explainability in Assuring Safety of Machine Learning in Healthcare