Projets financés
Techniques symboliques pour l'analyse de code binaire – BINCOA
L'analyse de programmes au niveau du code binaire et non du langage source est une problématique peu abordée jusqu'ici par la communauté académique mais pour laquelle l'intérêt scientifique et les besoins industriels commencent à émerger, aussi bien en sûreté de fonctionnement qu'en sécurité. O
Unification des Techniques d'Analyse de Code C Critique – U3CAT
Le logiciel embarqué est de plus en plus répandu dans la vie quotidienne. De plus les applications embarquées atteignent des tailles de plus en plus importantes, de quelques centaines de milliers de lignes de code à plusieurs millions tout en restant extrêmement critiques. Cette situation est partic
Système Audio In Package Pour Objets Nomades – SAIPON
Aujourd’hui les systèmes embarqués grand public (téléphone cellulaire, lecteur DVD, GPS) intègrent de nombreuses fonctions comme des applications audio et vidéo performantes, des services de communication sans fil ou des interfaces utilisateurs conviviales (écran, contrôle tactile). Avec l’augmenta
Plateforme ouverte pour l'estimation et l'optimisation de la consommation en puissance et en énergie – Open-PEOPLE
Le projet Open-PEOPLE se propose de fournir une plateforme fédératrice ouverte pour l’estimation et l’optimisation de la consommation en puissance et en énergie des systèmes. Les utilisateurs de la plateforme pourront estimer la consommation d'une application sur l’architecture matérielle qu’ils cho
Support à la modélisation de vues et aide à ma décision pour les architectes – MOVIDA
L'objectif du projet Movida est de fournir un support à l'ingénierie dirigée par les modèles dans un contexte d'ingénierie multi vues en produisant: - Une spécification des concepts sous jacents à une ingénierie multi-point de vue (méta modèles) - Un support outillé à la définition de nouveaux typ
Systèmes d'information et embarqués intégrés – ITEmis
Les architectures orientées services (SOA), en tant que modèle d'architecture pour des intégrations rapides, est aujourd'hui une pierre angulaire des technologies qui procurent de l'agilité aux technologies de l'information (IT). En effet, bien que SOA puisse parfois être ressenti comme étant juste
Diagnostic de câbles électriques sécuritaires pour grandes infrastructures – INSCAN
Les câbles électriques sont présents partout autour de nous, pour l’alimentation des systèmes ou la transmission de signaux : systèmes embarqués, bâtiments, infrastructures. Le réseau filaire a de tout temps été considéré comme un composant fiable et dont le fonctionnement est acquis, donc oublié.
Plateforme de Services Pour Architecture Petascale et DistribuéES. – SPADES
A l’heure de l’émergence des architectures Petascale et des évolutions à la fois des grilles de recherche et des grilles de calcul, le nombre de ressources potentiellement accessibles ne cesse de s’accroître. Cependant les infrastructures et les règles d’accès à ces ressources sont bien différentes.
Simulation extrêmement extensible avec SimGrid – USS-SimGrid
L'informatique diffère des autres sciences, comme la biologie ou la physique, entres autres choses par la façon dont les résultats expérimentaux sont présentés dans les articles. Dans les autres disciplines, les articles comportent toujours une partie dédiée à la description détaillée des protoc
conception et évaluation de systèmes de Détection d'intrusion au niveau AppLIcatif – DALI
À une époque où les systèmes d'information et de communication prennent de plus en plus de place dans nos vies, la sécurité devient un souci primordial. Se protéger des malveillances informatiques, telles que les vers, virus, et autres attaques contre des applications particulières (par exemple les
Analyse Statique et OPTimisation – ASOPT
ASOPT est un projet de recherche fondamentale, impliquant du développement logiciel à des fins d'expérimentation et de dissémination. L'analyse statique de programmes consiste au fond à rechercher des invariants de programme : des propriétés dont on sait qu'elles sont valides pour toute exécution
Système de mesure bas coût à base de capteur intégré multifonctions reconfigurable – SYSRECAP
Le but de ce projet est l'évaluation des potentialités d'un système de mesure intégré basé sur le concept de capteur reconfigurable, introduit à l'occasion de cette étude: un même dispositif est utilisé pour mesurer plusieurs grandeurs physiques ( température, pression et humidité) en fonction de la
Récupération adaptative des énergies ambiantes pour l'alimentation de microsystèmes autonomes – SESAM
Le progrès rapide qu’a connu le domaine de la microélectronique a marqué une nouvelle tendance vers une intégration généralisée des systèmes. Cette évolution a fait apparaître des réseaux de capteurs autonomes et communicants qui sont appelés à transformer en profondeur notre environnement technolog
Une méthode de développement de systèmes d'information médicaux sécurisés: de l'analyse des besoins à l'implémentation. – SELKIS
Le projet SELKIS a pour objectif de développer une méthode d'analyse et conception de Systèmes d'Information (SI) sécurisés qui aborde les aspects fonctionnels et sécuritaires dès les premiers niveaux d'abstraction du développement et combine les mécanismes sécuritaires disponibles au niveau implant
REtro-ingénerie de Traces d'analyse de SIMulation et d'EXécution de systèmes temps-réel – RT-SIMEX
Ce projet s’inscrit dans l’ambition générale d’amélioration des méthodes et outils de conception de logiciels embarqués. Il a pour objet le développement de techniques permettant de relier entre elles différentes prédictions et observations du comportement temps-réel de logiciels. Ces techniques
Canevas d'optimisation de requêtes basé sur la composition de services – OPTIMACS
Avec la croissance de la mondialisation, le besoin d’accès continu à l’information de façon robuste et flexible à travers des services se fait sentir. Ce mode d’accès à l’information devient un nouveau paradigme de programmation et d’organisation des opérations. Dans le même temps, l’émergence des e
Architectures reconfigurables à grain ultra-fin et à base de nanocomposants – NANOGRAIN
Ce projet de recherche fondamentale vise l'élaboration et l'évaluation d'un nouveau paradigme de conception ouvert par une famille de portes innovantes reconfigurables à base de transistor à nanotube de carbone double grille (DG-CNTFET). Chaque porte reconfigurable est capable de réaliser plusieurs
Économie d'énergie dans les grappes de calculateurs. – EcoGrappe
Les grappes de calculateurs sont des machines désormais très largement utilisées, grâce notamment à leur très bon rapport performance / prix. En accumulant un grand nombre d'unités de calcul à faible coût, il est possible d'atteindre des performances extrêmement élevées (81% des 500 machines les plu
Définir, Evaluer et MOdéliser les Technologies de l'Information de Santé – DEMOTIS
La conception et la mise en oeuvre de grandes infrastructures techniques en charge de la gestion de données d'importance essentielle se heurte à des problèmes nouveaux difficilement abordables par une simple approche basée sur l'analyse des besoins et la traduction en fonctionnalités techniques. Ces
Workflow pour les traitements intensifs en bioinformatique – BioWIC
Le projet BioWIC à pour objectif d'accélérer les traitements de calcul intensif en bioinformatique sur des plateformes hétérogènes. Cette accélération repose à la fois sur la rapidité de conception des pipelines logiciels bioinformatiques et sur la rapidité d'exécution des différentes tâches qui l
Architectures Hybrides et Contraintes – ArHyCo
Les systèmes embarqués forment un secteur en pleine croissance au sein des systèmes et technologies de l'information et des communications et concernent des domaines d'application comme l'industrie automobile et plus généralement des transports, la gestion de l'énergie mais également dans des domain
Sécurité et Propriétés des Applications Contrôlées au sein d'un Linux Kernel – SPACLiK
L'objectif est d'offrir un système Unix complet qui intègre des mécanismes comme le contrôle d'accès obligatoire (MAC) et une détection des violations des propriétés de sécurité requises par les applications. L'originalité consiste à supporter pour chaque application les propriétés de sécurité néce
Système D'exploitation Sécurisé – SAFE-OS
Ce projet a pour but de mettre en place un système d'exploitation sécurisé à partir de virtualisation et de dispersion de l'information des système distribués.
OSOSOSOS est un Système d'(O)exploitation Sécurisé Open Source (O) et Simple – OSOSOSOS
L'équipe s'organise autour de trois partenaires. - EADS IW sera responsable des attaques, et aura en charge la coordination du projet. - EADS DCS sera responsable du développement. - Supélec Rennes sera responsable de la définition des politiques de sécurité et de cloisonnement.
Administration autonome pour systèmes complexes de grande taille – SelfXL