ETIS seminar: Michel Bourdellès

Intégration de services au processus de réalisation de systèmes pour la validation automatique d’exigences de sécurité

Dr. Michel Bourdellès

Mots clefs : Security, Model-Based Systems Engineering (MBSE), Model-Based Product Line Engineering (MBPLE), System of Systems Engineering, systems architecting, Early Validation and Audit.

Résumé : La mise en œuvre des mécanismes de protection adéquats de flux de données des systèmes, traduits en exigences de sécurité issues d’une analyse de risque, est une contrainte forte de la réalisation des produits. Ces mécanismes, logiciels et matériels, doivent garantir la validation des contraintes initiales de sécurité sur le produit final avant mise en production. Nous listons un ensemble de besoins que doit satisfaire le processus industriel de réalisation produit afin de prendre au mieux en compte ces exigences dans le produit. Nous proposons un ensemble de services pour compléter les processus industriels basés sur la validation d’exigences opérationnelles afin d’analyser la correction des choix de conception système par rapport aux exigences de sécurité, et produire automatiquement du code de sécurité. La solution proposée prend aussi en compte les contraintes liées au processus de réalisation lui-même en assurant le besoin d’en connaître par la protection à l’accès par les parties prenantes de l’information confidentielle, étendu à la réalisation de lignes de produits, ainsi que de l’application de la solution à des systèmes de systèmes.

Short Bio: Michel Bourdellès est enseignant chercheur en cybersécurité à l’ESIEE-IT, associé à l’équipe SecReizh de l’Université Bretagne Sud. Ses thèmes de recherche, influencés par plus de vingt ans d’activités comme ingénieur dans un grand groupe de la défense, portent sur la validation automatique d’exigences de sécurité de systèmes industriels.