LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

Analyses de propriétés quantitatives de programmes

Visit website for this news | Export event in iCalendar format

Date
Tuesday, January 06 2009 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Laure Gonnord (ENS Lyon, France)

Dans cet exposé je présenterai mes travaux doctoraux et postdoctoraux qui se placent tous les deux dans le contexte d'analyse des propriétés quantitatives de programmes dans le but de faire des logiciels embarqués sûrs.

Dans ma thèse, j'ai étudié l'analyse des relations linéaires, qui permet de découvrir automatiquement, en chaque point de contrôle d'un programme, des systèmes de contraintes linéaires invariantes sur les variables numériques. Les résultats de l'analyse sont utilisables en compilation, en vérification de programmes et en parallélisation. Après une introduction rapide à cette méthode, je montrerai plus spécifiquement comment la précision des analyses peut être améliorée grâce à la notion d'accélération abstraite.

Mes travaux postdoctoraux ont étudié d'autres types d'applications embarquées que sont les applications multimédia. Ces applications ne sont plus critiques, mais par contre on désire évaluer et garantir des propriétés extra fonctionnelles, comme la qualité de service. En effet, la resource allouée à un composant logiciel peut évoluer, et on aimerait garantir une certaine fluidité de l'application. Je présenterai mes travaux de formalisation des contraintes de ressources au sein d'une architecture logicielle à composants, Qinna, ainsi que les mécanismes de maintenance de ces contraintes.


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jan 22
Tue, Jan 29
Tue, Feb 5
Tue, Feb 19

Past seminars