Université Lyon 1
Arqus
Accueil  >>  Master  >>  Electronique, énergie électrique, automatique  >>  M2 Electronique Systèmes Embarqués  >>  Modélisation et analyse fonctionnelle des systèmes logiques
  • Domaine : Masters du domaine SCIENCES ET TECHNOLOGIES
  • Diplôme : Master
  • Mention : Electronique, énergie électrique, automatique
  • Parcours : M2 Electronique Systèmes Embarqués
  • Unité d'enseignement : Modélisation et analyse fonctionnelle des systèmes logiques
Nombre de crédits de l'UE : 3
Code APOGEE : GEP1186M
UE Libre pour ce parcours
UE valable pour le semestre 1 de ce parcours
    Responsabilité de l'UE :
DUFOUR PASCAL
 pascal.dufouruniv-lyon1.fr
NADRI WOLF MADIHA
 madiha.nadri-wolfuniv-lyon1.fr
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
12 h
Travaux Dirigés (TD)
6 h
Travaux Pratiques (TP)
12 h
Durée de projet en autonomie (PRJ)
0 h
Durée du stage
0 h
Effectif Cours magistraux (CM)
210 étudiants
Effectif Travaux dirigés (TD)
35 étudiants
Effectif Travaux pratiques (TP)
18 étudiants

* Ces horaires sont donnés à titre indicatif.

    Pré-requis :
algèbre booléenne
    Compétences attestées (transversales, spécifiques) :
Maîtrise des méthodes de modélisation, d'analyse et de conception d’automatisme des systèmes discrets de production.
Implémentation sur automate et tests sur plateformes.
    Programme de l'UE / Thématiques abordées :

  • Structure et synthèse d'un système séquentiel et analyse des méthodes de synthèse en fonction des contraintes imposées (minimisation du nombre de variables internes ou minimisation du combinatoire)

  • Structure des Automatismes industriels

  • Analyse de processus et spécification de cahier des charges d'un automatisme industriel

  • Modélisation d'une partie commande, représentation normalisée; Grafcet

  • Architecture d'un automate programmable industriel et Langages normalisés de programmation IEC 1131-3 et techniques de mise en œuvre (UnityPRO)

  • Réalisation  programmée de la partie commande d’un automatisme

  • Présentation de différentes méthodes pour l'analyse fonctionnelle

  • Hiérarchie des graphes (graphes : de tâches, de commande, de conduite, de sécurité)

  • Etude du GRAFCET et des fonctions évoluées du GRAFCET (forçage,..)

  • Le GEMMA et la sécurité des systèmes automatisés 

  • Graphes d’événements,
SELECT MEN_ID, `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`, `PAR_ID` FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='25679' ORDER BY `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`
ver. 24.03.1