Tutoriels

Journées Tutoriels le 30 août 2017

Coordinateurs : Vincent Idasiak (PRISME)

La première journée du congrès, le mercredi 30 août 2017, est consacrée à des tutoriels. Les thèmes abordés sont :

- Diagnostic de fonctionnement de systèmes modélisés sous forme polytopique

- Ingénierie Système et Sûreté de Fonctionnement basées sur les modèles

Adresse : INSA Centre Val de Loire, campus de Bourges, 88 boulevard Lahitolle, Bourges.

Chaque tutoriel est programmé de 9h00 à 12h30 puis de 13h30 à 17h et comportera des activités d'apprentissage sur ordinateur.

Le repas de midi est pris en charge et sera servi Salle ICE de l'INSA Centre Val de Loire. Les polycopiés du tutoriel suivi seront distribués en séance.

Attention : le nombre de place disponible est limité contacter qualita2017-tuto@sciencesconf.org pour vous positionner.

1.  Diagnostic de fonctionnement de systèmes modélisés sous forme polytopique
   (Intervenant Jose Ragot CRAN/ Université de lorraine) Salle SA206 / SA 106 Bâtiment Salle d’Armes
   
   
   • Objectifs généraux du diagnostic
   • Représentation polytopique et transformation par secteurs non linéaires
   • Etude de la stabilité de systèmes polytopiques
   • Synthèse de lois de commande
   • Construction d’observateurs et extensions diverses
   • Observateurs et diagnostic
   • Commande tolérante aux défauts
   • Idées de recherche et développement

   (Pause-café et rafraichissement Salle ICE, Bâtiment Salle D’Armes)

   
   
   
2.  Ingénierie système et Sûreté de fonctionnement basées sur les modèles (Intervenants : Jean-Yves Choley LISMMA/SUPMECA, Nga Nguyen Quartz/EISTI, Pierre David G-SCOP/ Grenoble-INPG, Vincent Idasiak PRISME/ INSA-CVL) Salle SA206 Bâtiment Salle d’Armes
   
   
   • De ISBM (MBSE) au MBSA : introduction
   • Mise en œuvre du MBSE
     • Proposition d’une méthodologie
     • Implémentation avec le langage SysML
     • Exemples aéronautiques : FCS (Flight Control System) et EMA (Electro Mechanical Actuator)
   • Génération automatique des artefacts de sûreté de fonctionnement (MBSA) à partir d’un modèle système (ISBM)
     • Principe de génération des "préliminary FMEA et FTA"
     • Illustration sur l’exemple aéronautique.

       (Pause-café et rafraichissement Salle ICE, Bâtiment Salle D’Armes)

   • Introduction au Model Checking
     • Logique temporelle, modèle Kripke et principe de vérification
     • TP : exemple avec le model checker NuSMV 
   • Transformation de modèles
     • Principes M2M, M2T
     • Génération du code NuSMV
     • TP : transformation Model-to-Text avec Acceleo

Tarifs de la Journée

La participation aux tutoriels est comprise dans l'inscription.

Si vous souhaitez participer à un tutoriel sans être inscrit au congrés écrire à Contact : qualita2017-tuto@sciencesconf.org