Dependability and security of computing systems - 5AMSE508

Goal(s)

Students should be able to :

• determine safety properties for computing systems;
• implement appropriate fault tolerance approaches depending on the nature of studied systems;
• evaluate dependability attributes using analytical approaches;
• improve system robustness by using fault detection and elimination techniques;
• identify security requirements of a system;
• enhance the security of a system by using adequate security protection means;
• analyze safaty and security interplay.

Content(s)

Course content

I. Introduction

• Terminology and basics

II. Fault-tolerance: redundancy techniques

• Functional and structural redundancy
• Structural redundancy techniques

III. Fault prediction: dependability evaluation techniques

• Combinatorial approaches
• Markov models
• The FMEA analysis.

IV. Fault elimination: Software testing

• Goals and limitations of testing
• Testing techniques based on the program structures or on specifications
• Regression testing
• Conformance testing

V. Introduction to software security: vulnerabilities and protections

• Software vulnerabilities (Buffer overflow, Stack-based overflow, Return oriented programming...)
• Protections (Safe C library, DEP, Canary, ASLR...)

VI. Summary: safety and security

• Conflicts
• co-analysis and co-engineering
• Current standards

Tutoriel content

• Redundancy techniques
• Evaluation of dependability attributes
• Software testing

Lab works

• Reliability diagrams
• Fault trees and Markov chains
• Conformance testing
• Test tools

• Computer architecture
• Good programming skills
• Graph theory and probabilities basics