Reims Champagne-Ardenne University | Centre de Recherche en STIC +33.(0)3.26.91.33.89

Projects and contracts Action Incitative

Description

Le projet « Action Incitative » fait suite de l’interaction Filtre/Diagnostic du projet ADEXEC. En effet, afin d’assurer la robustesse du filtre en mode dégradé, face aux erreurs de commande, une approche de vérification par model-checker a été mise en place. Cette vérification formelle a nécessité la modélisation de la partie opérative, des diagnostiqueurs, du filtre, de la commande la plus permissive et de l’environnement de calcul. Ce travail a permis de constituer un sujet de thèse débuté par Mehdi Chankate fin 2016.

Informations

messages
Pascale Marangé
Contact
Alexandre Philippot
Dates
2012 - 2012
Identification
Website
https://crestic.univ-reims.fr/

Financers


Members involved

Partners