Les SEMINDOC sont des séminaires organisés par les doctorants du département informatique du LIRMM.

Pour le prochain séminaire, Arnault Ioualalen et Laurent Thévenoux, membres de l'équipe DALI (Digits, Architectures et Logiciels Informatiques) au LIRMM nous présenteront leurs travaux.

Les exposés auront lieu vendredi 15 Avril 2011 à partir de 14H30.

---

Compilation de programme SCADE avec garantie de la précision numérique.

La précision numérique est un domaine majeur pour les industries critiques comme l'aérospatiale ou l'aéronautique, sa finalité étant de garantir que les calculs qui sont effectués dans de tels systèmes soient corrects. Cet exposé a pour but de présenter les travaux effectués en ce sens pour le cadre des programmes décrits avec le logiciel SCADE, en utilisant les résultats de l'interprétation abstraite, ainsi qu'un nouveau modèle de représentation et d'équivalence de programmes présenté par R. Tate, M. Stepp, Z. Tatlock et S. Lerner. Notre approche concerne les problèmes de ré-écriture de programmes et d'équivalence sémantique entre ceux-ci, et les problèmes de mesure de la déviation du calcul. En outre notre outil s'apparente à un compilateur qui rend un programme sémantiquement équivalent mais dont l'erreur de calcul induite est bornée.

---

Accès libre.


Pour plus d'information, contactez Benoit Lange : benoit.lange@lirmm.fr.