Pour les secteurs tel que l''aviation, le médical, le nucléaire et l''aérospatial, la qualité du logiciel est un besoin capital. Le logiciel embarqué dans ces types des systèmes est reconnu comme étant critique car leurs échec peut causer blessures (ou mort) aux êtres humains ainsi que la perte d''investissements financiers considérables...