Skip to Main content Skip to Navigation
Journal articles

Construction sûre de systèmes électroniques

Dominique Cansell 1 Stefan Hallerstede Yann Zimmermann 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Les systèmes électroniques deviennent de plus en plus complexes et l'exigence en qualité est de plus en plus forte, l'approche par simulation ne suffit plus pour garantir leur correction. Les méthodes formelles sont les seules à pouvoir faire face à la complexité croissante. Le développement de systèmes à l'aide du raffinement permet de gérer la complexité du système et de sa preuve de correction en permettant l'introduction des détails du système pas à pas. La méthode B est parmi les méthodes formelles qui possède suffisamment d'outils support pour être utilisée en pratique aujourd'hui. Cette méthode a déjà été éprouvée dans la conception de logiciels, cet article s'attache à la conception de systèmes électroniques avec la méthode B. Cet article présente comment la méthode B peut être utilisée pour la conception des systèmes électroniques. Les concepts de la méthode B et du raffinement formel sont présentés. La méthode générale de conception en B est présentée en mettant en parallèle les flots de conception pour les logiciels et les circuits. Des exemples d'application de la méthode B pour le développement de systèmes électroniques sont présentés.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00100124
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 10:14:19 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM

Identifiers

  • HAL Id : inria-00100124, version 1

Collections

Citation

Dominique Cansell, Stefan Hallerstede, Yann Zimmermann. Construction sûre de systèmes électroniques. Génie logiciel, C & S, 2004, pp.38-44. ⟨inria-00100124⟩

Share

Metrics

Record views

502