I do some activities 

Automotive domain

• PSA -
  • 2012-2014 training on the safety of hardware architecture (250 peoples trained);
  • 2015 training on ISO 26262 - part 6;
  • 2016-2018 : application of the ISO 26262 for a ASILC software;
• Chassis-break
  • 2016 : deployment of a software development process compliant with ISO 26262 - part 6;
• TM4
  • 2018 - help to put in place a methodology complaint with ISO 26262 and A-SPICE

Railway domain :

• ATOS (France) : ATS sub-system;
  • 2016-2018
    • 1 day training "safety for dummy" (50 personnes)
    • 1 day training for CENELEC 50126/50129
    • 2 days training for CENELEC 50128:2011
• CERTIFER (France) : assessment of SIL0, SIL2 and SIL4 software for urban and ERTMS applications;
  • from 2002
• CAF POWER (Spain) : help to develop a new TCU;
  • 2016 - 2018
• CARS (China) :
  • 2014-2015 - help to develop an TCMS application;
• BOMBARDIER (France)
  • develop a methodology fro SSIL2 software compliant with CENELEC 50128
  • manage the development of SSIL2 software for TCN - REGIO2N
• BOMBARDIER (CANADA) :
  • 4 days Training on railway standards : CENELEC and IEEE
  • 1 day on methodology
• THALES (PORTUGAL) : training on CENELEC standards
  
  • 2 trainings of 2-days on CENELEC 50128:2011
• THALES (TORONTO - CANADA) : training on CENELEC standards
  • 30 trainings of 1-day on CENELEC 50126/50129
  • 30 trainings of 2-days on CENELEC 50128:2011
  • Validator for DUAT project from September 2019 to ???
• RAILNOVA (Belgium) :
  • 2 days training on CENELEC standards
  • safety analysis of train monitoring equipment (SIL0 - demonstration of non-substantiality);
• CRRC - CHINA - BEIJING :
  • 2017 - 3 days training on SCADE and 50128:2011
• INGETEAM - BILBAO
  • 2018 - 3 days training on CENELEC 50126, 50129 and 50128:2011;
  • 2018 - one day consulting on how to apply CENELEC standard on a TRAIN equipment;
• ...

Tools domain :

• AdaCore :
  • 2013 - 2014 - Validator for an Ada runtime SIL4 for railway domain;
  • 2013 - 2014 - Validator for a tools qualification report;
  • 2017 - 2018 - Validator for an Ada runtime SIL4 for railway domain;
  • 2018 - 2days training on CENELEC 50128:2011
  • 2019 - 2021 - Validator for an Ada runtime SIL4 for railway domain;
• Argosim : consultancy related to tool qualification;
• SAFERIVER : validator for mathematical prover

In English

 2014 : Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method,  Jean-Louis Boulanger (Editor), ISBN: 978-1-84821-709-6,  496 pages, July 2014, Wiley-ISTE

2014 : Formal Methods Applied to Complex Systems,  Jean-Louis Boulanger (Editor), ISBN: 978-1-84821-632-7,  480 pages, July 2014, Wiley-ISTE

In French

2013: Sous la direction de jean-Louis Boulanger, « Mise en œuvre industriel des techniques formelle – méthode B », HERMES, Avril 2013, 420 pages 

In French

2016 : Applications logicielles certifiables 1 - processus principaux, ISBN : 978-1-78405-138-9 (papier), 2016

2015 : Techniques de sécurisation des applications à base de logiciel 198 pages - Avril 2015 , IWTE-WILEY, 2015 ISBN: 978-1-78405-075-7 (print) ISBN: 978-1-78406-075-6 (e-book)

2014 : Mise en œuvre des normes CENELEC 50128 et IEC 62279, Jean-Louis Boulanger (Editor), ISBN: 978-1-78405-009-2,  350 pages, July 2014, Wiley-ISTE    

2014 - Ingénierie des exigences - Méthodes et bonnes pratiques pour construire et maintenir un référentiel,  Stéphane Badreau, Jean-Louis Boulanger Collection: InfoPro, Dunod 2014 - 300 pages - 175x250 mm EAN13 : 9782100706402    

2013 : Maitriser la sécurité des systèmes programmables, editions universitaires européennes, ISBN-10 :6131540624, AVRIL 2013    

In English

2015 : CENELEC 50128 and IEC 62279 Standards, Jean-Louis Boulanger, ISBN: 978-1-84821-634-1, IWTE-WILEY, 2015

2013 : Safety Management of Software-based Equipment (FOCUS Series) [Hardcover], jean-louis Boulanger, Wiley-ISTE; 1 edition, April 2013

SILAS-SAS propose many trainings on different subjects:

• Formal Method
  • 1 day training for an introduction to the B method,
  • 3 day training for a large presentation of the B method (from specification to code generation of proved model)
  • 2 days training on SCADE,
  • for other training on proof, model-checking, etc. Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Requirement Management
  • 1 day training on the Requirement management
• Software development process
  • 1 day training on classical software development process (V-cycle, C, ADA, etc.);
  • 1 day on UML based approach for safety critical application;
  • for other training on software development process (Agile approach, ...) Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Hardware architecture
  • 1 day training to present the generic principle (redundancy, diversity, etc.) and presentation of true examples;
  • for other training on hardware architecture Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.
• Understanding a standard  
  • Generic E/E/PE product : IEC 61508;
  • Automotive domain : ISO 26262;
    • 1 day training for general presentation
    • 2 day training on part 6 related to software
  • Railway domain :
    • CENELEC 50126  + CENELEC 50129
      • 1 day training to understand how to manage the safety in railway domain 
      • 2 day training to analyse
        • railway safety approach
        • safety demonstration : from generic product to specific application
        • product assessment and certification
    • CENELEC 50128 for software development that fulfill SIL objective;
      • 1 day training to understand the CENELEC 50128:2011
      • 2 days training for a full presentation of the CENELEC 50128:2011
    • CENELEC 50155 and CENELEC 50657
      • 1 day training to present the safety approach for onboard equipment and how to develop a software for onboard equipment
•  Verification and Validation:
  • 1 day training to discover what is verification and validation for software;
  • 2 day training for a full presentation of verification (review, code analysis, metrics, etc.), testing and validation;
  • 1 day training to understand how formal verification can be introduced in a software development process.

For training the cost is related 

• to the number of day (the day cost is 1400 euros HT/day);
• to the location (travel + hotel);

Reference: 

• 2 days training on CENELEC for ANSALDO STS - Naples (Italia);
• 5 * 2 days training on CENECEC for ANSALDO STS - Les ulis (France);
• 2 days training on CENELEC standard for LGM - Toulouse (France);
• 5 days training on CENELEC standard + Hardware safety for SIEMENS Fire - Puné (India);
• 20 * 1 day training on Hardware and architecture safety for PSA - PARIS (france);
• 5 * 2 days training on ISO 26262 for PSA - La garenne (France);
• 2 days training on CENELEC 50128:2011 for ALSTOM - Italia;
• 2 days training on CENELEC 50128:2011 for ALSTOM - Reichoffen (France);
• 4 days training on CENELEC standard for BOMBARDIER - Montreal (Canada);
• 4 days training on CENELEC standard for CAF POWER in Spain;
• 3 days training on CENELEC standard for IKERLAN in Spain;
• ...

For more information contact JL BOULANGER at Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.