Depuis 20 ans, je conçois, maintiens et optimise des systèmes décisionnels et data.
La stabilité des systèmes, leur facilité d'utilisation, leur maintenabilité, leur évolutivité, leurs performances face aux fortes volumétries sont autant de challenges qui me font aimer mon métier au quotidien.
J'ai endossé de multiples rôles (expert technique, responsable d'équipe, architecte, développeur, auditeur de processus) durant ces riches années d'expérience, le plus souvent dans un contexte international. Mon profil est polyvalent, et j'ai appris à apporter des solutions viables et concrètes aux besoins des utilisateurs.
Dans le cadre de ses projets militaires et civils, THALES cherche à sécuriser ses systèmes aéronautiques (patrouille maritime, surveillance maritime, drones). Ma mission consiste à auditer le processus de conception de ces systèmes complexes, et de proposer une nouvelle méthodologie de conception.
Etude des méthodes formelles de modélisation et des outils de vérification associés. Analyse du processus de conception THALES (modèles d’ingénierie système et d’ingénierie logicielle). Préconisations sur le processus de conception, de façon à intégrer des modèles vérifiables aux spécifications. Langages et logiciels de vérification AltaRica et UPPAAL
Définition d’un langage de modélisation comportementale de systèmes, incluant le comportement nominal du système ainsi que son comportement en cas de panne. Réalisation d’un prototype d’outil de vérification (à titre de démonstrateur). Langage Java
