Dependability
Description
Objectifs
At the end of this module, the student will have understood and be able to explain (main concepts):
The basic concepts of dependability and main methods and techniques for obtaining and validation of the safety.
The student will be able to:
- apply these general competences to computer based embedded systems
- explain different methods and chose the best adapted to develop a specific application.
Pré-requis
Discrete event systems, Propositional Logic,
Évaluation
L’évaluation des acquis d’apprentissage est réalisée en continu tout le long du semestre. En fonction des enseignements, elle peut prendre différentes formes : examen écrit, oral, compte-rendu, rapport écrit, évaluation par les pairs…
En bref
Crédits ECTS : 5.0
Nombre d’heures : 68.0
EN 1 Clic
Annuaire
ENT
Rejoindre
les équipes
Marchés publics
INSA Toulouse
135 avenue de Rangueil
31077 Toulouse cedex 4
Tél : 05 61 55 95 13
Fax : 05 61 55 95 00
Dans un souci d'alléger le texte et sans aucune discrimination de genre, l'emploi du genre masculin est utilisé à titre épicène.