Esisar rubrique Formation 2022

Dependability and security of computing systems - 5AMSE508

  • Number of hours

    • Lectures 16.5
    • Projects -
    • Tutorials 10.5
    • Internship -
    • Laboratory works 12.0

    ECTS

    ECTS 0.0

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.

Responsible(s)

Oum-El-Kheir AKTOUF

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

Prerequisites

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

Test

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 FR

Calendar

The course exists in the following branches:

  • Curriculum - EIS - Semester 9 (this course is given in english only EN)
  • Curriculum - EIS (Apprenticeship) - Semester 9 (this course is given in english only EN)
  • Curriculum - - Semester 9 (this course is given in english only EN)
see the course schedule for 2022-2023

Additional Information

Course ID : 5AMSE508
Course language(s): FR

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.