Certification de l’assemblage de composants dans le développement de logiciels critiques
Résumé
La certification des logiciels des systèmes embarqués critiques est une opération industrielle très difficile et fastidieuse. Elle doit respecter un processus long, rigoureux et extrêmement normé. Le développement logiciel moderne repose sur la mise en œuvre de composants et de leur assemblage. Le problème à résoudre est celui de l’existence de méthodes et outils d’assemblage peu coûteux et industrialisables qui permettent de construire l’architecture du système final en induisant sa certification. À partir du contexte industriel avionique utlisant Simulink/Scade comme environnement de développement, on introduit une méthodologie innovante de certification de la composition s’appuyant sur le raffinement introduit par la méthode B.