Maîtrise des Correctifs de Sécurité pour les Systèmes Navals

Un navire est un systeme complexe, opere dans le but d'accomplir un ensemble de missions. Les composants d'un tel systeme peuvent etre affectes de vulnerabilites dont l'exploitation peut avoir des consequences sur les missions en cours. Il est donc necessaire d'appliquer des correctifs reduisant le risque lie a ces vulnerabilites. Mais il est important de s'assurer que ces correctifs n'ont pas eux-memes d'impact negatif sur les missions du navire. Nous proposons, dans cet article, l'architecture d'un processus de gestion des correctifs applique au contexte des systemes navals. Nous extrayons de ce processus les problematiques principales qu'il pose : la modelisation d'un systeme complexe, et le calcul des impacts lies aux correctifs et vulnerabilites. Nous evoquons ensuite l'interet de la federation de modeles pour representer le systeme naval, puis nous proposons une mesure de l'impact des correctifs et vulnerabilites sur la surete de fonctionnement du systeme, basee sur l'utilisation d'automates temporises.