www-verimag.imag.fr

Les systèmes embarqués sont composés de matériels et de logiciels conjointement conçus pour assurer des fonctionnalités critiques dans un appareil. Ils sont d’une importance stratégique pour des secteurs de l’économie où l’Europe est traditionnellement forte, tels que le transport (automobile, avionique, ferroviaire, spatial), les télécommunications, les biens de consommation électriques et électroniques.

Les travaux de Verimag visent à produire des outils théoriques et techniques pour permettre le développement de systèmes embarqués de qualité maîtrisée, et ce à des coûts compétitifs.

Mots clés : Spécification formelle - Vérification - Test - Simulation - Système critique - Système embarqué - Système Temps Réel - Système hybride - Sécurité et Sûreté des Systèmes - Langage Synchrone - Lustre - Modélisation et Analyse des Systèmes Complexes - Protocole de communication - Compilation - Analyse statique - Génération de code - Ordonnancement Temps-Réel - UML temps réel - SDL