Menu

Jean-Charles CHAUDEMAR

TOULOUSE

En résumé

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

Entreprises

  • ISAE - SUPAERO graduate program - Enseignant-chercheur

    2004 - maintenant

Formations

  • Université Toulouse - ISAE

    Toulouse 2007 - 2012 Docteur

    Modélisations formelles (Event-B, AltaRica), analyse de sécurité des systèmes critiques
  • SUPAERO

    1996 - 1998 Ingénieur

    Modélisation fréquentielle automatique (Hinf, LMI, MIMO,..), implémentation informatique

Réseau

Annuaire des membres :