Conception d'applications temps-réel synchrones - 4AMCS442

Objectif(s)

Etre capable, à partir d'un cahier de charges informel de:

• identifier les entrées et les sorties du système
• identifier les principaux composants du système
• identifier les contraintes temps-réel imposées
• implanter le système à l'aide d'un langage spécifique (Lustre/SCADE, FBD, Ladder, SFC).
• tester le système sur des scénarios significatifs.

Contenu(s)

• Cas de l'environnement SCADE et du langage Lustre (ANSYS SCADE suite)
  1. Introduction PLC – Systèmes embarqués - Systèmes réactifs – Programmation synchrone
  2. Présentation SCADE : notions de base en lustre (SCADE textuel), utilisation du simulateur, introduction à l’algorithmie (testabilité du design
  3. Utilisation graphique de SCADE, introduction à la notion de défaillance
  4. Utilisation avancée de SCADE : horloges, tableaux (map/fold)
  5. Réalisation d’un projet possédant une partie contrôle et une partie protection

• Automates programmables (Crouzet automation)
  1. Présentation du langage FBD et présentation du logiciel qui va servir de support à la programmation en FBD
  2. Les différents types d’entrées et de sorties d’un automate
     Exercices de programmation : comptage, génération de signaux, les fonctions logiques
  3. Les indices de protection, les homologations, les normes.
     Exercices de programmation : calcul, commande d’un chauffage
  4. Le SFC (Grafcet), étude du séquentiel, mixité avec le FBD.
     Exercices de programmation : gestion de l’affichage, le tachymètre.
  5. Exercices de programmation : un projet complet sur le thème de l’irrigation.

Algèbre de Boole, cours de génie logiciel.
Algo & Programmation impérative et objet.
Connaissance de la modélisation à l'aide de machines à états.