La production de la chaire ASC
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 4 Complex Systems | Complex systems seminars Lien vidéo (à venir) |
| Séminaire 3 Complex Systems | Complex systems seminars |
| Séminaire privé des partenaires ASC / 09 septembre 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. |
| 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 |