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.
Type de document :
Article dans une revue
Génie logiciel, C & S, 2004, pp.38-44
Liste complète des métadonnées

https://hal.inria.fr/inria-00100124
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:14:19
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

296