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)

Validation et vérification

Le List, institut de CEA Tech, développe des méthodes outillées innovantes pour la vérification et la validation formelle de systèmes à logiciels prépondérants. Reconnues internationalement, celles-ci permettent d’aborder des questions de sûreté et de sécurité des codes aujourd’hui hors de portée des méthodes traditionnelles de vérification. 

Les équipes de recherche du List conçoivent et mettent en œuvre des analyses automatisées pour augmenter la confiance dans les systèmes logiciels, en détecter les vulnérabilités, garantir la conformité à leurs spécifications, et en accélérer la certification. Ils collaborent avec de larges écosystèmes industriels en particulier dans les domaines de l’énergie et du nucléaire ; des transports aéronautiques, spatiaux, ferroviaires, automobiles et maritimes ; des communications ; du médical ou encore de la finance.

Parmi nos partenaires académiques

SRI (Californie), NASA (Virginie), Fraunhofer (Berlin), INRIA, CNRS, Université Paris-Saclay, Ecole Polytechnique, Supélec.

Atouts

  • Expertise scientifique sur les méthodes et techniques de vérification et de validation formelles. 
  • Forte reconnaissance internationale, collaborations avec des organismes de référence (Fraunhofer, SRI International, NASA, College University of New York).
  • Relations pérennes et soutenues avec les industriels de domaines comme l’avionique, le ferroviaire et le nucléaire, très en pointe sur les systèmes critiques.
  • Collaborations avec plusieurs autorités de certification nationales et internationales : ANSSI, IRSN, ETSI, NIST.

Technologies majeures

Simulation et plateformes virtuelles pour la validation

Simulation et plateformes virtuelles pour la validation - CEA LIST

Descriptif

UNISIM est un environnement de développement de plateformes virtuelles facilitant la simulation et l’exploration de systèmes logiciels-matériels complexes. UNISIM fournit un ensemble de services – debuggers, loaders – permettant l’exécution et l’observation fine des comportements du système. UNISIM peut servir de base au développement de modules de simulation SystemC,  à la simulation hybride associant composants matériels et virtuels, au test non-intrusif de logiciels, et en particulier pour l’accélération de l’intégration logiciel-matériel.

Applications

Automobile, aérospatial, énergie

Projets majeurs

Publications

 

Analyse de codes sources

Analyse de codes sources - CEA LIST

Descriptif

Frama-C est une plateforme d’analyse de codes sources. Elle met en œuvre des techniques  d’interprétation abstraite, de vérification déductive, de slicing et d’analyse dynamique dont la caractéristique commune est de reposer sur des méthodes formelles qui assurent que leurs résultats sont rigoureusement corrects. Dans une dynamique open-source, cette plateforme permet non seulement le développement d’approches variées par une communauté d’utilisateurs divers, mais aussi de combiner ces approches pour atteindre des objectifs de validation ambitieux. Ces analyses sont particulièrement adaptées à des programmes dans lesquels la sûreté de fonctionnement, ou la sécurité face aux actions malveillantes, est essentielle.

Applications

Nucléaire, avionique, ferroviaire, maritime, communications, médical, finance

Projets majeurs

  • projet ANR SOPRANO
  • projet européen STANCE
  • projet DARPA Chekofv (USA)

Publications

 

Vérification et validation  de modèles dédiés aux systèmes réactifs critiques

Vérification et validation  de modèles dédiés aux systèmes réactifs critiques - CEA LIST

Descriptif

GATeL est une suite de vérification et de validation pour modèles décrits en SCADE. Ces modèles sont utilisés pour décrire des systèmes de contrôle/commande réactifs, en particulier dans les secteurs de l'aéronautique, du rail et du nucléaire. GATeL permet de faire de la preuve de propriétés sur ces modèles SCADE tout en offrant différentes fonctionnalités de simulation/animation de modèles, de définition de critère de sélection de tests, d’automatisation de la génération de tests selon ces critères, et de mesure de leur couverture. 

Applications

Nucléaire, ferroviaire, avionique

Projets majeurs

Publications