|
Plate-forme Systèmes et Logiciels Critiques
|
Plan |
Le Commissariat à l'Energie Atomique (CEA) est l'organisme public de
recherche chargé de donner à la France la maîtrise de l'atome (énergie,
industrie, recherche, santé et défense) et d'apporter dans d'autres domaines
une contribution spécifique à l'effort national de recherche technologique
et au transfert de technologies de pointe vers l'industrie. Le Laboratoire d'Electronique, de Technologie et d'Instrumentation (Leti) du CEA apporte à l'industrie des innovations technologiques améliorant sa compétitivité par le transfert du résultat de ses recherches. Ses domaines d'activité sont : la micro-électronique, l'optronique, les micro-systèmes, l'instrumentation et les systèmes. Plus particulièrement, le Département d'Electronique et d'Instrumentation Nucléaire (DEIN) du CEA-LETI consacre une part importante de ses recherches à l'élaboration de nouvelles méthodes et outils de développement de systèmes temps réel. Ses activités couvrent les différentes étapes du cycle de développement : méthodes d'analyse et de conception d'un système temps réel, techniques de réalisation (langage de programmation, schémas génériques de codage « patterns », génération de code, supports d'exécution, machines virtuelles, « runtime ») et technique d'analyse et de validation des systèmes temps réel à partir de leur modèle (identification des comportements possibles, génération automatique de tests, dimensionnement des applications et placement et tâches). Pour en savoir plus : http://www-dta.cea.fr/home_leti.htm |