Esterel Technologies>EN 50128>EN 50128 Handbook

EN 50128 Handbook (extract)

Efficient Development of Safe Railway Applications Software with EN 50128 Objectives Using SCADE Suite®

Abstract

This handbook addresses the issue of cost and productivity improvement in the development of safe embedded software for railway applications dealing with control and protection systems. Such projects, driven by the EN 50128 standard, traditionally require very difficult and precise development and verification efforts. This handbook first reviews traditional development practices and then covers the optimization of the development process using the SCADE Suite methodology and tools in conjunction with the certified SCADE Suite® KCG® 6.1.2 Code Generator. SCADE Suite supports the automated production of a large part of the safety life-cycle elements. The effects of using SCADE Suite together with the certified SCADE Suite KCG 6.1.2 Code Generator are presented in terms of savings in the EN 50128 development and verification activities by following a step-by-step approach and considering the objectives that have to be met at each step. The handbook does not intend to impose formal conditions of use. Formal guidelines can be found in the SCADE KCG Safety Case and in the EE81045C TÜV Report on the Certificate Z10 07 04 55460 002.