CTL
10 décembre 2015 - 13h30
Design flow for the rigorous development of networked embedded systems (Phd Defense)
par Alexios Lekidis de Verimag/DCS
Résumé : Les systèmes embarqués en réseau sont devenus une avancée technologique majeure au cours des dernières années. Telle qu’ils sont utilisés dans une grande diversité d'applications, le principal défi pose est de développer des applications fonctionnelles, en assurant leurs défis de conception. Ces défis concernent l'utilisation des leurs ressources matérielles limitées (p.ex. la mémoire du processeur, l'unité d'alimentation) et aussi leur hétérogénéité en termes de logiciel, le matériel ainsi que des mécanismes de communication. Dans cette thèse, nous présentons une nouvelle approche qui considère tous ces défis avec des techniques de modélisation et de vérification formelles dans les systèmes embarqués en réseau. La validité de l'approche est prouvé par son application dans plusieurs domaines, comme les systèmes automobiles, les systèmes de l'automation industrielle, les systèmes de réseaux de capteurs sans fil (WSN systèmes) et les systèmes pour l'internet des objets (IoT systèmes).
Jury:
Prof. Roman Obermaisser
Universität Siegen, Rapporteur
Prof. Roberto Passerone
University of Trento, Rapporteur
Prof. Smail Niar
Université de Valenciennes, Examinateur
Prof. Ahmed Lbath
Université Joseph Fourier Grenoble, Examinateur
Marius Bozga, IR/CNRS
CNRS/Verimag, Directeur de thèse
Prof. Saddek Bensalem
Université Joseph Fourier Grenoble, Co-Directeur de thèse
