Projets financés
Solutions pour l’auto-adaptation in-situ de systèmes communicants – SACSO
L'évolution des technologies et la forte demande vers toujours plus de fonctionnalités embarquées dans les dispositifs électroniques soulèvent de nouveaux défis scientifiques. Un des défis importants est la préservation de la qualité et de la fiabilité du ou des systèmes intégrés embarqués (puces él
Architecture Reconfigurable Dynamiquement Tolérante aux fautes – ARDyT
Les avancées de la technologie CMOS sont aujourd’hui freinées du fait de limites physiques et économiques. En particulier, une réduction importante des rendements et de la fiabilité des systèmes sur puce est observée du fait de la présence (variabilité) ou de l’apparition (« aging ») de défauts phys
Analyse statique de logiciels temps-réel asynchrones embarqués – AstréeA
Le projet AstréeA concerne le développement de méthodes d'analyse statique par interprétation abstraite dans le but de vérifier la sûreté de fonctionnement de logiciels embarqués critiques asynchrones de grande taille. La sûreté de fonctionnement des logiciels embarqués critiques, tels que ceux t
Cryptographie pour la protection de la vie privée, optimisée pour les services mobiles sans contact – LYRICS
Les téléphones portables de prochaine génération intégreront des puces NFC (Near Field Communication). Grace à l’émergence rapide de cette technologie sans contact, les téléphones portables seront bientôt capables de jouer le rôle de tickets électroniques, cartes de crédit, cartes de fidélités, badg
Conception Orientée Modèle de calcul pour multi-Processeurs Adaptables – COMPA
Durant les 20 dernières années, la complexité des standards et vidéo et de télécommunication ont connu une augmentation considérable. Dans le même temps, les concepteurs de systèmes embarqués doivent faire face à la généralisation des architectures multicoeurs hétérogènes. Le développement d'app
Parallélisation des systèmes de preuve interactifs de haute fiabilité – Paral-ITP
Les systèmes de preuve interactifs, et notamment ceux basés sur une logique bien identifiée certifiée par un noyau bien circonscrit, ont une importance croissante en informatique et en mathématiques, comme purent en témoigner récemment la formalisation complèt
Conception et analyse de chiffrements par blocs – BLOC
La cryptographie peut n’apparaître aujourd’hui que comme un composant de la sécurité informatique. Elle en est cependant un élément crucial. Sans la cryptographie, il serait impossible d'établir des communications sécurisées entre utilisateurs sur des réseaux non sécurisés comme Internet. En partic
Systèmes embarqués fiables et faible consommation à base de Mémoires Magnétiques (MRAM) – MARS
Avec l'avènement prochain de nouvelles technologies mémoires présentant des propriétés combinées inédites (non volatilité, densité, performance, faible consommation, robustesse) certains principes architecturaux en vigueur dans les systèmes embarqués seront à terme remis en question. En effet dispos
Architecture pour les systèmes résilients MObiles et ubiquitaiRES – AMORES
Le monde ubiquitaire où nous vivons est caractérisé à la fois par une mobilité forte des individus et par le fait que ces individus sont souvent porteurs d’appareils capables de se géo-localiser (smartphone ou voiture équipée d’un GPS). Cependant, la plupart des systèmes de transport actuels utilise
Conception de systèmes embarqués utilisant l'arithmétique virgule fixe – DEFIS
De très nombreux systèmes embarqués intègrent des traitements mathématiques. Pour satisfaire les contraintes d’implémentation inhérentes aux systèmes embarqués, l’arithmétique virgule fixe est largement utilisée. Les applications sont conçues et simulées en virgule flottante, mais au final, elles so
Programmation de systèmes réversibles et sûrs – REVER
En dépit du développement de nombreuses techniques pour aider à la construction de systèmes répartis fiables et disponibles (notamment, mécanismes de traitement d'exceptions, mécanismes de reprise sur fautes et de recouvrement de fautes, protocoles de réplication, mécanismes de gestion de transacti
Méthodes et Algorithmes Garantis pour le Contrôle d'Intégrité et la Surveillance Préventive des Systèmes – MAGIC-SPS
Il est souvent demandé aux systèmes actuels de développer des capacités d'autonomie qui leur permettent de résister à l'apparition d'un défaut ou d'autres perturbations, tout en restant fonctionnels ou en offrant un service dégradé mais sûr. Ils doivent donc intégrer des mécanismes leur permettant d
Koffre-fort d’Informations personnelles Sûr et Sécurisé – KISS
Une quantité croissante de données personnelles est collectée sur les serveurs d’administrations, d’hôpitaux, de compagnies d’assurance, etc. Des dispositifs d’intelligence ambiante accumulent des informations spatio-temporelles automatiquement (surveillance médicale, géo-localisation). Les citoyen
Validation de la commande des systèmes critiques par couplage simulation et méthodes d’analyse formelle – VACSIM
Le projet VACSIM (Validation de la commande des systèmes critiques par couplage simulation et méthodes d’analyse formelle) réunit deux industriels, un concepteur et exploitant de systèmes critiques (EDF R&D) et un éditeur de logiciels d’ingénierie numérique (Dassault Systèmes), et quatre laboratoire
Vérification formelle d'analyseurs statiques et de compilateurs – VERASCO
Dans sa quête du logiciel parfait, l'industrie du logiciel critique (aéronautique, ferroviaire, nucléaire, médical, etc.), tout particulièrement en France, s'ouvre progressivement à l'utilisation d'outils de vérification formelle en complément, ou même en remplacement, de techniques plus traditionne
Conception d'un FPGA Tolérant aux Défauts – Robust FPGA
L’essor considérable de la technologie CMOS a permis l’ accroissement de la densité d’intégration selon la loi de Moore. Cependant, la poursuite de cette évolution est en voie de ralentissement dû aux contraintes physiques et économiques. En particulier, une réduction importante des rendements de fa