Ce site utilise des cookies et autres technologies similaires pour vous offrir un meilleur service.

Si vous ne changez pas les paramètres de votre navigateur, vous acceptez l'utilisation de cookies sur ce site. En savoir plus

J'ai compris

Les Cookies

Cette rubrique vous permet d’en savoir plus sur l’origine et l’usage des informations de navigation traitées à l’occasion de votre consultation de notre site et sur vos droits.

Ainsi, lors de la consultation de notre site, des informations relatives à votre navigation sont susceptibles d’être enregistrées dans des fichiers Cookies installés sur votre terminal (ordinateur, tablette, smartphone, etc.).

Ces cookies sont émis par le site du CEA LIST dans le but de faciliter votre navigation sur notre site.

Sachez que seul l’émetteur d’un cookie est susceptible de lire ou de modifier des informations qui y sont contenues.

Si vous partagez l’utilisation de votre terminal avec d’autres personnes, nous ne pouvons pas nous assurer de manière certaine que les services et publicités destinés à votre terminal correspondent bien à votre propre utilisation de ce terminal et non à celle d’un autre utilisateur de ce terminal.

Les cookies que nous émettons

Les cookies que nous installons, dans votre terminal, nous permettent de reconnaître votre navigateur lorsque vous vous connectez à notre site.

Soucieux de servir nos clients au mieux, nous émettons des cookies afin :

  • D’établir des statistiques de fréquentation (nombre de visites, de pages vues, …) afin de suivre et d’améliorer la qualité de nos services.
  • D’adapter la présentation de notre site aux préférences d’affichage de votre terminal.
  • De mémoriser des informations saisies dans des formulaires, gérer et sécuriser l’accès à des espaces réservés et personnels tels que votre compte, le cas échéant.

Vos choix concernant les cookies

Plusieurs possibilités vous sont offertes pour gérer les cookies. Tout paramétrage que vous pouvez entreprendre sera susceptible de modifier votre navigation sur Internet et vos conditions d’accès à certains services nécessitant l’utilisation de Cookies.

Vous pouvez exprimer et modifier à tout moment vos souhaits en matière de cookies, par les moyens décrits ci-dessous.

Les choix qui vous sont offerts par votre logiciel de navigation

Vous pouvez configurer votre logiciel de navigation de manière à ce que des cookies soient enregistrés dans votre terminal ou, au contraire, qu’ils soient rejetés, soit systématiquement, soit selon leur émetteur.

Vous pouvez également configurer votre logiciel de navigation de manière à ce que l’acceptation ou le refus des cookies vous soient proposés ponctuellement, avant qu’un cookie soit susceptible d’être enregistré dans votre terminal.

Nous vous informons que si votre navigateur est configuré de manière à refuser tous les cookies, vous ne pourrez pas profiter de fonctions essentielles de notre site. Nous vous invitons à paramétrer votre navigateur au mieux.

La configuration de chaque navigateur est différente. Elle est décrite dans le menu d’aide de votre navigateur, qui vous permettra de savoir de quelle manière modifier vos souhaits en matière de cookies.

Vous trouverez ci-dessous des éléments de paramétrage des principaux navigateurs.

Internet explorer

  1. Dans le menu « Outils » en haut à droite de la barre de navigation, sélectionnez « Options Internet »
  2. Cliquez sur l’onglet « Confidentialité »
  3. Vous pouvez paramétrer vos choix concernant les cookies à l’aide d’un curseur. Si vous cliquez sur « Avancé » vous pouvez faire une gestion manuelle et avancée des cookies
  4. Sauvegardez vos préférences en cliquant sur « OK »

Mozilla Firefox

  1. Dans le menu en haut de la page cliquez sur « Outils » puis « Options »
  2. Sélectionnez l’onglet « Vie privée »
  3. Paragraphe Historique : Dans le menu déroulant « Règles de conservation », cliquez sur « utiliser les paramètres personnalisés pour l’historique »
  4. Les paramètres qui s’affichent vous permettent de paramétrer vos choix concernant les cookies et leur durée de conservation (refuser tous les cookies, d’accepter les cookies en refusant les cookies tiers)
  5. Sauvegardez vos préférences en cliquant sur « OK »

Google Chrome

  1. Cliquez sur l’icône personnaliser et contrôler Google Chrome située en haut à droite de la barre de navigation
  2. Sélectionnez « Paramètres » puis activez « afficher les paramètres avancés »
  3. Dans la partie confidentialité, activez le menu « paramètres de contenus »
  4. Paramétrez vos choix concernant les cookies, sélectionnez « Blocage des sites tiers »

Safari

  1. Dans la barre de menu en haut, cliquez sur « Safari », puis « Préférences »
  2. Sélectionnez l’icône « Confidentialité »
  3. Paramétrez vos choix concernant les cookies (Blocage des sites tiers)

Conception et analyse

