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.