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
- Dans le menu « Outils » en haut à droite de la barre de navigation, sélectionnez « Options Internet »
- Cliquez sur l’onglet « Confidentialité »
- 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
- Sauvegardez vos préférences en cliquant sur « OK »
Mozilla Firefox
- Dans le menu en haut de la page cliquez sur « Outils » puis « Options »
- Sélectionnez l’onglet « Vie privée »
- Paragraphe Historique : Dans le menu déroulant « Règles de conservation », cliquez sur « utiliser les paramètres personnalisés pour l’historique »
- 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)
- Sauvegardez vos préférences en cliquant sur « OK »
Google Chrome
- Cliquez sur l’icône personnaliser et contrôler Google Chrome située en haut à droite de la barre de navigation
- Sélectionnez « Paramètres » puis activez « afficher les paramètres avancés »
- Dans la partie confidentialité, activez le menu « paramètres de contenus »
- Paramétrez vos choix concernant les cookies, sélectionnez « Blocage des sites tiers »
Safari
- Dans la barre de menu en haut, cliquez sur « Safari », puis « Préférences »
- Sélectionnez l’icône « Confidentialité »
- Paramétrez vos choix concernant les cookies (Blocage des sites tiers)
SYSTÈMES EMBARQUÉS
44 Contrats |
45 Brevets |
Des matériels et des logiciels à haut niveau de sûreté, de sécurité, de fiabilité et de performance.
Le List, institut de CEA Tech, couvre tous les aspects du développement des logiciels et des systèmes embarqués en offrant des méthodes, des outils et des composants qui permettent d'optimiser la qualité et la performance des systèmes, tels que les outils open source Papyrus et Frama-C diffusés dans le monde entier.
Les aspects architecture, matériel et logiciel sont intégrés au service de la performance globale du système, quelle que soit sa complexité : système multifonctions, système critique, gestion du big data…
190 ingénieurs-chercheurs se consacrent à cinq sujets en intégrant les exigences de sûreté, sécurité, fiabilité et performance :
- conception et analyse
- validation et vérification
- intégration de capteurs
- composants et IPs pour la fiabilité, la sûreté et la sécurité
- intégration de capteurs
Découvrez les cinq thématiques du List du programme de recherche systèmes embarqués
-
Conception et analyse
Le List 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 corrects de systèmes complexes et en particulier de systèmes à composante fortement logicielle.
Cet environnement méthodologique permet d’une part de bénéficier des bienfaits de l’usage de normes (par ex., le langage de modélisation unifié UML et ses extensions pour les systèmes et le domaine du temps-réel, à savoir respectivement SysML et MARTE). D’autre part, il supporte également la spécialisation...
Lire la suite
-
Validation et vérification
Le List 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...
Lire la suite
-
Intégration de capteurs
Le List intègre des capteurs de tous types, en associant de manière cohérente les transducteurs, les convertisseurs, les structures de calcul et de stockage et le traitement du signal. Le système peut prendre la forme d’une carte électronique ou d’un composant intégré, et être rendu tolérant aux environnements radiatifs, aux températures élevées. Les chercheurs collaborent avec des industriels de l’aéronautique, du ferroviaire, de l’automobile et de l’énergie. Parmi leurs domaines d’expertise : les capteurs d’images et le diagnostic et la surveillance de réseaux filaires...
Lire la suite
-
Composants HW/SW sécurisés
Le List conçoit des plateformes logicielles et matérielles pour des applications critiques de sûreté de fonctionnement en temps réel ou critiques pour la sécurité (cloud computing). Il développe par ailleurs des générateurs de codes parallèles pour les techniques de cryptographie émergentes et les systèmes temps réels hétérogènes en criticité. La plupart de ces applications sont portées sur des systèmes multicœurs ou many-cœurs (massivement multi-cœurs). Les chercheurs collaborent avec des industriels de l’automobile, de l’aéronautique, du médical, de l’énergie et de la cybersécurité...
Lire la suite
-
Architectures de calcul
Le List tire parti des technologies de calcul les plus récentes pour concevoir des architectures performantes et efficaces sur le plan énergétique, adaptées à des applications embarquées nécessitant une puissance de calcul importante, une surface silicium optimisée et des qualités de service garanties, comme la vidéosurveillance, les transports ou le manufacturing avancé. Il optimise l’adéquation entre algorithme et architecture, conçoit des architectures originales – en particulier pour des applications dynamiques – et définit leur intégration matérielle sur des processeurs GPU, FPGA, multicœurs du commerce ou spécifiques. A travers des accords de coopération...
Lire la suite