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

> Study at Esisar > Engineering degree in Embedded Systems

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 cet article Facebook Twitter Linked In

  • Number of hours

    • Lectures : 16.5
    • Tutorials : 10.5
    • Laboratory works : 12.0
    • Projects : -
    • Internship : -
    ECTS : 0.0
  • Officials : Oum-El-Kheir AKTOUF

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

  • 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

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 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.

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 April 7, 2021

Université Grenoble Alpes