Content

Basic Concepts and Taxonomy of Dependable and Secure Computing  
o        See "famous" paper of A. Avizienis & J.C. Laprie 
o        Main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc.  
o        What do the following terms mean? Dependability, security, trust, faults, errors, failures, vulnerabilities, attacks, fault tolerance, fault removal, fault forecasting.  

EU CE Marking 

Safety by Design
o        Introduction to System Safety 
o        Safety concepts and lifecycle 
o        Hazard and Risk Identification and Analysis (incl. Systems Thinking and Systems View based methods) 
o        Risk Reduction 
o        Safety Integrity 
o        Safety Cases 
o        Safety-Critical Software 
o        Safety Standards 
o        Safety I vs Safety II : Resilience 

Security by Design
o        Cyber attacks and mitigation strategies 
     §     Prevention 
     §     Detection + action plans 
o        Security technologies for ICS environments 
     §     Network/communication oriented technology
          - ICS network security (o.a. firewalls, zoning, intrusion prevention / detection…) 
          - Secure communication technologies (oa. intro in crypto, security in ICS communication protocols…) 
     §     System oriented security technology 
          - Security monitoring: system hardening, virus scanners, access policies, BYOD mgmt … 
          - IoT/gateway/cloud security 
o        Basics in system administration (operational challenges) 

Resilience by Design
o        Resilient Software 
     §     Recover from bitflips 
     §     Hot-standby 
     §     .. 
o        Resilient hardware 
     §     Voting 
     §     Spatial/temporal/.. diversity 
     §     … 

Course material

The basic course material consists of the presentations used during the lectures. This material is complemented with compulsory reading material and optional reading materials for those students who want to deepen their insights in specific topics. Where possible, materials will be made available electronically (Toledo).

Format: more information

Computer session - Practice session - Project work