Dependability and security of computing systems - 5AMSE508
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Goals
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 Course content
I. Introduction
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
Prerequisites- Computer architecture
- Good programming skills
- Graph theory and probabilities basics
Tests E1: session 1 final exam (written exam, 3h00, closed books, allowed calculator)
TP: 1 mark
E2: session 2 exam (written exam, 1h30, closed books, allowed calculator)
The exam is given in english only 
Calendar The course exists in the following branches:
- Curriculum - EIS - Semester 9 (this course is given in english only
) - Curriculum - EIS (Apprenticeship) - Semester 9 (this course is given in english only
) - Curriculum - - Semester 9 (this course is given in english only
)
see
the course schedule for 2022-2023
Additional Information Course ID : 5AMSE508
Course language(s): 
The course is attached to the following structures:
You can find this course among all other courses.
Bibliography 1. "Fault-tolerant Computer System Design", D. K. Pradhan, Prentice Hall, 1996.
2. "Reliable Computer Systems. Design and Evaluation", D. P. Siewiorek, R. S. Swarz, Digital Press, 1992.
3. "Guide de la Sûreté de Fonctionnement", J.-C. Laprie et al., Cépaduès-Éditions, 1995.
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Date of update April 7, 2021