Groupe Conception et Analyse des Systèmes Critiques (CASC)
Le groupe Conception et Analyse des Systèmes Critiques (CASC) – s’intéresse aux méthodes, processus et outils supports à l’Ingénierie Système et l’Ingénierie des Systèmes, avec comme objectifs :
pour l’Ingénierie Système, d’étendre l’état de l’art en termes de méthodologie de conception, et d’outils support pour la simulation/vérification ou l’analyse de sûreté ;
pour l’Ingénierie des Systèmes, de contribuer au processus d’ingénierie des Systèmes Critiques à Logiciel Prépondérant par la définition et la modélisation de nouvelles architectures systèmes, l’intégration de nouvelles plates-formes matérielles, et l’analyse formelle de ces systèmes.
CASC couvre plusieurs facettes de l’ingénierie d’un système : ingénierie système, ingénierie dirigée par les modèles, synthèse de systèmes et simulation distribuée et temps réel. Nos contributions sont appliquées au domaine aéronautique et spatial, mais aussi plus largement aux systèmes embarqués et cyberphysiques.
Les contributions du groupe sont présentées au travers des publications sur OATAO et des logiciels dont certains sont librement diffusables.
Thèmes de recherche
CASC est organisé autour de deux thèmes de recherche :
- Ingénierie système : processus et modèles
- Architecture et Simulation des systèmes cyberphysiques
Thème Ingénierie Système : processus et modèles
Le thème Ingénierie Système : processus et modèles s’intéresse à l’amélioration continue des méthodes et processus de conception de système. Nos contributions visent :
- Les processus amont de recueil des besoins et d’ingénierie collaborative permettent des analyses de mission et d’opération. Ainsi, deux axes de recherche privilégiant les aspects d’analyse de sécurité visent à fédérer des parties prenantes essentielles (client, équipes, projet, opérateur) autour de la conception amont :
- méthodologie d’ingénierie collaborative basée sur des modèles pour la conception de systèmes autonomes sûrs (nano satellites, drones) avec le projet NANOSTAR
- Modélisation et analyse du comportement d’un opérateur pilote du point de vue de la sécurité/sûreté des actions spécifiées : outil UCASim
- L’Ingénierie Dirigée par les Modèles (MBSE), et son adéquation aux techniques d’analyses formelles d’une part, de génération de code d’autre part, en se basant sur des standards établis :
- SysML : contributions sur un triptyque (langage, méthode, outils) avec emphase sur la vérification formelle et la génération de tests ; l’outil TTool (Telecom ParisTech) sert à valider les contributions et à les évaluer sur des systèmes aérospatiaux.
- AADL : contributions à la rédaction du standard AADL AS5506. Les travaux de recherche en cours étude l’applicabilité d’analyses (model checking, preuve de programme, ordonnancement, etc), et la génération de code pour des systèmes critiques pour l’aéronautique et le spatial. Ces contributions sont disponibles au travers de Ocarina et TASTE (partenariat avec l’ESA) ;
- L’utilisation des méthodes formelles (preuves de programme, méthodes SAT/SMT, …) pour la conception rigoureuse de fonctions avioniques peut se décliner sur les différentes étapes de conception et d’implantation d’un produit : vérification de cohérence au niveau de l’architecture, preuve de bon fonctionnement des outils de transformation de modèles/génération de code, preuve de la correction du code applicatif à embarquer.
Thème Architecture et Simulation des systèmes cyberphysiques
Le thème Architecture et Simulation des systèmes cyberphysiques se concentre sur les étapes de V&V de systèmes critiques, notamment en lien avec la plateforme PRISE.
- Architectures avioniques nouvelles : prise en compte des nouveaux paradigmes processeurs et réseaux, et leur intégration sûre dans une plateforme avionique (projet SMARTIES) ;
- Simulation de systèmes, basés sur des outils de l’état de l’art
- Simulation distribuée temps réel, au travers de l’implantation du standard HLA par l’intergiciel CERTI développé en partenariat avec l’ONERA. CERTI implante les versions 1.3 et 1516 du standard de simulation HLA.
- Interopérabilité et couplage de modèles de simulations pour les systèmes cyberphysiques, avec l’outil Ptolemy-HLA. Cet environnement de cosimulation distribuée permettant le couplage de deux outils open-source, Ptolemy II et CERTI/HLA. Il permet de tirer parti des modèles de calcul de Ptolemy, et du standard HLA pour l’interopérabilité et la distribution déterministe des simulations.