Expert Logiciel Temps Réel Critique

Hugues Bonnin
22 avenue Vincent Auriol
31120 Roques sur
Garonne
tél. : 05 62 20 22 39
[email protected]
Expert
Logiciel Temps Réel Critique
Né en 1968 à Poitiers
Nationalité française
17 ans d’expérience
Parcours
Capgemini
avr-09
à ce jour
Expertise et « Business Development »
Responsable du pôle SRM
Responsable du pôle SRM (Safety Risk Management) au sein de
Capgemini Aerospace & Defence.
Conseil, Expertise, Formation
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 »
DO178-B
DO178-C
DO278
DO278-A
ED153
CS (Communication & Systèmes)
Juil. 2004
à Avril 2009
Direction Technique et Expertise
Conseil, Expertise, Formation
Reconnu Expert Niveau International à CS en juin 2006
Membre du groupe de travail RTCA/EUROCAE SC205/WG71 D0178-C,
Formation DO178-B et Ada
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.
DO178-B
DO178-C
FP7
Ada
TI DSP
hb-2011-2.2-fr, page 1
Nov. 1999
à juin 2004
Sept. 1997
à nov. 1999
Expert technique en architecture temps réel.
Thales : Flight Management System (FMS2 pour Airbus)
Conseil et formation
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.
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).
Ingénieur Etudes/Développement
Faiveley : calculateur odométrique (SIL4)
Conception, développement
Architecture temps réel et noyau de tests embarqué, d'une application
de calculateur embarqué de vitesse (ERTMS)
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.
DO178-B
Ada
GNAT
PolySpace
M68040
EN50128
HOOD
Ada
Alsys
M68360
ALTRAN Technologies
Janv. 1996
à sept. 1996
Ingénieur Etudes/Développement
Peugeot SA : Systèmes Expert de suivi de fonderie Moteur
Développement
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.
C++
IlogViews
gcc
SERLI Informatique
Sept. 1993
à déc. 1995
OOA/OOD
Chef de Projet
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
à Sept. 1993
Ingénieur qualité logiciel :
Qualité
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.
GAM T17
STD2167A
hb-2011-2.2-fr, page 2
Publications
Oct. 2010
H. Bonnin, C. Comar, F. Rivard, "DO178C/ED12C OOT A User’s
Perspective", Conférence CTIC 2010, Toulouse.
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.
H. Bonnin, «DO178B / ED12 (B&C), Model Based Development and
Verification», conférence SDL 07, Paris.
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.
H. Bonnin, « Problématiques autour de l'extraction de propriétés avec
ASIS », journée Ada-France, Paris.
H. Bonnin, D. Bernard « Testing aims in Ada/HOOD use in safetyrelated software in railways », 3rd Workshop on Methods and Tools for
Ada 95 Ada, Brest.
Janv. 2008
Sept. 2007
Janv. 2006
mai-04
Sept. 1995
Formation
1992
1986
Ingénieur de l’Institut d’Informatique d’Entreprise (IIE)
Baccalauréat Série C
Anglais Lu, Ecrit, Parlé Allemand Lu, Ecrit
Résumé
Défense
Expert
Architecte
Chef de projet
Ingénieur d'études
Formation
Industrie
Automobile
Ferroviaire
Aéronautique
ATM - Défense
CS + clients
Faiveley
Capgemini
Thales Avionics
Schlumberger
DCN
PSA
Airbus
Maths
DCN
1993
Serli
1994
1995
Altran Fac
1996
1997
CS
1998
1999
2000
2001
2002
2003
Capgemini
2004
2005
2006
2007
2008
2009
2010
hb-2011-2.2-fr, page 3
2011