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
- CENELEC 50126 + CENELEC 50129
- 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.