Un voyage dans les modèles : du logiciel aux systèmes de systèmes socio-techniques

Defense type
HDR
Starting date
Location
Other
Room
À l’Académie Militaire de Saint-Cyr Coëtquidan, Amphithéâtre CReC
Speaker
Nicolas BELLOIR
Theme

L’utilisation de modèles basés sur des langages graphiques est désormais usuelle lors de la conception de systèmes. Ces langages, associé à des processus, permettent de définir des méthodes d’ingénierie. On parle d’ingénierie dirigée par les modèles (IDM). Nous nous inscrivons ici dans cette dynamique, moins en tant que contributeurs de l’IDM qu’en tant qu’utilisateurs. Nous défendons l’idée selon laquelle les systèmes modernes, en raison des liens étroits entre les problématiques humaines, logicielles et techniques, peuvent être considérés à travers une seule et même vision : les systèmes de systèmes socio-techniques. Ainsi, il est possible de croiser les vues en une approche intégrée plus complète. Trois grands domaines sont abordés.  
En premier lieu, dans le cadre de la spécification et de la conception générale de systèmes de systèmes, nous proposons une approche visant à prendre en compte, dans un cadre formalisé, un assouplissement des exigences. Puis, nous proposons de tisser un lien entre l’ingénierie de mission et la spécification d’architectures afin de disposer d’un modèle intermédiaire stable dans le temps.  
Dans un deuxième temps, un focus est mis sur la sécurité par conception. Nous proposons une approche visant à améliorer la collaboration entre experts du domaine et experts en sécurité en réifiant le concept d’ « asset ». Puis nous proposons une méthode visant à identifier la probabilité d’une vulnérabilité humaine au sein d’un système de systèmes socio-techniques.
Enfin, nous interrogeons l’applicabilité de l’IDM dans le cadre spécifique de la Défense, à travers le concept d’« ordre » dans un premier temps, puis en nous intéressant à l’utilisation de modèles dans la cadre de la lutte informatique d’influence.

Mots clés : Ingénierie dirigée par les modèles, systèmes de systèmes socio-techniques, sécurité par construction 

A Journey into Models: From Software to Socio-Technical Systems of Systems.

Using models described by graphical languages is now common in system design. These languages, coupled with processes, define engineering methods, known as Model-Driven Engineering (MDE). We align with this trend, not as MDE contributors but as users. We advocate that modern systems, due to close links between human, software, and technical issues, can be viewed through a unified lens: socio-technical systems of systems. Thus, a more comprehensive integrated approach is feasible. Three major areas are addressed.
Firstly, in the context of general specification and design of systems of systems, we propose an approach to formalize flexibility in requirements. Additionally, we suggest linking mission engineering with architecture specification to establish a stable intermediate model over time.
Secondly, a focus is placed on security by design. We propose an approach to enhance collaboration between domain experts and security experts by reifying the concept of an "asset." We then present a method to identify the human vulnerabilities within a socio-technical system-of-systems.
Finally, we examine the applicability of MDE in the Defense domain, initially through the concept of "order". Then we explore model usage in the realm of cyber influence warfare.

Keywords: Model Driven Engineering, Socio-technical System of Systems, Secure by design

Composition of the jury
Pr Olivier BARAIS, rapporteur - Université de Rennes, IRISA
Pr Brahim HAMID, rapporteur - Université de Toulouse Jean Jaurès
Pr Yvon KERMARREC, rapporteur - IMT Atlantique – site de Brest
Pr Salah SADOU, Garant - Université Bretagne Sud, IRISA
Pr Jean-Michel BRUEL, membre du jury - Université de Toulouse Jean Jaurès IUT de Blagnac
Pr Layth SLIMAN, membre du jury - École Française de Radioélectricité, d’Électronique et d’Informatique (EFREI)