Construction sûre de systèmes électroniques - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes Year : 2004

Construction sûre de systèmes électroniques

Abstract

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.
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00100124 , version 1

Cite

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⟩
220 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More