TOULOUSE
Docteur-Ingénieur spécialisé dans l'ingénierie et la sécurité des systèmes embarqués critiques. Il s'intéresse à la formalisation et à l'évaluation de ces systèmes.
De 1998 à 2004, il a été consultant en mission chez de grands donneurs d’ordre comme PEUGEOT-CITROEN SA, RENAULT SA et AIRBUS SA où il a acquis de compétences dans la spécification, la conception, le développement, l’intégration et la validation de systèmes complexes.
Depuis 2004, il est enseignant-chercheur à l’ISAE, dans le département de Mathématiques, Informatique et Automatique (DMIA). Il effectue sa recherche avec l’ONERA / DCSD sur les thèmes de la conception d’architectures de sécurité, ainsi que sur le diagnostic et la reconfiguration en présence de fautes, à l’aide de méthodes formelles telles que AltaRica et B-Système.
Mes compétences :
Informatique embarquée
Automaticien
Aéronautique
Automobile
