Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité

Résumé

Une méthode de construction d'une machine de Mealy équivalente à un système d'équations récurrentes qui décrit le comportement d'un système logique séquentiel est présentée dans ce papier. Cette construction repose sur la manipulation symbolique d'équations logiques et l'analyse de BDD (Binary Decision Diagram). Ce travail a été motivé par le besoin de prise en compte de spécifications multi-langages, pour la génération de séquences de test de conformité.

Domaines

Automatique
Fichier principal
Vignette du fichier
CIFA12_0111.pdf (498.06 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00719363 , version 1 (19-07-2012)

Identifiants

  • HAL Id : hal-00719363 , version 1

Citer

Anaïs Guignard, Jean-Marc Faure, Jean-Marc Roussel. Génération d'une machine de Mealy à partir de spécifications algébriques à des fins de test de conformité. Conférence Internationale Francophone d'Automatique (CIFA2012), Jul 2012, France. pp.907-912. ⟨hal-00719363⟩
110 Consultations
412 Téléchargements

Partager

Gmail Facebook X LinkedIn More