Introduction
générale
I.
INTRODUCTION AUX SYSTÈMES SÉQUENTIELS
1.
Structure d’un système séquentiel . . . . . . . . . . . . . . . . . .
. .
2.
Analyse d’un circuit séquentiel . . . . . . . . . . . . . . . . . . . .
.
a. Détermination des variables des états présents
. . . . . . .
b. Détermination des expressions logiques
. . . . . . . . . . . . .
c. Tables des états codés et des sorties
. . . . . . . . . . . . . . .
d. Détermination de la table des états
. . . . . . . . . . . . . . . . .
3.
classification des systèmes séquentiels . . . . . . . . . . . . . . .
a. Mode fondamental
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
b. Mode pulsé
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.
Cellules mémoires ou bascules . . . . . . . . . . . . . . . . . . . . .
a. Description
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
b. Une application
: les registres
. . . . . . . . . . . . . . . . . . . .
II.
SYNTHÈSE DES SYSTÈMES SÉQUENTIELS.
MÉTHODES DE BASE
1.
Principe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . .
2.
Description formelle des spécifications . . . . . . . . . . . . . . .
a. Mode fondamental
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
b. Mode pulsé
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.
Réduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . .
a. Définitions
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
b.
Table des paires . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . .
c. Traitement de la table des paires
. . . . . . . . . . . . . . . . . .
d. Recherche des compatibles maximaux
. . . . . . . . . . . . . .
e. Recherche d’une table minimale
. . . . . . . . . . . . . . . . . . .
4.
Codage des états . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . .
a. Mode puisé
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
b. Mode fondamental
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.
Détermination des expressions logiques . . . . . . . . . . . . . . .
a. Mode pulsé
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
b. Mode fondamental
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
III.
SYSTÈMES SÉQUENTIELS COMPLEXES
1.
Limitations dues aux méthodes classiques de synthèse . . . .
2.
Utilisation de diagrammes des transitions réduits . . . . . . .
a. Notion de réceptivité
. . . . . . . . . . . . . . . . . . . . . . . . . . .
b. Exemple Commande d’une machine à percer (Girard)
3.
Détermination des expressions logiques . . . . . . . . . . . . . . .
a. Tables de Karnaugh à variables
introduites (Clare, Lee)
b. Utilisation des tables de
Karnaug à variables introduites
4.
Systèmes à évolutions simultanées . . . . . . . . . . . . . . . . . .
.
a. Le parallélisme
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
b. Décomposition
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
c. Les réseaux de Petri
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
d. Le Grafcet
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
IV.
RÉALISATIONS MATÉRIELLES
1.
Quelques problèmes de réalisation . . . . . . . . . . . . . . . . . .
a. Cas du mode fondamental
. . . . . . . . . . . . . . . . . . . . . . . .
b. Cas du mode pulsé
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.
Réalisations programmées de machines séquentielles . . . .
a. Utilisation de mémoires
. . . . . . . . . . . . . . . . . . . . . . . . .
b. Utilisation de modules logiques programmables
. . . . . .
3.
Synthèse directe d’une machine séquentielle . . . . . . . . . . .
a. Fonctionnement sans horloge
. . . . . . . . . . . . . . . . . . . . .
b. Synchronisation par horloge
. . . . . . . . . . . . . . . . . . . . . .
c. Exemple
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
4.
Réalisations des réseaux de Petri et du Grafcet . . . . . . . . .
a. Réalisations synchrones
. . . . . . . . . . . . . . . . . . . . . . . . .
b. Réalisations asynchrones
. . . . . . . . . . . . . . . . . . . . . . . .
c. Réalisations matricielles
. . . . . . . . . . . . . . . . . . . . . . . .
d. Initialisation
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
e. Exemple
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
V.
RÉALISATIONS LOGICIELLES
1.
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . .
2.
Réalisation logicielle par automate programmable . . . . . .
a. Rappel Structure et fonctionnement
d’un automate programmable . . . . . . . . . . .
. . . . . . . . . .
b. Exemple Utilisation d’un automate programmable
PB100 de Merlin Gerin . . . . . . . . . . . . . .
. . . . . . . . . . .
3.
Simulation en temps réel à l’aide d’un calculateur . . . . . . .
a. Principe
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
b. Description
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
c. Traduction
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
d. Exécution
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
