Blue Flower

I propose a best price for some books :

 

 

 

Book title Current price  Shipping cost

CENELEC 50128 and IEC 62279 Standards,

Jean-Louis Boulanger, (paper)

ISBN: 978-1-84821-634-1, IWTE-WILEY, 2015    

75 euros

For 1 book in EU : 6 euros

For 2 to 5 books in EU : 10 euros

     

Applications logicielles certifiables 1 - processus principaux,

Jean-Louis Boulanger,

ISBN : 978-1-78405-138-9 (papier), 2016    

50 euros

For 1 book in EU : 6 euros

For 2 to 5 books in EU : 10 euros

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.