Skip to main content

Module

CSC8201 : The Challenge of Dependable Systems

  • Offered for Year: 2020/21
  • Module Leader(s): Dr Paul Ezhilchelvan
  • Lecturer: Dr Stephen Riddle
  • Owning School: Computing
  • Teaching Location: Newcastle City Campus
Semesters
Semester 1 Credit Value: 10
ECTS Credits: 5.0

Aims

To introduce the concepts, principles and ethics of dependable systems, including: the notions of security, safety and reliability, the flaws that undermine dependability, the analyses that expose weaknesses, the techniques that can impart resilience, and the arguments that engender trust in a system.

Outline Of Syllabus

1. Components, systems, interfaces, environments, and ethical issues:
trusted vs. trustworthy,
success vs. failure,
safe and secure and reliable.
2. Flaws and weaknesses:
physical deterioration and design inadequacy,
accidental misuse and malicious attack.
3. Concepts and terminology:
faults, errors, failures,
tolerance, resilience, reconfiguration.
4. Hazards and accidents:
safety analysis and integrity levels,
safety culture, management and life-cycle,
risk management and ALARP.
5. Dependability cases:
professional and legal aspects: the safety case and regulation,
arguments, evidence and goal structured notation (GSN),
fault models and hypotheses.
6. Developing critical software:
structure,
fault tolerance and self-healing,
interactive consistency,
design-fault tolerance,
testing in all its forms.

Teaching Methods

Module leaders are revising this content in light of the Covid 19 restrictions.
Revised and approved detail information will be available by 17 August.

Assessment Methods

Module leaders are revising this content in light of the Covid 19 restrictions.
Revised and approved detail information will be available by 17 August.

Reading Lists

Timetable