Esterel Technologies

IEC 61508 Handbook (extract)

Efficient Development of Safe Applications Software with IEC 61508 Objectives Using SCADE Suite®

Abstract

This handbook addresses the issue of cost and productivity improvement in the development of safe embedded software for industrial, automotive and heavy duty equipment applications. Such projects, driven by the IEC 61508 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 IEC 61508 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.