Samy AÏT KACI

En résumé

Entreprises

• LGM - Air Defense Safety Assurance Expert

  Vélizy-Villacoublay 2014 - 2016 For Thales Raytheon Systems AMDC2,
  + Safety Assurance Manager of ACCS TMD1 IOC, a NATO Integrated Air and Missile Defense (IAMD) C4ISR sub-system: Responsible of ACCS TMD1 IOC Safety Assurance Plan and Analyses with technical management of up-to 3 colleagues.
  Meetings - Belgium, France, Germany, Italy, USA: Technical and Operational Safety meetings with Customer representatives and the Operational Community + SW Safety audits of development process applied by TRS sub-contractors.
  + ACCS DDS Safety Assurance Assessor:
  Independent assessment of the ACCS DDS System Safety Hazard Analysis Report.
  
  For Thales Communication Systems, Air Traffic Management (ATM) Safety Assurance Expert for Network-based communications sub-systems: review and validation of Safety Assurance Plan and Analyses: Preliminary System Safety Assessment (PSSA), Functional Hazard Assessment (FHA), SWAL determination.

• EDF - SW Safety Assurance Expert

  Paris 2012 - 2013 For Nuclear Plants Instrumentation and Control Software:
  - Audit of EDF suppliers for C1 Instrumentation and Control Software,
  - Software surveillance Strategy definition for the EPR UK projects,
  - Doctrine of surveillance definition for High Security cranes and lifting devices,
  - Definition of a surveillance approach for Unit Tests of C1 and C2 Software,
  - Tooled and Documentary surveillance of the whole SW V-cycle of C1, C2 and C3 Systems,
  - Training of two EDF agents for the surveillance of C1 and C2 Software.

• Ansaldo STS - Railway and SW Safety Assurance Engineer

  Les Ulis 2012 - 2012 For ETCS Railway Systems:
  - In consistency with ETCS and RBC System documentations, surveillance of a sub-contracted analysis which I previously described in "Software Robustness with respect to dysfunctional values by Static Analysis" - please mind referring to the ISTE/WILEY book introduced within this profile,
  - Strategy definition of Safety demonstration for the RBC Configuration process.

• Thales - Railway and SW Safety Assurance Engineer

  Courbevoie 2007 - 2011 For Interlocking Railway Systems:
  - PHA/APR, IHA/ARI, FMECA/AMDEC, SEEA/AEEL, CCR/LCC, SW Unit tests and Integration tests replay, Software Building Evaluation, Traceability verification for the whole System & SW V-cycles,
  - Responsible of EN50128 Software Safety Cases for SCNF Interlocking systems,
  - Involvement in Deployment Safety Cases for Conventional Signaling Export Programs: Configuration Verification and Configuration Validation Evaluation, Site Test Evaluation, Hazard Log,
  - ETCS/ERTMS Signaling: Interface Analyses ETCS (RBC) / Conventional Signaling (IXL), for integrated Conventional/ETCS Signaling rules within Thales Products,
  - Thales Rail Signaling France designated SW Safety practitioner for inter-unit Technical exchanges: Reviewer of EN50128:2011, Ascertainment for France of Thales Germany RBC SW Safety Case, SW assessment of Thales Canada RATP L13 CBTC code, Inter-unit meetings on technical trends.
  

• Surlog - SW Safety Engineer

  2004 - 2007 - Development of Static Analysis and Abstract Interpretation tools to assist assessment of Safety-critical Software,
  - Assessment of Safety-critical Software, mainly for Railway Systems.
  

Formations

• Université Paris 6 Pierre Et Marie Curie

  Paris 2003 - 2004 DESS Développement de Logiciel Sûrs
  
  Paris VI, CNAM, ENS.

• Université Paris 11 Paris Sud

  Orsay 2002 - 2003 Maîtrise d'Informatique
  
  Stage de Vérification de Systèmes Temps-réel Réactifs à Polytechnique (LIX)

Réseau

• Bruno RANDRIANARIVO

  Bra-Motion (Plaisir)

• Daniel DRAGO

• Gildas MABIT

• Issam OULHAFIANE

• Jean-Christophe MAGNIENT

• Jérôme MELONI

• Melina BRUNET

• Samir KAMAL

• Sébastien MEURS