Esterel Technologies>Downloads>Handbooks>IEC 61508 Handbook

IEC 61508 Handbook (extract)

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

Abstract

This handbook addresses the issue of cost and productivity improvement in the development of safe embedded software for automotive and heavy duty equipment applications. Such projects, driven by IEC 61508 standard, traditionally require very difficult and precise development and verification efforts. This handbook first reviews traditional development practices and then the optimization of the development process with the SCADE methodology and tools when it is used with the KCG 5.1.1 Code Generator. SCADE supports automated production of a large part of the safety life-cycle elements. The effects of using SCADE together with the certified KCG 5.1.1 Code Generator will be presented in terms of savings in the development and verification activities, following a step-by-step approach, and considering the objectives that have to be met at each step.