Pour faire face à l’explosion de la complexité des programmes, les industriels des secteurs aéronautique et ferroviaire ont mis en place des procédures de certification logicielle. Si ces dernières apportent la garantie d’un certain niveau de sûreté de fonctionnement, elles sont néanmoins longues et coûteuses. Pour pallier ces
inconvénients, les éditeurs d’outils et de composants logiciels proposent désormais des kits de certification pour leurs produits. Les industriels d’autres secteurs, notamment ceux de l’automobile ou du médical, pourraient également tirer d’importants bénéfices de ces outils.