La conception et le développement des systèmes de sûreté critiques sont assujettis à la fois à des objectifs économiques et au respect des normes de sécurité. Dans le contexte aéronautique, par exemple, ces contraintes sont amplifiées puisque la marche de développement doit répondre à une certaine fiabilité pour passer l'étape de certification...