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.