inria-00099739, version 1
Modélisation formelle de circuits électroniques en B événementiel
Manifestation des Jeunes Chercheurs du domaine des STIC 2003 -MAJECSTIC'03 (2003)
Résumé : Dans cet article nous montrons comment modéliser des circuits électroniques en B événementiel, extention de la méthode B. La méthode est illustrée par un problème d'exclusion mutuelle. Plusieurs composant sont en conflit paur utiliser un bus accès à une mémoire.
- a – UNIVERSITE HENRI POINCARE
- 1 :
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domaine : Informatique/Autre
- Mots-clés : modelisation – refinement – soc – b method || modèlisation – raffinement – circuit – méthode b
- Référence interne : A03-R-047 || zimmermann03a
- Commentaire : Colloque avec actes et comité de lecture. nationale.
- inria-00099739, version 1
- http://hal.inria.fr/inria-00099739
- oai:hal.inria.fr:inria-00099739
- Contributeur :
- Soumis le : Mardi 26 Septembre 2006, 09:40:47
- Dernière modification le : Jeudi 28 Septembre 2006, 15:22:46
Exporter