Pas le droit à l'erreur quand on développe un logiciel embarqué dans un avion. Un bug, et cela peut être l'incident. A éviter, surtout en plein vol ! Alors comment s'assurer a priori de la totale fiabilité des systèmes informatiques embarqués… sans faire exploser les coûts des vérifications , et même en les réduisant ?
