Projets financés
Verification de logiciel C avec structures de memoire dynamiques – VERIDYC
Ce projet a pour but la verification des programmes C utilises pour le controle des systemes critiques, comme les centrales hydroelectriques ou nucleaires. L'enjeu majeur est le passage a l'echelle des techniques de verification existantes pour des programmes avec des structures de memoire dynamique
Vérification et Conception de Systèmes Cyber-Physiques – VEDECY
Le projet VEDECY est un projet de recherche fondamentale pour le développement d'approches algorithmiques de vérification et conception de systèmes cyber-physiques. Les systèmes cyber-physiques résultent de l'intégration de systèmes informatisés et de processus physiques : des calculateurs embarqués
Test Automatique basé sur des SCénarios et évaluation Critères Communs – TASCCC
L'objectif stratégique du projet TASCCC est de produire les outils conceptuels, méthodologiques et techniques pour le test de conformité d',un système vis-à-vis des exigences fonctionnelles et des exigences de sécurité qui lui sont assignées. Ces techniques permettront d'accélérer le développement d
Systèmes sur puces reconfigurables pour la sécurisation de données – "SecReSoC"""
Les systèmes électroniques poursuivent leur progression en terme de miniaturisation avec aujourd'hui des possibilités d'intégration dans un seul circuit de systèmes multiprocesseurs. La complexité croissante des systèmes embarqués conduit également à la mise en oeuvre de systèmes d'exploitation emba
Très grands systèmes répartis auto-adaptatifs – SALTY
SALTY (Self-Adaptive very Large disTributed sYstems) est un projet de « recherche industrielle » qui a pour but de fournir un framework autonomique pour les Très Grands Systèmes Distribués (TGSD). En l'espace de quelques années, l'industrie du logiciel a adopté le paradigme service de façon à gérer
Robot humanoïde hydRaulique: Amélioration de l'Autonomie énergétique via la conception et la commande. – R2A2
Le projet R2A2 a pour objectif l'amélioration de la structure mécanique du robot HYDROïD utilisant des actionneurs hydrauliques ainsi que le développement d'une stratégie de commande pour la marche permettant une réduction drastique de l'énergie consommée. Ce projet vise à donner une autonomie énerg
Plate forme pour la Robotique Organisant les Transferts entre Utilisateurs et Scientifiques – PROTEUS
Le but du projet PROTEUS est de créer un portail pour la communauté robotique française représentée par le GDR Robotique et son club de partenaires afin de faciliter les transferts de connaissances et de problématiques en son sein. Pour être utile, un tel portail devra être constitué de plusieurs pa
PErformances GAranties pour les Systèmes Embarqués communicants – PEGASE
Les réseaux embarqués critiques (voitures, avions, satellites) sont de nos jours constitués de plusieurs processeurs communicants entre eux. Les contraintes temps-réel telles qu'elles peuvent se trouver dans les systèmes d'exploitation s'étendent maintenant aux réseaux de communications entre les c
Préservation des confidentialités dans des environnements P2P : une approche à base de Services Web – PAIRSE
Le projet PAIRSE vise à relever les défis de la confidentialité des données dans un milieu hétérogène et distribué en proposant une approche orientée service web. En l'état actuel de nos connaissances, une approche axée sur les services pour l'intégration des données n'a pas encore été explorée, et
Hélicoptère d'Observation Robotisé à Utilisation Simplifié – HORUS
Le laboratoire Heuristiques et Diagnostic des Systèmes Complexes (HeuDiaSyC) de l'Université de Technologie de Compiègne (UTC) a entamé en 1999 ses premières recherches sur le vol autonome des objets miniatures à décollage vertical. L'année 2009 sera l'occasion pour notre équipe de lancer la valoris
Modèles de haut niveau pour la réduction de la consommation d'énergie des systèmes embarqués – HELP
Dans tous les domaines des systèmes embarqués, il est nécessaire de manipuler des modèles de haut niveau disponibles tôt dans le cycle de vie, et exécutables. De tels modèles, pour les propriétés fonctionnelles, commencent à faire leur chemin dans l'industrie. Pour les systèmes sur puce, l'approch
Developpement collaboratif de systemes complexes selon une approche guidee par les modeles – GALAXY
Plus un système est complexe, plus nombreux et plus variés sont ses constituants. Le développement industriel de grands systèmes nécessite des centaines de développeurs travaillant sur des centaines d'éléments qui représentent des parties de la spécification globale de ce système. En Ingénierie des
Contrôle tolérant aux pannes pour les systèmes embarqués – FAUTOCOES
De nos jours, les systèmes embarqués doivent garder un comportement acceptable face à des perturbations aléatoires comme par exemple des défaillances partielles ou totales de ses composants. L'ingénierie aérospatiale fournit de nombreux exemples de telles situations : un avion doit poursuivre sa mis
Flot de modélisation et de conception rapide pour les systèmes dynamiquement reconfigurables. – FAMOUS
Dans un monde, où les applications ne cessent d'évoluer et de changer, il devient de plus en plus nécessaire que les systèmes embarqués puissent s'adapter à leur environnement ou satisfaire les exigences d'une nouvelle application. Cette adaptabilité n'est pas toujours limitée au logiciel s'exéc
Évolution compositionnelle par aspects de services sécurisés – CESSA
Les architectures à services (dites SOA, pour 'Service Oriented Architectures') constituent une forme privilégiée pour les architectures à base de composants lorsqu'il s'agit de construire des architectures réparties à grande échelle. Un service est une application logicielle qui peut être localisée
Architecture Reconfigurable Dynamiquement et Méthodologie pour l'Autoadaptation en Home Networking – ARDMAHN
Avec la convergence de l'électronique, de l'informatique et des télécommunications, les systèmes embarqués occupent une place préférentielle dans notre quotidien notamment pour le traitement d'applications gourmandes telles que les applications multimédia. L'adaptation d'un flux multimédia aux carac
CoGiRo : Commande des robots géants – CoGiRo
Le projet CoGiRo, 'Control of Giant Robots', traite de la commande des robots parallèles à câbles ayant un très grand espace de travail et, éventuellement, transportant une très lourde charge. Ce type de robot parallèle est principalement constitué d'un organe terminal, d'une base et de câbles relia
Navigateur logiciel dédié à la recherche et à l'analyse des données transmises sur les bandes de radiodiffusions commerciales analogiques et numériques – SurfOnHertz
En France d'ici 2011, les bandes de radiodiffusion commerciales émettront les programmes en numérique sur les standards DRM et T-DMB en plus de la diffusion analogique classique sur les bandes AM et FM. Ce changement aura pour conséquence d'enrichir non seulement la diversité des contenus, mais auss