Blue Flower

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.