|
L’approche synchrone à la programmation et à la vérification des systèmes embarqués matériels et logiciels| old_uid | 6061 |
|---|
| title | L’approche synchrone à la programmation et à la vérification des systèmes embarqués matériels et logiciels |
|---|
| start_date | 2009/01/22 |
|---|
| schedule | 14h-15h30 |
|---|
| online | no |
|---|
| summary | L’informatique embarquée envahit progressivement les objets de toutes sortes : audiovisuel, transports, prothèses médicales, etc. Il y a maintenant beaucoup plus de circuits dans les objets que dans les ordinateurs classiques, et l’écart va continuer à s’accroître. Cette évolution repose sur une conjonction de technologies matérielles et logicielles spécifiques, avec des contraintes importantes de sécurité. L’approche synchrone a été proposée dans les années 1980 par trois laboratoires français, puis s’est développée industriellement depuis le milieu des années 1990. L’exposé en présentera les principaux aspects : modèle de calcul parallèle et déterministe, langages et techniques de compilation spécifiques, techniques de synthèse de circuits et de logiciels applicatifs, et techniques de vérification formelle des applications. Il analysera comment les techniques synchrones s’intègrent dans les grands flots industriels modernes. |
|---|
| responsibles | Daille |
|---|
| |
|