Identifiant pérenne de la notice : 247673447
Notice de type
Notice de regroupement
Note publique d'information : ON ETUDIE LA MISE EN ŒUVRE D'OUTILS DE VERIFICATION AUTOMATIQUE DANS LE CADRE DES
PROCESSUS PARALLELES ET COMMUNIQUANTS REPRESENTES PAR DES SYSTEMES DE TRANSITIONS.
LE PRINCIPE DE VERIFICATION REPOSE SUR DES NOTIONS D'EQUIVALENCES COMPORTEMENTALES
ENTRE CES SYSTEMES DE TRANSITIONS, RASSEMBLES SOUS LE TERME DE BISIMULATION. ON S'INTERESSE
A LA MINIMISATION DE CES SYSTEMES PAR CES EQUIVALENCES ET L'ON PRESENTE DANS UN PREMIER
TEMPS QUELQUES AMELIORATIONS DE L'ALGORITHMIQUE CLASSIQUE DU CALCUL DE CES EQUIVALENCES
QUE L'ON MET EN ŒUVRE A TRAVERS UN OUTIL APPELE FCTOOL. DANS UN DEUXIEME TEMPS, ON
S'INTERESSE AUX RESEAUX DE PROCESSUS ET L'ON CONCENTRE NOTRE TRAVAIL SUR LE PROBLEME
DE L'EXPLOSION COMBINATOIRE QUE L'ON RENCONTRE LORS DU CALCUL D'UN SYSTEME DE TRANSITIONS
GLOBAL LIE A UN RESEAU: ON CONTOURNE LE PROBLEME EN INTRODUISANT UNE ALGORITHMIQUE
ORIGINALE BASEE SUR LA REPRESENTATION IMPLICITE DES ENTITES COMPOSANT UN SYSTEME DE
TRANSITIONS. ON UTILISE UNE STRUCTURE DE DONNEES PERMETTANT CE TYPE DE REPRESENTATION
ET SURTOUT, UNE ALGORITHMIQUE EFFICACE POUR LA MANIPULATION SYMBOLIQUE DE CES SYSTEMES:
CELLE-CI EST CONNUE SOUS LE NOM DE BDD (POUR BINARY DECISION DIAGRAMM). ON ETUDIE
LA MISE EN ŒUVRE DE CES TECHNIQUES PAR L'IMPLEMENTATION D'UN OUTIL QUE L'ON APPELLE
HOGGAR
paprika.idref.fr
data.idref.fr
Documentation
