Aller au menu Aller au contenu
Grenoble INP - UGA
Academics
Academics
Academics

> Study at Esisar > Engineering degree in Information Technology & Security

Dependable and secure systems - 5AMSE503

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

  • Number of hours

    • Lectures : 12.0
    • Tutorials : 6.0
    • Laboratory works : 9.0
    • Projects : -
    • Internship : -
    • Written tests : -
    ECTS : 2.5
  • Officials : Oum-El-Kheir AKTOUF

Goals

Students should be able to :
- determine safety properties of 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;

Content

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

Prerequisites

  • Computer architecture
  • Programming skills
  • Graph theory basics

Tests

E1: Final exam of Session 1: written exam, duration: 3 hours, without document, covering the 2 parts of the course (80%), (Part I -> 40%, Part II -> 40%)
Lab.: 1 mark(20%)
E2: Session 2 exam: written exam, duration: 1h30, without document

Calendar

The course exists in the following branches:

see the course schedule for 2022-2023

Additional Information

Course ID : 5AMSE503
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 Computing Theory and Techniques », D. K. Pradhan, Vol. I, II, Prentice Hall, 1986.
2. « Fault-tolerant Computer System Design », D. K. Pradhan, Prentice Hall, 1996.
3. « Reliable Computer Systems. Design and Evaluation », D. P. Siewiorek, R. S. Swarz, Digital Press, 1992.
4. « 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 cet article Facebook Twitter Linked In

Date of update June 25, 2015

Université Grenoble Alpes