Systèmes embarqués

Les systèmes embarqués sont des dispositifs électroniques et informatiques autonomes, dédiés à une tâche bien précise. Indispensables dans des applications dites critiques, tels que le spatial, les transports ou la défense, leur utilisation s'est désormais démocratisée à tous les secteurs faisant appel à l'électronique (multimédia, télécom, électroménager, tecnhologies pour la santé, domotique, etc.)

Depuis de nombreuses années, les équipes de l'Institut Carnot ont développé des partenariats fructueux avec des acteurs majeurs des systèmes embarqués, concepteurs, fabricants ou utilisateurs, permettant de gagner en performances, en autonomie, en communication ou en sécurité/sûreté de fonctionnement.

 

Les offres / Systèmes embarqués

ARIS

Vers des Circuits et Applications Embarqués Robustes aux Radiations

 

De nombreuses défaillances des systèmes embarqués sont causées par des variations de l'environnement (température, pression, champ EM, etc.). En conditions sévères (haute altitude, espace, sites nucléaires...), les particules de haute énergie, en particulier les neutrons, sont une cause majeure d'erreur, pouvant provoquer des erreurs...

Horus

Vérification de propriétés pour systèmes embarqués

Introduction

Des applications grand public -transport, multimédia, télécom- aux applications critiques -aérospatial, aéronautique-, les systèmes embarqués intègrent un nombre sans cesse croissant de fonctionnalités. Garantir les performances de ces systèmes -temps réel, sûreté/sécurité, consommation, etc.- nécessite des vérifications complexes à chaque étape de développement des phases initiales...

Osiris on Chip

Système expert embarqué pour l'aide à la décision et le contrôle temps réel


Introduction

Les équipes du LSI travaillent sur la modélisation et la représentation des connaissances et des données. Dans le cadre de leurs travaux, les équipes ont développé sur puce FPGA un système orienté objet de représentation et de gestion de données et de...

Tobias

Outil de Génération combinatoire de tests


Introduction

Les équipes du LSI, internationalement reconnues dans la validation et le test logiciel, utilisent leurs savoir-faire pour mettre au point des outils de génération automatique de tests. Afin de générer le plus grand nombre de tests et ainsi améliorer la détection d'erreurs, les équipes ont...