Chaire "Architecture des Systèmes Complexes"
Des enjeux de défense et de sécurité
La complexité croissante des systèmes industriels et opérationnels (interconnexion de matériels et de logiciels, mise en réseau d'organisations) requiert une approche globale, nécessitant la maîtrise des concepts et principes de l'architecture système.
Cette approche prend en compte de nombreuses disciplines scientifiques sur des thématiques telles que l’intelligence artificielle, la sûreté et la sécurité des systèmes, les modèles pour l’ingénierie système, la robotique ou la simulation utilisant des jumeaux numériques.
Dans le secteur de la défense en particulier, ces systèmes doivent être robustes, sécurisés, et conçus pour pouvoir évoluer avec les nouvelles technologies sur des temps longs.
La chaire ASC a pour ambition de développer l’enseignement et la recherche par une approche systémique et multidisciplinaire de l’architecture des systèmes complexes. Elle est portée par 4 enseignants-chercheurs permanents, avec le soutien d’ingénieurs et de postdoctorants pour aborder la complexité de la thématique par une approche globale et complémentaire.
________________________________________________________________________________________________________________________
Les partenaires de la Chaire
Dassault Aviation, Dassault Systèmes, Naval Group, KNDS-France, et l’Agence de l’Innovation de Défense (AID) sont les mécènes et partenaires de cette chaire de l’Institut Polytechnique de Paris qui implique l’École polytechnique, ENSTA, Télécom Paris et Télécom SudParis.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Le management de projet de la chaire ASC est assuré par le Centre Interdisciplinaire d'Études pour la Défense et la Sécurité (CIEDS)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Vidéo de présentation de la chaire
(Bientôt disponible)
________________________________________________________________________________________________________________________
La Chaire ASC en détails :
_0.png)
Les acteurs
Le Conseil Académique en responsabilité de la chaire
Alexandre Chapoutot
Professeur associé, ENSTA
Vincent Gauthier
Professeur, Télécom SudParis
Éric Goubault
Professeur, École polytechnique
Laurent Pautet
Professeur, Télécom Paris
Dominique Blouin
Professeur associé, Télécom Paris, (s)
Natalia Kushik
Maître de conférence, Télécom SudParis, (s)
Sylvie Putot
Professeur, École polytechnique, (s)
Ciprian Teodorov
Professeur associé, ENSTA, (s)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les Enseignants-Chercheurs
Jérémy Dubut-Kross
École polytechnique
Vidéo - Présentation de Jérémy Dubut-Kross
Vidéo - Vision de Jérémy Dubut-Kross sur ses recherches
Mario Gleirscher
ENSTA
Vidéo - Présentation de Mario Gleirscher
Georgios Bakirtzis
Télécom Paris
Vidéo - Présentation de Georgios Bakirtzis
Philipp Schlehuber-Caissier
Télécom SudParis
Vidéo - Présentation de Philipp Schlehuber-Caissier
Vidéo - Vision de Philipp Schlehuber-Caissier sur ses recherches
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
L'équipe de support
(en cours de recrutement)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Le management de projet
François Plais
Directeur des opérations, CIEDS
Éloïse Berthier
Chargée de partenariats, CIEDS
Arnaud Gruet
Project Management Officer ASC, CIEDS
Marion Balladon
Chargée de communication ASC, CIEDS
Les axes académiques
La chaire est organisée autour de quatre équipes dans quatre écoles sur quatre domaines d’enseignement et de recherche différents mais complémentaires.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les projets de recherches spécifiques
Plus de 10 procédures d'échanges et de dialogue sont en cours dont le but est de valider l'opportunité de mise en place de projets de recherches spécifiques entre les partenaires industriels, étatiques et les quatre écoles impliquées.
(détails non diffusables)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les projets de recherches CIEDS
Deux projets CIEDS dans les domaines de la robotique et dans le domaine de la modélisation impliquent actuellement les acteurs de la chaire ASC.
(détails non diffusables)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les publications
| 3- Correct-by-construction requirement decomposition | Georgios BAKIRTZIS Correct-by-construction requirement decomposition / Décomposition des exigences correcte par construction En ingénierie des systèmes, la décomposition précise des exigences est cruciale pour créer des composants de système bien définis et gérables, en particulier dans les domaines critiques pour la sécurité. Malgré ce besoin crucial, les méthodologies rigoureuses et descendantes pour décomposer efficacement des exigences complexes en sous-exigences précises et actionnables sont rares, surtout comparées à la richesse des techniques de vérification ascendantes. Dans cet article les auteurs démontrent l'efficacité et la faisabilité d'une approche correcte par construction à travers une étude de cas complète, mettant en évidence comment la méthodologie qu’ils proposent améliore l'interprétabilité, la traçabilité et la vérifiabilité des exigences du système. |
| 2- Safety Assurance under Uncertainties From Software to Cyber-Physical/Machine Learning Systems | Jérémy DUBUT L'assurance de la sécurité des systèmes logiciels n'a jamais été un problème aussi imminent qu'aujourd'hui. Les praticiens et les chercheurs qui travaillent sur ce problème sont confrontés à un défi unique aux systèmes logiciels modernes : les incertitudes. D'une part, la nature cyber-physique des systèmes logiciels modernes, comme l'illustrent les systèmes de conduite automatisée, impose de traiter les incertitudes environnementales et d'atténuer les risques qui en résultent. De plus, l'abondance de composants d'apprentissage automatique statistiques et d'unités massives de calcul numérique pour le raisonnement statistique, comme les réseaux de neurones profonds, rendent les systèmes difficiles à expliquer, comprendre, analyser ou vérifier. Dans son domaine d’expertise, Jérémy Dubut-Kross a corédigé le chapitre « Formal Specification of Temporal Properties » qui est une base pour de nombreux autres chapitres de l’ouvrage car il introduit ce que l'on appelle les spécifications formelles. Les spécifications formelles sont nécessaires chaque fois que l'on souhaite vérifier automatiquement si un système se comporte comme prévu pour une entrée donnée. Elles sont donc nécessaires dans de nombreuses méthodes de test et de vérification. |
| 1- Petri Nets and Higher-Dimensional Automata | Philipp SCHLEHUBER Les réseaux de Petri en tant qu’automates de dimensions supérieures, Les réseaux de Petri et leurs variantes sont souvent étudiés à travers leurs sémantiques entrelacées, c'est-à-dire en considérant des exécutions où, à chaque étape, une seule transition se produit. Cela constitue clairement une lacune, car les réseaux de Petri sont un modèle de concurrence réelle. Cet article revisite la sémantique des réseaux de Petri en tant qu'automates de dimension supérieure (ADS), comme introduit par van Glabbeek, qui prennent systématiquement en compte la concurrence. Les auteurs étendent la traduction pour inclure certaines caractéristiques courantes. Ils considèrent les réseaux avec arcs inhibiteurs, sous les deux sémantiques concurrentes utilisées dans la littérature, ainsi que les réseaux auto-modifiants généralisés. Enfin, les auteurs présentent un outil qui implémente leurs traductions. |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les séminaires & les ateliers
| Séminaire Systèmes de systèmes Opération CIEDS 2025 / 03 juillet 2025 (vidéos bientôt disponibles) | Keynote "les systèmes de systèmes de demain" par l'IGA Delphine La modélisation MBSE UAF sous CatiaMagic des systèmes de systèmes de défense par Gauthier Fanmuy (Dassault Systèmes) Utilisation des méthodes formelles pour la sureté de fonctionnement des systèmes critiques |
| Séminaire 2 Complex Systems | Complex systems seminars |
| Séminaire 1 Complex Systems | Complex systems seminars |
| Séminaire privé des partenaires ASC / 22 mai 2025 | Séminaire d'échange autour des enjeux de la robotique, des drones et de la place de l'IA dans les systèmes de défense. |
| Atelier hebdomadaire MBSE UAF d'un système de systèmes de défense | Début des ateliers hebdomadaires pour concevoir la méthodologie de modélisation MBSE selon le framework UAF d'un système de systèmes de défense. Participation de tous les partenaires ASC à ces ateliers et production des use-cases du Challenge ASC. |
| Journée Scientifique ASC 2024 / 15 mars 2024 | Intervention École polytechnique Intervention ENSTA Intervention Télécom Paris Intervention Télécom SudParis |
Les cours de la chaire ASC
| 2025 École polytechnique : Fillière Méthodes Formelles | Formal Methods and Foundations of Cyber-Physical Systems (FM track):
The 5 core courses of the track among which the students should choose at least 3, provide all the necessary theoretical and practical material for proof assistants (CSC_51051_EP, Ambroise,CSC_52003_EP), abstract interpretation (CSC_51075_EP) and model-checking, SAT/SMT (CSC_51075_EP, Jeremy) with various application domains in mind: program proofs and synthesis (CSC_51051_EP, Ambroise, CSC_51075_EP, CSC_52003_EP), and validation of cyber-physical and AI based systems (CSC_51075_EP, Jeremy). Formal methods had great success stories in designing correct systems, or finding bugs. For instance, formal methods have been instrumental in the design of the autonomous metro lines of RATP (e.g. line 14) and they are part of international standards for aeronautics such as DO178C. Formal methods have been included in the continuous development of operating systems and drivers at Microsoft - developing such tools as the SMT solver Z3 or the logical framework TLA+ for designing and proving concurrent and distributed systems. Intel has used formal methods since the discovery of the FDIV Pentium bug in 1994 and Amazon AWS systematically uses formal methods for the design and verification of its cloud services, used by 4.19 million customers worldwide in 2025. There are now a wealth of interactions of formal methods with other branches of mathematics and computer science, that are reflected in the program of this track: Logics and algorithmics: most properties of interest are undecidable, but some fragments or some abstractions lead to algorithmically tractable methods. SAT/SMT are the prototype NP-complete problems but heuristics allow for practical applications at scale. Quantum computing has non-intuitive mathematical semantics and algorithmics and needs specific verification techniques for proving correctness (complements you may want to take are then e.g. INF555, INF550, MDC_51005_EP,INF560, INF571, CSC_52003_EP) AI based systems are in dire need for formal methods, enhancing the confidence that users can have in such systems, by proving robustness of decisions (against e.g. adversarial attacks), privacy and fairness properties, explainability etc. (complements you may want to take are e.g. INF554, MAP553, MAP555, INF581, INF581a) Cyber-physical systems (distributed control systems), potentially powered by AI, are systems which interact with the physical world: autonomous cars and transportation systems, smartgrid, swarms of drones, medical apparatus etc. Bugs or failure to comply with specifications may induce huge financial losses or even kill customers, meaning that formal proofs are of great interest to this field (complements you may want to take are e.g. INF559, INF563, INF558, INF565, INF568, INF571) |
| 2024 Télécom SudParis : Complex Networks | Mots-clés : Grands Graphes, systèmes complexes, réseaux sociaux, graph du web, diffusion de l’information dans les grands graphes. 1 Overview Testing vs. Verification |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les interventions des partenaires
Les partenaires industriels de la chaire ASC (Dassault Aviation, Naval Group et KNDS France) interviennent chaque année en conférence ou en chargé de cours aux sein des Écoles de l'Institut Polytechnique de Paris impliquées.
Par ailleurs Dassault Systèmes fournit aux écoles les licences logicielles pour les rôles utilisés en cours en lors des projets (3DS, Catia, CatiaMagic, Dymola...)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les projets étudiants
| 2025 PSC École polytechnique / Naval Group | Sujet de physique sur les systèmes de navigation |
| 2025 PSC École polytechnique / CIEDS | Participation au challenge "Swarm rescue" du CIEDS |
| 2025 PSC École polytechnique / Dassault Aviation | Sujet d'informatique sur le calcul de trajectoire |
| 2025 PSC École polytechnique / Dassault Aviation | Sujet d'informatique sur les jumeaux numériques de structure |
| 2025 PSC École polytechnique / ASC | Création d'un scénario d'anticipation de défense sur le mode de la RedTeam défense de l'AID (Saison 2) |
| 2024 PSC École polytechnique / Dassault Aviation | Sujet de physique sur le givrage |
| 2024 PSC École polytechnique / Dassault Aviation | Sujet de physique sur les trainées de condensation |
| 2024 Cassiopée Télécom SudParis / Dassault Aviation | Participation au challenge UAV de Dassault Aviation |
| 2024 PSC École polytechnique / Dassault Aviation | Participation au challenge UAV de Dassault Aviation |
| 2024 École polytechnique / CIEDS | Participation au challenge "Swarm rescue" du CIEDS |
| 2024 Cassiopée Télécom SudParis / CIEDS | Participation au challenge "Swarm rescue" du CIEDS |
| 2024 ENSTA / Dassault Aviation | Participation au Challenge UAV de Dassault Aviation |
| 2024 PSC École polytechnique / ASC | Création d'un scénario d'anticipation de défense sur le mode de la RedTeam défense de l'AID |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Le challenge ASC
Le challenge ASC : une réponse à la volonté de la chaire de diffuser l’Architecture des Systèmes Complexes de manière transversale et commune aux Écoles de l'Institut Polytechnique de Paris.
Ce challenge a pour but d’apporter aux élèves participants des connaissances dans les domaines de :
- La complexité ;
- L’approche systémiques ;
- L’approche des systèmes de systèmes (SoS) ;
- L’ingénierie système basée sur les modèles (MBSE) ;
- La comparaison et l’évaluation de variantes d’architectures de SoS.
Pour accéder à la plateforme du challenge, cliquez ici.
Le périmètre de la Chaire
La chaire ASC est destinée à produire de nouvelles recherches et de nouveaux enseignements dans le domaine de l'Architecture des Systèmes Complexes
Pour les partenaires les enjeux sont multiples :
- Un partenariat renforcé entre quatre industriels de la défense, l’Agence pour l’Innovation de Défense et l’Institut Polytechnique de Paris, cadre qui permet de mieux prendre en compte les enjeux de souveraineté nationale au regard des attentes du ministère des Armées ;
- Un élargissement de l’offre de formation des écoles avec le développement d’une offre attractive de formation à destination des élèves de quatre écoles d’IP Paris dans le domaine des systèmes complexes ;
- Une plus grande attractivité de l’industrie de la défense et de ses métiers auprès des élèves des écoles d’IP Paris.
La durée de la chaire s'étend de juillet 2023 à septembre 2028, avec une possibilité de prorogation qui devra être validée par les partenaires.
Pour les partenaires, les avantages sont multiples :
- Rapprochement et collaboration entre le monde industriel, le monde de la défense et le monde académique ;
- Pour le monde industriel et celui de la défense : accès privilégié aux élèves des écoles d'ingénieurs pour mieux dialoguer, se comprendre et collaborer ;
- Pour le monde académique, accès direct aux problématiques concrètes de défense et de sécurité (besoins, use-cases...) ;
- Pour les élèves des écoles d'ingénieurs, accès privilégié aux entreprises (stages, sujets de projets, thèses, embauche…).
Aujourd'hui, beaucoup de technologies et de pratiques sont de natures duales et le moment où le monde de la défense était en avance et faisait l'objet de spin-off vers le domaine civil a laissé place à une période plus équilibrée ou beaucoup d'innovations émergent dans l'univers civil et font rapidement d'objet de spin-in vers le monde militaire.
Les conventions signées entre partenaires prévoient la possibilité d'intégration de nouveaux partenaires avec l'aval des partenaires actuels.
La production de la Chaire
Les publications de la chaire seront effectuées sur les canaux académiques classiques et dans les revues spécialisées. Cependant un relai vers ces publications sera systématiquement effectué sur le présent site IP Paris de la chaire.
La chaire étant encore en phase de montée en puissance, aucune formation spécifique n'a, pour l'instant, été générée.
Travailler avec la Chaire
L'organisation même de la chaire fournit un accès facilité entre les structures partenaires et les étudiants, doctorants, post doctorants et ingénieurs pour toutes les opportunités de recherche et/ou de travail.
Les offres sont directement publiées par les écoles mais sont systématiquement republiées sur le page LinkedIn de la chaire ASC : https://www.linkedin.com/company/chaire-asc/
L'organisation même de la chaire permet la mise en place dans les laboratoires concernés de projets de recherche. Toutes les offres sont publiées par les écoles et systématiquement republiées sur le page LinkedIn de la chaire ASC : https://www.linkedin.com/company/chaire-asc/
Les travaux produits par, ou sous la conduite des quatre enseignants-chercheurs de la chaire sont publiés selon les modalités classiques de la recherche académique. Seuls certains projets de recherche très spécifiques pourraient faire l'objet d'accords de confidentialité en limitant la publication.
La chaire organise tous les ans des séminaires dédiés à l'Architecture des Systèmes Complexes.
La première journée s'est tenue le 22 mars 2024.
Les interventions filmées des séminaires sont accessibles dans la partie "production" et sur la page LinkedIn de la Chaire.
Garder le contact
Par email : asc-contact@ip-paris.fr
Via le compte LinkedIn ASC
Par courrier : Chaire ASC, CIEDS / X'Novation center, Avenue Coriolis, 91120 Palaiseau
Le moyen le plus simple est de vous abonner à la page LinkedIn ASC en cliquant sur "+suivre".
https://www.linkedin.com/company/chaire-asc/
Vous serez ainsi avertis en temps réel de toutes les actualités de la chaire.
Coordonnées
Chaire ASC
CIEDS X'Novation Center
Avenue Coriolis
F-91120 Palaiseau
asc-contact@ip-paris.fr
Les acteurs
Le Conseil Académique en responsabilité de la chaire
Alexandre Chapoutot
Professeur associé, ENSTA
Vincent Gauthier
Professeur, Télécom SudParis
Éric Goubault
Professeur, École polytechnique
Laurent Pautet
Professeur, Télécom Paris
Dominique Blouin
Professeur associé, Télécom Paris, (s)
Natalia Kushik
Maître de conférence, Télécom SudParis, (s)
Sylvie Putot
Professeur, École polytechnique, (s)
Ciprian Teodorov
Professeur associé, ENSTA, (s)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les Enseignants-Chercheurs
Jérémy Dubut-Kross
École polytechnique
Vidéo - Présentation de Jérémy Dubut-Kross
Vidéo - Vision de Jérémy Dubut-Kross sur ses recherches
Mario Gleirscher
ENSTA
Vidéo - Présentation de Mario Gleirscher
Georgios Bakirtzis
Télécom Paris
Vidéo - Présentation de Georgios Bakirtzis
Philipp Schlehuber-Caissier
Télécom SudParis
Vidéo - Présentation de Philipp Schlehuber-Caissier
Vidéo - Vision de Philipp Schlehuber-Caissier sur ses recherches
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
L'équipe de support
(en cours de recrutement)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Le management de projet
François Plais
Directeur des opérations, CIEDS
Éloïse Berthier
Chargée de partenariats, CIEDS
Arnaud Gruet
Project Management Officer ASC, CIEDS
Marion Balladon
Chargée de communication ASC, CIEDS
Les axes académiques
La chaire est organisée autour de quatre équipes dans quatre écoles sur quatre domaines d’enseignement et de recherche différents mais complémentaires.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les projets de recherches spécifiques
Plus de 10 procédures d'échanges et de dialogue sont en cours dont le but est de valider l'opportunité de mise en place de projets de recherches spécifiques entre les partenaires industriels, étatiques et les quatre écoles impliquées.
(détails non diffusables)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les projets de recherches CIEDS
Deux projets CIEDS dans les domaines de la robotique et dans le domaine de la modélisation impliquent actuellement les acteurs de la chaire ASC.
(détails non diffusables)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les publications
| 3- Correct-by-construction requirement decomposition | Georgios BAKIRTZIS Correct-by-construction requirement decomposition / Décomposition des exigences correcte par construction En ingénierie des systèmes, la décomposition précise des exigences est cruciale pour créer des composants de système bien définis et gérables, en particulier dans les domaines critiques pour la sécurité. Malgré ce besoin crucial, les méthodologies rigoureuses et descendantes pour décomposer efficacement des exigences complexes en sous-exigences précises et actionnables sont rares, surtout comparées à la richesse des techniques de vérification ascendantes. Dans cet article les auteurs démontrent l'efficacité et la faisabilité d'une approche correcte par construction à travers une étude de cas complète, mettant en évidence comment la méthodologie qu’ils proposent améliore l'interprétabilité, la traçabilité et la vérifiabilité des exigences du système. |
| 2- Safety Assurance under Uncertainties From Software to Cyber-Physical/Machine Learning Systems | Jérémy DUBUT L'assurance de la sécurité des systèmes logiciels n'a jamais été un problème aussi imminent qu'aujourd'hui. Les praticiens et les chercheurs qui travaillent sur ce problème sont confrontés à un défi unique aux systèmes logiciels modernes : les incertitudes. D'une part, la nature cyber-physique des systèmes logiciels modernes, comme l'illustrent les systèmes de conduite automatisée, impose de traiter les incertitudes environnementales et d'atténuer les risques qui en résultent. De plus, l'abondance de composants d'apprentissage automatique statistiques et d'unités massives de calcul numérique pour le raisonnement statistique, comme les réseaux de neurones profonds, rendent les systèmes difficiles à expliquer, comprendre, analyser ou vérifier. Dans son domaine d’expertise, Jérémy Dubut-Kross a corédigé le chapitre « Formal Specification of Temporal Properties » qui est une base pour de nombreux autres chapitres de l’ouvrage car il introduit ce que l'on appelle les spécifications formelles. Les spécifications formelles sont nécessaires chaque fois que l'on souhaite vérifier automatiquement si un système se comporte comme prévu pour une entrée donnée. Elles sont donc nécessaires dans de nombreuses méthodes de test et de vérification. |
| 1- Petri Nets and Higher-Dimensional Automata | Philipp SCHLEHUBER Les réseaux de Petri en tant qu’automates de dimensions supérieures, Les réseaux de Petri et leurs variantes sont souvent étudiés à travers leurs sémantiques entrelacées, c'est-à-dire en considérant des exécutions où, à chaque étape, une seule transition se produit. Cela constitue clairement une lacune, car les réseaux de Petri sont un modèle de concurrence réelle. Cet article revisite la sémantique des réseaux de Petri en tant qu'automates de dimension supérieure (ADS), comme introduit par van Glabbeek, qui prennent systématiquement en compte la concurrence. Les auteurs étendent la traduction pour inclure certaines caractéristiques courantes. Ils considèrent les réseaux avec arcs inhibiteurs, sous les deux sémantiques concurrentes utilisées dans la littérature, ainsi que les réseaux auto-modifiants généralisés. Enfin, les auteurs présentent un outil qui implémente leurs traductions. |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les séminaires & les ateliers
| Séminaire Systèmes de systèmes Opération CIEDS 2025 / 03 juillet 2025 (vidéos bientôt disponibles) | Keynote "les systèmes de systèmes de demain" par l'IGA Delphine La modélisation MBSE UAF sous CatiaMagic des systèmes de systèmes de défense par Gauthier Fanmuy (Dassault Systèmes) Utilisation des méthodes formelles pour la sureté de fonctionnement des systèmes critiques |
| Séminaire 2 Complex Systems | Complex systems seminars |
| Séminaire 1 Complex Systems | Complex systems seminars |
| Séminaire privé des partenaires ASC / 22 mai 2025 | Séminaire d'échange autour des enjeux de la robotique, des drones et de la place de l'IA dans les systèmes de défense. |
| Atelier hebdomadaire MBSE UAF d'un système de systèmes de défense | Début des ateliers hebdomadaires pour concevoir la méthodologie de modélisation MBSE selon le framework UAF d'un système de systèmes de défense. Participation de tous les partenaires ASC à ces ateliers et production des use-cases du Challenge ASC. |
| Journée Scientifique ASC 2024 / 15 mars 2024 | Intervention École polytechnique Intervention ENSTA Intervention Télécom Paris Intervention Télécom SudParis |
Les cours de la chaire ASC
| 2025 École polytechnique : Fillière Méthodes Formelles | Formal Methods and Foundations of Cyber-Physical Systems (FM track):
The 5 core courses of the track among which the students should choose at least 3, provide all the necessary theoretical and practical material for proof assistants (CSC_51051_EP, Ambroise,CSC_52003_EP), abstract interpretation (CSC_51075_EP) and model-checking, SAT/SMT (CSC_51075_EP, Jeremy) with various application domains in mind: program proofs and synthesis (CSC_51051_EP, Ambroise, CSC_51075_EP, CSC_52003_EP), and validation of cyber-physical and AI based systems (CSC_51075_EP, Jeremy). Formal methods had great success stories in designing correct systems, or finding bugs. For instance, formal methods have been instrumental in the design of the autonomous metro lines of RATP (e.g. line 14) and they are part of international standards for aeronautics such as DO178C. Formal methods have been included in the continuous development of operating systems and drivers at Microsoft - developing such tools as the SMT solver Z3 or the logical framework TLA+ for designing and proving concurrent and distributed systems. Intel has used formal methods since the discovery of the FDIV Pentium bug in 1994 and Amazon AWS systematically uses formal methods for the design and verification of its cloud services, used by 4.19 million customers worldwide in 2025. There are now a wealth of interactions of formal methods with other branches of mathematics and computer science, that are reflected in the program of this track: Logics and algorithmics: most properties of interest are undecidable, but some fragments or some abstractions lead to algorithmically tractable methods. SAT/SMT are the prototype NP-complete problems but heuristics allow for practical applications at scale. Quantum computing has non-intuitive mathematical semantics and algorithmics and needs specific verification techniques for proving correctness (complements you may want to take are then e.g. INF555, INF550, MDC_51005_EP,INF560, INF571, CSC_52003_EP) AI based systems are in dire need for formal methods, enhancing the confidence that users can have in such systems, by proving robustness of decisions (against e.g. adversarial attacks), privacy and fairness properties, explainability etc. (complements you may want to take are e.g. INF554, MAP553, MAP555, INF581, INF581a) Cyber-physical systems (distributed control systems), potentially powered by AI, are systems which interact with the physical world: autonomous cars and transportation systems, smartgrid, swarms of drones, medical apparatus etc. Bugs or failure to comply with specifications may induce huge financial losses or even kill customers, meaning that formal proofs are of great interest to this field (complements you may want to take are e.g. INF559, INF563, INF558, INF565, INF568, INF571) |
| 2024 Télécom SudParis : Complex Networks | Mots-clés : Grands Graphes, systèmes complexes, réseaux sociaux, graph du web, diffusion de l’information dans les grands graphes. 1 Overview Testing vs. Verification |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les interventions des partenaires
Les partenaires industriels de la chaire ASC (Dassault Aviation, Naval Group et KNDS France) interviennent chaque année en conférence ou en chargé de cours aux sein des Écoles de l'Institut Polytechnique de Paris impliquées.
Par ailleurs Dassault Systèmes fournit aux écoles les licences logicielles pour les rôles utilisés en cours en lors des projets (3DS, Catia, CatiaMagic, Dymola...)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les projets étudiants
| 2025 PSC École polytechnique / Naval Group | Sujet de physique sur les systèmes de navigation |
| 2025 PSC École polytechnique / CIEDS | Participation au challenge "Swarm rescue" du CIEDS |
| 2025 PSC École polytechnique / Dassault Aviation | Sujet d'informatique sur le calcul de trajectoire |
| 2025 PSC École polytechnique / Dassault Aviation | Sujet d'informatique sur les jumeaux numériques de structure |
| 2025 PSC École polytechnique / ASC | Création d'un scénario d'anticipation de défense sur le mode de la RedTeam défense de l'AID (Saison 2) |
| 2024 PSC École polytechnique / Dassault Aviation | Sujet de physique sur le givrage |
| 2024 PSC École polytechnique / Dassault Aviation | Sujet de physique sur les trainées de condensation |
| 2024 Cassiopée Télécom SudParis / Dassault Aviation | Participation au challenge UAV de Dassault Aviation |
| 2024 PSC École polytechnique / Dassault Aviation | Participation au challenge UAV de Dassault Aviation |
| 2024 École polytechnique / CIEDS | Participation au challenge "Swarm rescue" du CIEDS |
| 2024 Cassiopée Télécom SudParis / CIEDS | Participation au challenge "Swarm rescue" du CIEDS |
| 2024 ENSTA / Dassault Aviation | Participation au Challenge UAV de Dassault Aviation |
| 2024 PSC École polytechnique / ASC | Création d'un scénario d'anticipation de défense sur le mode de la RedTeam défense de l'AID |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Le challenge ASC
Le challenge ASC : une réponse à la volonté de la chaire de diffuser l’Architecture des Systèmes Complexes de manière transversale et commune aux Écoles de l'Institut Polytechnique de Paris.
Ce challenge a pour but d’apporter aux élèves participants des connaissances dans les domaines de :
- La complexité ;
- L’approche systémiques ;
- L’approche des systèmes de systèmes (SoS) ;
- L’ingénierie système basée sur les modèles (MBSE) ;
- La comparaison et l’évaluation de variantes d’architectures de SoS.
Pour accéder à la plateforme du challenge, cliquez ici.
Le périmètre de la Chaire
La chaire ASC est destinée à produire de nouvelles recherches et de nouveaux enseignements dans le domaine de l'Architecture des Systèmes Complexes
Pour les partenaires les enjeux sont multiples :
- Un partenariat renforcé entre quatre industriels de la défense, l’Agence pour l’Innovation de Défense et l’Institut Polytechnique de Paris, cadre qui permet de mieux prendre en compte les enjeux de souveraineté nationale au regard des attentes du ministère des Armées ;
- Un élargissement de l’offre de formation des écoles avec le développement d’une offre attractive de formation à destination des élèves de quatre écoles d’IP Paris dans le domaine des systèmes complexes ;
- Une plus grande attractivité de l’industrie de la défense et de ses métiers auprès des élèves des écoles d’IP Paris.
La durée de la chaire s'étend de juillet 2023 à septembre 2028, avec une possibilité de prorogation qui devra être validée par les partenaires.
Pour les partenaires, les avantages sont multiples :
- Rapprochement et collaboration entre le monde industriel, le monde de la défense et le monde académique ;
- Pour le monde industriel et celui de la défense : accès privilégié aux élèves des écoles d'ingénieurs pour mieux dialoguer, se comprendre et collaborer ;
- Pour le monde académique, accès direct aux problématiques concrètes de défense et de sécurité (besoins, use-cases...) ;
- Pour les élèves des écoles d'ingénieurs, accès privilégié aux entreprises (stages, sujets de projets, thèses, embauche…).
Aujourd'hui, beaucoup de technologies et de pratiques sont de natures duales et le moment où le monde de la défense était en avance et faisait l'objet de spin-off vers le domaine civil a laissé place à une période plus équilibrée ou beaucoup d'innovations émergent dans l'univers civil et font rapidement d'objet de spin-in vers le monde militaire.
Les conventions signées entre partenaires prévoient la possibilité d'intégration de nouveaux partenaires avec l'aval des partenaires actuels.
La production de la Chaire
Les publications de la chaire seront effectuées sur les canaux académiques classiques et dans les revues spécialisées. Cependant un relai vers ces publications sera systématiquement effectué sur le présent site IP Paris de la chaire.
La chaire étant encore en phase de montée en puissance, aucune formation spécifique n'a, pour l'instant, été générée.
Travailler avec la Chaire
L'organisation même de la chaire fournit un accès facilité entre les structures partenaires et les étudiants, doctorants, post doctorants et ingénieurs pour toutes les opportunités de recherche et/ou de travail.
Les offres sont directement publiées par les écoles mais sont systématiquement republiées sur le page LinkedIn de la chaire ASC : https://www.linkedin.com/company/chaire-asc/
L'organisation même de la chaire permet la mise en place dans les laboratoires concernés de projets de recherche. Toutes les offres sont publiées par les écoles et systématiquement republiées sur le page LinkedIn de la chaire ASC : https://www.linkedin.com/company/chaire-asc/
Les travaux produits par, ou sous la conduite des quatre enseignants-chercheurs de la chaire sont publiés selon les modalités classiques de la recherche académique. Seuls certains projets de recherche très spécifiques pourraient faire l'objet d'accords de confidentialité en limitant la publication.
La chaire organise tous les ans des séminaires dédiés à l'Architecture des Systèmes Complexes.
La première journée s'est tenue le 22 mars 2024.
Les interventions filmées des séminaires sont accessibles dans la partie "production" et sur la page LinkedIn de la Chaire.
Garder le contact
Par email : asc-contact@ip-paris.fr
Via le compte LinkedIn ASC
Par courrier : Chaire ASC, CIEDS / X'Novation center, Avenue Coriolis, 91120 Palaiseau
Le moyen le plus simple est de vous abonner à la page LinkedIn ASC en cliquant sur "+suivre".
https://www.linkedin.com/company/chaire-asc/
Vous serez ainsi avertis en temps réel de toutes les actualités de la chaire.
Coordonnées
Chaire ASC
CIEDS X'Novation Center
Avenue Coriolis
F-91120 Palaiseau
asc-contact@ip-paris.fr