Systèmes hybrides
Ref: 3IF2060
Description
Ce cours explore les théories fondamentales et les outils pratiques pour la conception et la vérification de logiciels et systèmes embarqués, en mettant l'accent sur l'interaction entre les aspects discrets et continus. L'utilisation d'une abstraction nous permet de vérifier automatiquement certaines propriétés cruciales. La vérification des logiciels embarqués critiques est un domaine d'application naturel de ces techniques. Une difficulté qui se pose est la nécessité de prendre en compte l'interaction du logiciel avec son environnement physique. La deuxième partie du cours est consacrée à la présentation des solutions actuelles pour l'analyse de tels systèmes en utilisant les techniques classiques telles que model checking, l'analyse statique et tests.
Période(s) du cours
SM11
Prérequis
Aucun
Syllabus
- CM1-TD1 : Introduction et modélisation
- système continu, système discret, système hybride (logiciel embarqué)
- automates hybrides (syntax et sémantique)
- simulations, comportements zenos
- CM2-TD2 : vérification de systèmes hybrides
- motivation et problèmes
- analyse de systèmes infinis
- vérification par model checking, l'analyse statique et tests.
- BE (créneaux 5 & 6)
- Environnement pour modéliser et vérifier les système hybrides (MATLAB & Simulink & Stateflow )
Composition du cours
- Site web présentant le matériel du cours
- Cours magistraux plus TDs pour introduire et présenter les concepts
- Bureaux d'étude pour mettre en œuvre les concepts avec la réalisation concrète
Ressources
wifi;
projecteur;
MATLAB & Simulink & Stateflow
Résultats de l'apprentissage couverts par le cours
À l'issue de ce cours, les élèves seront capables :
- de concevoir un système informatique (aspect discret) ainsi que l'environnement (aspect continu) dans lequel il devra fonctionner;
- de connaître et comprendre l'hétérogénéité et les interactions entre modèles;
- de choisir le niveau d’abstraction approprié à l'implémentation d'un système hybride ;
- de connaitre les solutions actuelles pour vérifier partiellement les systèmes hybrides;
- de comprendre l'approche de l’ingénierie dirigée par les modèles et savoir utiliser les outils pour sa mise en œuvre.