Technical Paper
Efficient Development of Safe Railway Application Software with EN 50716
This methodology handbook provides detailed explanations on how to fully satisfy the requirements of EN 50716:2023 (Railway Applications - Requirements for Software Development) with a SCADE model-based development approach to achieve safe and reliable software, while promoting an efficient model-based development and verification strategy.
What you will learn
- Introduction to the EN 50126, EN 50716, and EN 50129 standards
- Presentation of the optimization of the software development and verification processes achieved with the SCADE toolchain and methodology
- SCADE solutions support the automated production and verification of a large part of the development lifecycle elements
- Using the SCADE toolchain to save on the development and verification activities, following a step-by-step approach and considering the objectives required at each step
The handbook does not intend to impose formal conditions of use. Formal guidelines can be found in the SCADE Suite KCG Safety Case and in the TÜV SÜD Rail Reports on the SCADE Suite KCG, SCADE Test, and SCADE LifeCycle certificates.