Construction sûre de systèmes électroniques - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes Année : 2004

Construction sûre de systèmes électroniques

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.
Fichier non déposé

Dates et versions

inria-00100124 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100124 , version 1

Citer

Dominique Cansell, Stefan Hallerstede, Yann Zimmermann. Construction sûre de systèmes électroniques. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2004, 69, pp.38-44. ⟨inria-00100124⟩
221 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More