Ingénierie basée sur les modèles
La puissance d’abstraction offerte par les approches orientées modèles permet de gérer la complexité rencontrée tout au long du cycle de vie de systèmes, depuis leur spécification, conception, développement, vérification et validation jusqu’à leur mise en opération ainsi que leur maintenance et évolution. L’outillage logiciel associé à ces approches orientées modèles reste néanmoins difficile à maîtriser surtout à un niveau systémique, pour des ingénieurs de diverses disciplines tels que la mécanique, l’électricité, la microélectronique et l’informatique logicielle. La haute composante logicielle et l’ubiquité de l’interconnexion des systèmes cyber-physiques modernes forcent tous ces ingénieurs à développer une vision systémique afin d’appréhender les impacts de leurs décisions dans un contexte de systèmes de systèmes cyber-physiques.
Garantir l’interopérabilité, la sécurité, la fiabilité mais aussi l’évolutivité ou la certificabilité à des coûts contrôlés est un enjeu majeur pour les concepteurs de systèmes de transports, de dispositifs et appareils médicaux ainsi que dans des contextes Smart Cities ou Industrie 4.0.
L’expertise et les compétences du CETIC sur les approches et outils logiciels orientés modèles lui permettent d’assister ses partenaires industriels actifs dans tout ou une partie du cycle de vie de développement et d’exploitation de systèmes à haute composante logicielle.
Le CETIC s’intéresse plus spécifiquement :
- Aux méthodologies et outils de modélisation standard (UML et OCL, SysML, …) et spécifiques à un domaine (Domain Specific Modeling Language ou DSML), en ce compris pour leur adoption progressive ;
- A l’automatisation de tâches tout au long du cycle de vie, notamment l’utilisation de modèles pour générer du code, des documents, des tests ou mêmes, d’autres modèles ainsi que faciliter le développement par ligne de produits logiciels
Aux techniques de modélisation de propriétés de cyber-sécurité et de sûreté de fonctionnement, pouvant se reposer sur des outils de preuve (model-checking, B, Event-B). - Un accent essentiel est mis sur l’application à des systèmes cyber-physiques et en particulier, à des systèmes critiques pour la sûreté dans les domaines d’applications visé par la plate-forme d’innovation CPSET. Pour ce faire, le CETIC prend en compte les divers standards applicables, tant technologiques que spécifiques à un domaine d’application.
