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...
