Skip to Main Content

 

Technical Paper

Efficient Development of Safe Railway Application Software with EN 50128/EN 50657

This methodology handbook provides detailed explanations on how to fully satisfy requirements of EN 50128:2011 (Software for communication, signaling and processing systems) and EN 50657:2017 (Software for rolling stock applications) with a SCADE model-based development approach to achieve safe and reliable software, while promoting an efficient model-based development and verification strategy.

The handbook introduces the EN 50126, EN 50128, EN 50657, and EN 50129 standards before presenting the optimization of the software development and verification processes that can be achieved with the SCADE toolchain and methodology. SCADE tools support the automated production and verification of a large part of the development lifecycle elements. The effect of using the SCADE toolchain is presented in terms of savings in the development and verification activities, following a step-by-step approach and considering the objectives that must be met 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.

SHARE THIS TECHNICAL PAPER

查看 Ansys 的服務與產品

立即聯絡我們

* = 必填欄位

感謝您聯絡我們!

我們將在此解答您的問題,並期待與您交流互動。Ansys 的銷售團隊成員會立即與您聯絡。

Footer Image