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.
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.