Hugues Bonnin
22 avenue Vincent Auriol 31120 Roques sur Garonne tél. : 05 62 20 22 39 hugues.bonnin@free.fr	Expert Logiciel Temps Réel Critique
Né en 1968 à Poitiers Nationalité française	17 ans d’expérience
Parcours
	Capgemini
avr-09	Expertise et « Business Development »			DO178-B
à ce jour	Responsable du pôle SRM			DO178-C
	Responsable du pôle SRM (Safety Risk Management) au sein de Capgemini Aerospace & Defence.			DO278 DO278-A
	Conseil, Expertise, Formation			ED153
	Grade de Consultant Managing en Technologie & Métier
	Etude, Suivi, Développement des activités d'Approbation des logiciels sol des systèmes CNS/ATM (Control, Navigation, Surveillance, Air Traffic Management)
	Membre du groupe de travail RTCA/EUROCAE SC205/WG71 D0178-C, DO248-C, DO278-A
	Membre de l'initiative Certification Together (Aerospace Valley)
	Formation et expertise DO178-B, DO278, ED153
	"Safety Manager" du projet MOeCER/ODS (DSNA)
	"Safety Manager" du projet ATCAS Rehosting (DFS)
	Avant-Vente
	Participation aux appels d'offres dans le Skill Center SN&D (Space, Navigation & Defence)
	Développement de l’offre « certification et approbation »
	CS (Communication & Systèmes)
Juil. 2004	Direction Technique et Expertise			DO178-B
à Avril 2009	Conseil, Expertise, Formation			DO178-C
	Reconnu Expert Niveau International à CS en juin 2006			FP7
	Membre du groupe de travail RTCA/EUROCAE SC205/WG71 D0178-C,			Ada
	Formation DO178-B et Ada			TI DSP
	Jury de thèse sur les méthodes formelles
	Support aux propositions Européennes FP7 pour Airbus (Systèmes)
	Correspondant méthodes Airbus France (Logiciel)
	Interventions en tests DO178B niveau A (tests et méthodes) pour la Carte Audio A380 (Airbus)
	Formation Ada 95 pour les équipes du FMS A400M (Thales)
	« Certification Manager » pour les FADECs hélicoptère (DO178B niveau A) (Safran/Turbomeca)
	Direction Technique
	Support technique aux projets au forfait (Certification, Architecture, méthodologie)
	Membre du comité de pilotage du projet TOPCASED,
	Encadrement technique des activités de R&D (méthodes formelles, méthodologie)
	Avant-Vente
	Etudes techniques et commerciales des Réponses à Appel d’Offre (clients : THALES, Airbus, SAFRAN, CNES)
	Animation du Centre de Compétence Temps Réel
	Préparation et présentation de l'offre commerciale Temps Réel
	Suivi et animation de la filière des Experts (domaine Systèmes Embarqués)
	Veille Technologique, organisation de conférences internes, publications sur l’intranet thématique.
Nov. 1999	Expert technique en architecture temps réel.			DO178-B
à juin 2004	Thales : Flight Management System (FMS2 pour  Airbus)			Ada
	Conseil et formation			GNAT
	Perfomances et problèmes temps réel, Ada, génération de code, problèmes numériques. Conception des moyens d'enregistrement, de dépouillement et d'analyse des problèmes en vol.			PolySpace M68040
	Dossiers de certification DO178B
	Démonstration d'architecture, objectifs de couverture de tests ; standards de conception et de codage.
	Interventions en génie logiciel
	Mise en oeuvre de relecture automatique de code (technologie ASIS/GNAT) ; suivi de mise en oeuvre de PolySpace ; suivi temps réel du logiciel (analyseur logique HP, outil GNAT).
Sept. 1997	Ingénieur Etudes/Développement			EN50128
à nov. 1999	Faiveley : calculateur odométrique (SIL4)			HOOD
	Conception, développement			Ada
	Architecture temps réel et noyau de tests embarqué, d'une application de calculateur embarqué de vitesse (ERTMS)			Alsys M68360
	Méthode
	Mise en place des stratégies de certification EN50128 SIL4  (conception, outils, tests)
	Mise en place de la stratégie de tests, et présentation en conférence de cette stratégie (Ada Workshop). Choix et mise en place de Hood.
	Outils
	choix et mise en place des outils de tests, émulateurs, compilateur Ada, outil de conception.
	ALTRAN Technologies
Janv. 1996	Ingénieur Etudes/Développement			C++
à sept. 1996	Peugeot SA : Systèmes Expert de suivi de fonderie Moteur			IlogViews
	Développement			gcc
	Maintenance d'une application objet (C++/IlogViews), pour un système expert de suivi de production (fonderie moteurs).
	Développement de classes supplémentaires.
	Méthode
	Apport dans un club d'experts Altran : présentation du cycle en V ; présentation de la qualimétrie.
	SERLI Informatique
Sept. 1993	Chef de Projet			OOA/OOD
à déc. 1995	Schlumberger : Home Automation projects			C/C++
	Développement			Ada
	Spécifications, conception, développement, tests d'application pour Schlumberger Electricité : bancs de tests, domotique. En C, C++ et Ada.
	Méthode
	Mise en place de méthodes de validation. Cours de soutien C++.
	DCN Ruelle
Sept. 1992	Ingénieur qualité logiciel :			GAM T17
à Sept. 1993	Qualité			STD2167A
	Suivi et dossiers qualité d’équipements embarqués dans les bâtiments de la Marine Nationale. Dossier sur la qualimétrie des logiciels. Contexte de la Norme  GAM T17.
	Outils
	Développement et mise en place d'outils de suivi.
Publications
Oct. 2010	H. Bonnin, C. Comar, F. Rivard, "DO178C/ED12C OOT A User’s Perspective", Conférence CTIC 2010, Toulouse.
Janv. 2008	A. Canals, H. Bonnin, S. Gabel, C. Le Camus, R. Saad, «An OpenEmbeDD Experimentation: Transformation from an SDL Profiled UML Model to a FIACRE Model », conférence ERTS 2008, Toulouse.
Sept. 2007	H. Bonnin, «DO178B / ED12 (B&C), Model Based Development and Verification», conférence SDL 07, Paris.
Janv. 2006	H. Bonnin, Ph. Dhaussy, JC. Roger, E. Saves, J. Honoré, J. Lohman
	« Experimentation of timed observers for validation of an avionics software », conférence ERTS 2006, Toulouse.
mai-04	H. Bonnin, « Problématiques autour de l'extraction de propriétés avec ASIS », journée Ada-France, Paris.
Sept. 1995	H. Bonnin, D. Bernard « Testing aims in Ada/HOOD use in safety-related software in railways », 3rd Workshop on Methods and Tools for Ada 95 Ada, Brest.
Formation
1992	Ingénieur de l’Institut d’Informatique d’Entreprise (IIE)
1986	Baccalauréat Série C
	Anglais Lu, Ecrit, Parlé	Allemand Lu, Ecrit
Résumé