Course Overview

I. Dependability: Functional and structural redundancy; Structural redundancy techniques (hardware, temporal, information and software); Dependability evaluation techniques: combinatorial and Markov models; The FMEA analysis.
II. Software Testing: Goals and limitations of testing; Testing techniques based on the program structures or on specifications; Regression testing, conformance testing.
III. Industrial Case Study: Software vulnerability: pragmatic dependability of software (IR); Application to aeronautics (EIS)

http://esisar.grenoble-inp.fr/en/academics/dependability-and-security-of-computing-systems-5amse504

Learning Achievement

Competence

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;

Course prerequisites

- Computer architecture
- Programming skills
- Graph theory basics

Grading Philosophy

Course schedule

Course type

Lecture

Online Course Requirement

Instructor

Ioannis PARISSIS, Oum-El-Kheir AKTOUF, Stéphanie CHOLLET

Other information

Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
- April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
- September 1st, 2020 for Spring Semester intake (February – June).

Site for Inquiry