validation formelle des systèmes embarqués critiques avec exécution synchrone: génération d'espace d'états

par Ibrahim Merzoug

Projet de thèse en SYAM - Systèmes Automatiques et Micro-Électroniques

Sous la direction de David Andreu et de Karen Godary-dejean.

Thèses en préparation à Montpellier , dans le cadre de École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) , en partenariat avec Laboratoire d'Informatique, Robotique et Micro-électronique de Montpellier (laboratoire) et de Département Robotique (equipe de recherche) depuis le 01-10-2014 .


  • Résumé

    En particulier, notre sujet concerne la validation formelle pour les systèmes embarqués critiques. Dans le contexte de la conception des systèmes embarqués dédiés à des domaines applicatifs critiques, la garantie du fonctionnement du système correct a priori est primordiale. Comme exemples applicatifs, nous avons pour l'instant travaillé dans l'automobile et l'avionique (conception et validation d'une architecture distribuée communicante), la robotique (architecture de contrôle) et dans le cadre de l'équipe de recherche INRIA CAMIN sur la conception de systèmes médicaux communicants implantés dans le corps humain pour faire de la stimulation électro-fonctionnelle.

  • Titre traduit

    Formal Verification for Embedded Critical Systems with Synchronous Execution: State Space Generation


  • Résumé

    En particulier, notre sujet concerne la validation formelle pour les systèmes embarqués critiques. Dans le contexte de la conception des systèmes embarqués dédiés à des domaines applicatifs critiques, la garantie du fonctionnement du système correct a priori est primordiale. Comme exemples applicatifs, nous avons pour l'instant travaillé dans l'automobile et l'avionique (conception et validation d'une architecture distribuée communicante), la robotique (architecture de contrôle) et dans le cadre de l'équipe de recherche INRIA CAMIN sur la conception de systèmes médicaux communicants implantés dans le corps humain pour faire de la stimulation électro-fonctionnelle.