Allier cybersécurité et sûreté de fonctionnement : défis et solutions pour des systèmes fiables et résilients
Description
Dans un monde où les systèmes critiques sont de plus en plus interconnectés, garantir la sécurité contre les cybermenaces tout en assurant la fiabilité opérationnelle devient un défi majeur. Comment concevoir des logiciels, des plateformes et des architectures systèmes capables de concilier ces deux exigences souvent perçues comme opposées ? Pour y répondre, cette présentation détaillera des stratégies pour concevoir des environnements à la fois sûrs et sécurisés. Nous commencerons par un aperçu du cadre normatif en identifiant les principales contraintes de sécurité et de sûreté qui s'imposent tout au long du cycle de vie, de la conception à la validation. Puis, dans un premier temps, nous explorerons les méthodologies de développement de logiciels sûrs et sécurisés. Nous illustrerons ces approches par des exemples concrets, en mettant en avant des techniques formelles appliquées a priori (dès la phase de conception) via le langage B, ainsi qu'a posteriori (après le développement) grâce à l’utilisation d’un jumeau numérique formel. Ensuite, nous présenterons deux cas d’usage de plateformes combinant sûreté et sécurité : un automate programmable de sécurité, ainsi que la plateforme KICS2 (https://www.entreprises.gouv.fr/la-dge/actualites/france-2030-17-nouveaux-projets-selectionnes-pour-la-cybersecurite). Ces exemples démontreront comment ces produits permettent d’héberger efficacement des logiciels répondant aux exigences de sûreté et de cybersécurité. Enfin, une architecture système complète sera détaillée montrant comment connecter un contrôle-commande à des effecteurs ou capteurs en sûreté et en sécurité en s’appuyant sur les précédentes briques logicielles et matérielles. Cette présentation s’adresse à tous les professionnels impliqués dans le développement de systèmes critiques, soucieux de relever les défis de la sécurité et de la sûreté dans un environnement de plus en plus contraint. (La présentation peut se faire en anglais sur demande)
.png)
