v2.11.0 (5514)

Cours scientifiques - SSC306 : Sûreté de fonctionnement des systèmes de contrôle commande dans l'énergie

Descriptif

Avec des capacités calcul et de mémorisation sans limite et des ambitions fonctionnelles toujours croissantes, le contrôle-commande d'une installation industrielle  joue de nos jours un rôle essentiel pour son exploitation, sa surveillance, sa maintenance et sa performance, voire sa sûreté. L'objectif de cet enseignement est de donner un aperçu des enjeux et des moyens mis en œuvre pour obtenir une confiance justifiée dans le fait que malgré de très hauts niveaux de complexité, le contrôle-commande réalisera correctement les missions qu'on en attend, et ce en toutes circonstances et tout au long de la vie de l’installation.

Objectifs pédagogiques

Connaître et comprendre les principes de la sûreté de fonctionnement appliqués à des systèmes sociotechniques, voire à des systèmes de systèmes.

 

- Connaître et comprendre les techniques de vérification formelle appliquées à des logiciels ou des modèles.

- Connaître et comprendre les bases et les méthodes de l'ingénierie des systèmes complexes, c’est-à-dire des systèmes nécessitant la collaboration et la coordination de nombreuses équipes et disciplines.

21 heures en présentiel (6 blocs ou créneaux)
réparties en:
  • Modules 3A : 21

Diplôme(s) concerné(s)

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Diplôme d'Ingénieur de l'Ecole Nationale Supérieure de Techniques Avancées

Le rattrapage est autorisé (Max entre les deux notes écrêté à une note seuil)
  • le rattrapage est obligatoire si :
    Note initiale < 6
  • le rattrapage peut être demandé par l'étudiant si :
    6 ≤ note initiale < 10
L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 1.7 ECTS

Le coefficient de l'UE est : 1.7

La note obtenue rentre dans le calcul de votre GPA.

L'UE est évaluée par les étudiants.

Programme détaillé

1/ Architectures de Contrôle-Commande : sûreté et sécurité informatique

2/ Développement et V&V du controle-commande

3/ Vérification formelle des systèmes de contrôle-commande les plus critiques

4/ Etudes probabilistes de sûreté pour le contrôle-commande

5/ Modélisation par contraintes des systèmes complexes

6/ Ingénierie des systèmes complexes : le contrôle-commande dans son environnement

 

 

Veuillez patienter