Article précédent
Contrefaçon de logicielArticle de référence | Réf : S8100 v1
Auteur(s) : Henri BRENIER
Date de publication : 10 déc. 2004
Cet article fait partie de l’offre
Automatique et ingénierie système (137 articles en ce moment)
Cette offre vous donne accès à :
Une base complète et actualisée d'articles validés par des comités scientifiques
Un service Questions aux experts et des outils pratiques
Quitter la lecture facile
Dans ce paragraphe, nous nous intéressons aux langages graphiques. Nous distinguons trois groupes : les langages qui s’appuient sur les états, ceux qui s’appuient sur les flots de données et ceux issus de l’analyse structurée.
Les langages qui s’appuient sur les machines d’états sont graphiques et leurs états sont assimilables à des entités atomiques. Dans ce paragraphe, nous étudions les langages Statecharts et Grafcet. Ces langages ne sont pas utilisés dans le même contexte, mais ils ont des points communs.
HAUT DE PAGE
Le langage Statecharts dû à Harel [8] a pour point de départ l’idée d’associer organigrammes (en anglais flowchart ) et machines d’états. Il débouche sur une notion plus générale qui est celle d’automate aux états finis étendu. À ce titre, Statecharts fait partie intégrante du métamodèle UML.
Ces extensions (et modification) du modèle mathématique donné précédemment 2.4.1 se font par :
adjonction des polygones de décision ;
introduction de superétats de type XOR et AND ;
utilisation sur une même machine des caractéristiques de Moore et de Mealy.
Les polygones de décision sont à la base des organigrammes. Ils permettent de modéliser des bifurcations agissant comme des aiguillages à multiples positions. La position d’un tel...
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
AUTOMATIQUE ET INGÉNIERIE SYSTÈME
(1) - YOURDON (E.), CONSTANTINE (L.) - Structured Design. - Yourdon Press, Prentice Hall (1979).
(2) - WARD (P.), MELLOR (S.) - Structured Development for Real-Time Systems. - Yourdon Press, Prentice Hall (1985).
(3) - HATLEY (D.), PIRBHAI (I.) - Strategies for Real-Time System Specifications. - Dorset House Publishing (1987).
(4) - MEYER (B.) - Object-Oriented Software Construction. - Prentice Hall (1997).
(5) - UML Semantics. - Version 1.1, OMG, sept. 1997.
(6) - BOOCH (G.) - Software Architecture and the UML. - Rational Software Corporation.
(7) - BRENIER (H.) - Spécifications...
Établissement des diagrammes fonctionnels pour systèmes de commande (première édition) - CEI 848 - 1988
Langage de spécification Grafcet pour diagrammes fonctionnels en séquence - CEI 60848 - fév. 2002
Automates programmables – Partie 3 : langages de programmation - CEI 61131-3 - janv. 2003
Blocs fonctionnels pour les systèmes de mesure et de commande des processus industriels – Partie 1 : architecture - IEC/PAS 61499-1 - sept. 2000
Bloc fonctionnel – Partie 1 : Architecture (approved new work) - CEI 61499-1 - fév. 2002
DÉTAIL DE L'ABONNEMENT :
TOUS LES ARTICLES DE VOTRE RESSOURCE DOCUMENTAIRE
Accès aux :
Articles et leurs mises à jour
Nouveautés
Archives
Formats :
HTML illimité
Versions PDF
Site responsive (mobile)
Info parution :
Toutes les nouveautés de vos ressources documentaires par email
DES SERVICES ET OUTILS PRATIQUES
Votre site est 100% responsive, compatible PC, mobiles et tablettes.
FORMULES
| Formule monoposte | Autres formules | |
|---|---|---|
| Ressources documentaires | ||
| Consultation HTML des articles | Illimitée | Illimitée |
| Téléchargement des versions PDF | 5 / jour | Selon devis |
| Accès aux archives | Oui | Oui |
| Info parution | Oui | Oui |
| Services inclus | ||
| Questions aux experts (1) | 4 / an | Jusqu'à 12 par an |
| Articles Découverte | 5 / an | Jusqu'à 7 par an |
| Dictionnaire technique multilingue | Oui | Oui |
|
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation. |
||
| AJOUTER AU PANIER | DEMANDER UN DEVIS | |
Information
Quiz d'entraînement bientôt disponible