Le List, institut de CEA Tech, s’appuie sur son atelier d’ingénierie par les modèles, Papyrus, pour fournir des solutions industrielles facilitant la spécification,  la conception et la réalisation correctes par construction de systèmes complexes, possiblement critiques, et en particulier de systèmes à composante fortement logicielle. Sur la base de normes unificatrices (UML, SysML, MARTE, AUTOSAR), cet environnement méthodologique permet l’analyse de risque (sûreté, sécurité) et l’optimisation (temps réel, allocation) des systèmes dès l’étape de modélisation. D’autre part, il supporte également la spécialisation et l’extension de façon à s’adapter aux spécificités sous-jacentes à des domaines d’application métiers (par ex., transport, santé, manufacturing et énergies) ou des préoccupations particulières comme par exemple la sûreté, la sécurité, l’évolutivité ou encore la certificabilité.

Les chercheurs collaborent avec des industriels de l’automobile, du ferroviaire, des télécommunications et du manufacturing avancé. 

Parmi nos partenaires académiques

Ecole Centrale Paris, LIFL (Lille), UBO (Brest), MDH (Mälardalen University, Suède), UBO (Brest) et Fraunhofer Fokus (Berlin, Allemagne), Scuola Superiore Sant’Anna (Pise, Italie).

Atouts

  • Une grande expertise en ingénierie des modèles et des langages reconnue à l’international, tant au niveau académique, qu’industriel. 
  • Implication dans les organismes de normalisation internationaux (par ex., OMG et AUTOSAR)
  • Leadership du projet open-source Papyrus, pour le support à la modélisation
  • Un ensemble de technologie permettant une exploitation efficaces des modèles ; par exemple, pour des analyse de surété et de sécurité, la génération de code et le déploiement, la génération de test et la simulation de modèles.

Technologies majeures

Simulation de modèles de systèmes

Simulation de modèles de systèmes - CEA LIST

Descriptif

Moka est une extension de Papyrus dédiée à la simulation de systèmes. Il permet de faire fonctionner ces modèles en dynamique pour tester des modes de défaillance, détecter des erreurs, des lacunes ou des incohérences. Moka implémente les normes OMG liées à l’exécution de modèles UML (foundational UML – fUML, et Precise Semantics of UML Composite Structures – PSCS) de façon à ce que les simulations soient réalisées conformément à la sémantique normative d’UML. L’outil peut néanmoins être paramétré par d’autres sémantiques d’exécution (par exemple, en lien avec l’utilisation de profils UML), afin d’offrir une expérience utilisateur adaptée aux domaines d’application ciblés.

Applications

Prototypage rapide de systèmes, modélisation et validation de spécifications exécutables, simulation et déverminage de modèle.

Projets majeurs

Publications

 

Analyse formelle de modèles de systèmes

Analyse formelle de modèles de systèmes - CEA LIST

Descriptif

Diversity est une extension de Papyrus spécialisée dans l’analyse formelle de systèmes décrits par la plateforme. Les objectifs des analyses sont essentiellement de deux ordres : permettre d’une part de  déboguer des modèles de systèmes (recherche de deadlock – preuves de propriétés – analyse d’atteignabilité…), et d’autre part tester des systèmes en utilisant des modèles comme références aussi bien pour générer automatiquement des cas de test que pour évaluer la conformité de traces d’exécutions aux modèles. L’utilisation des fonctionnalités offertes par DIVERSITY peut s’inscrire dans une démarche de certification.

Applications

Analyse et débogage de modèles, génération automatique de test à partir de modèles, analyse automatique de traces d’exécutions et production de verdicts associés 

Projets majeurs

  • PERFECT, projet ANR
  • CONNEXION , projet BGLE. 
  • PRAGMALIST. Collaboration directe avec la société PragmaDev.
  • FSF, programme IRT SystemX.
  • SESAMGRID, projet BGLE
  • OpenES, projet CATRENE. 

Publications

 

Sûreté et sécurité de modèles de systèmes

Sûreté et sécurité de modèles de systèmes - CEA LIST

Descriptif

Sophia est une extension de Papyrus dédiée à l’aide à la conduite d’analyses de sécurité fonctionnelle sur la base de systèmes décrits avec Papyrus (en SysML ou langages dédiés) dans la plateforme. Elle met en œuvre des techniques d’analyse par arbres de défaillance (AdD), recherche de coupes minimales et d’analyses des modes de défaillance et de leurs effets (AMDE) pour les aspects qualitatifs et de conduire également des études probabilistes pour les aspects quantitatifs. Le fait d’utiliser le même modèle pour la conception et pour l’analyse de sécurité évite les erreurs d’interprétation et réduit le temps et le coût de conception.  

Applications

Aide aux études de sûreté et de fiabilité (domaines automobile, ferroviaire, robotique, santé…). Extensions au domaine de la sécurité (inocuité, confidentialité, etc…) associant les volets cyber et physique.

Projets majeurs

Publications

  • Nataliya Yakymets, Yupanqui Munoz Julho, Agnes Lanusse. Sophia framework for model-based safety analysis. Congrès Lambda Mu de maîtrise des risques et de sûreté de fonctionnement, October 21-23, Dijon, France, 2014.
  • N. Yakymets, S. Dhouib, H. Jaber, A. Lanusse. Model-Driven Safety Assessment of Robotic Systems. 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS’2013, November 3-7, Tokyo, Japan, 2013.