Critical Software
CANCELLED

Lecturer (Coordinator):
Andrés Silva
asilva@fi.upm.es
Lecturer:
Tomás San Feliu
tsanfe@fi.upm.es

Semester

First semester

Credits

4 ECTS

Outline

The subject provides an introduction to the main concepts and, specially, to the mindset needed for understanding and managing the hazardous behaviours related to complex software systems.

Syllabus

  1. Safeware concepts
    1. Normal Accidents theory
    2. Basic Concepts
    3. Reliability vs. Safety
    4. Hazard & Risk Analysis
    5. Common Techniques
  2. Design and Safeware
    1. Hazard elimination
    2. Hazard reduction
    3. Hazard control
    4. Examples
  3. Concepts from the IEC61508 Standard
    1. Introduction to IEC61508
    2. Concepts: SIL, functional safety, etc.
    3. Hazard log
    4. Limits of IEC61508
  4. Human and Organizational Factors
    1. Performance models
    2. Human error
    3. Organizational problems
    4. Solution proposals

Recommended reading

Lecture theatre

A-6305

Tuition language

English

Subject-Specific Competences

Code, description and proficiency level for each subject learning outcome
Code Learning Outcome Proficiency level
CEM1 Examination of the state of the art to identify research problems related to the design, construction, use and evaluation of complex software-intensive sociotechnical systems A
CEM3 Application of relevant research methods to open problems in the field of software engineering related to both the particular features of the software and software development management A

Learning Outcomes

Code, description and proficiency level for each subject learning outcome
Code Learning Outcome Associated competences Proficiency level
RA-IS-114 Understand Software limits and frontiers at the time of conceiving and developing systems with possible hazardous impacts on its environment CEM1, CEM3 A
RA-IS-115 Knowledge of the techniques to elicitate potential hazards related to the development and use of complex Software-based devices and applications CEM1, CEM3 A
RA-IS-116 Knowledge of the main techniques used to eliminate, reduce or control Software-related hazards, including techniques for damage reduction CEM1, CEM3 A

Learning Guide

Learning Guide: Critical Software