Colloque

Outil et méthodologie de développement de modèles exécutables

Philippe-André Babkine

Mario Dufresne

Eduard Cerny

Karim Khordoc

Membre a labase

Philippe-André Babkine

Résumé du colloque

Les systèmes numériques complexes (ITGE) sont conçus et mis au point grâce à l'utilisation de modèles exécutables ou spécifications. Nous présentons un outil et une méthodologie de développement de modèles de ces systèmes. Dans le cadre de notre méthodologie, le concepteur doit distinguer entre le comportement de l'interface et le comportement interne du circuit. L'outil de développement intervient lors de la saisie des spécifications de l'interface du circuit. L'unité de base d'une telle spécification est un chronogramme. Celui-ci peut s'illustrer graphiquement comme séquence chronologique et permet de spécifier des règles temporelles entre événements. Les chronogrammes peuvent être combinés entre eux pour former des séquences plus complexes. Ces primitives sont : la concaténation, la répétition, la mise en parallèle de chronogrammes, ainsi que le choix entre plusieurs chronogrammes. Les actions liées à ces événements, d'interface et la spécification interne, sont décrites par des procédures écrites dans un langage de description de matériel, par exemple VHDL. Les procédures sont activées lors d'événements sur les signaux d'entrée/sortie du circuit, dont l'occurrence déclenche leur exécution. La spécification interne est donnée par un mécanisme qui permet d'interagir avec une machine à états finis, pendant la simulation. Une spécification de circuit est compilée en langage VHDL, ceci produit un modèle exécutable. Lors de la base de simulation, le modèle valide les événements qu'il observe sur son interface et il génère les réponses appropriées.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université du Québec à Rimouski

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Outil et méthodologie de développement de modèles exécutables

Philippe-André Babkine

Génération des temps à partir des graphes conceptuels étendus

Stéphane Dumas

Réalisation d'un Système Expert d'Auscultation pour la Réfection des Chaussées (ARC)

Cyrille Komla Adjobole

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Outil et méthodologie de développement de modèles exécutables

Philippe-André Babkine

Outil et méthodologie de développement de modèles exécutables

Philippe-André Babkine

Outil et méthodologie de développement de modèles exécutables

Philippe-André Babkine