Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
En cet article, on propose une approche hiérarchique pour la modélisation et la vérification formelle d’un système embarqué complet à des niveaux élevés d’abstraction, en utilisant les graphes de décision MDG (Multiway Decision Graphs). L’approche est sur une application de contrôleur de souris roulant sur un microcontrôleur commercial (PIC 16C71). Le système est modélisé à différents niveaux de la hiérarchie de conception c.-à-d., le niveau matériel du microcontrôleur, l’architecture de jeux d’instruction du microcontrôleur (ISA), le niveau de code assembleur de logiciel embarqué et la spécification de comportement du logiciel. L’exactitude de la plateforme matérielle d’assembleur de l’architecture destinée est …
