Sami LAZREG

Responsabilités

Doctorant
Laboratoire d’Informatique, Signaux et Systèmes de Sophia Antipolis (I3S)

Distinctions

  • Prix du meilleur article scientifique - 33ième édition du Symposium en informatique appliquée

Biographie

L'article "Assessing the Functional Feasibility of Variability-Intensive Data-Flow oriented Systems" propose une nouvelle approche pour vérifier et prédire, en avance de phase, la faisabilité fonctionnelle des différentes implémentations possibles de systèmes embarqués contraints.
Au lieu d'énumérer et de vérifier toutes les implémentations possibles itérativement, le framework proposé raisonne sur une ligne de produit comportementale pour vérifier, de manière optimisée, l'ensemble des implémentations possibles de systèmes embarqués.
Les expériences montrent que cette approche exploite les similitudes structurelles et comportementales entre les différentes implémentations pour accélérer remarquablement le processus de vérification.