Aerospace & Defense Industry - DO-178B Standard

Efficient Development of Safe Avionics Software with DO-178B Objectives Using SCADE Suite®

Abstract

This document addresses the issue of cost and productivity in the development of safe embedded software for avionics applications. Such projects, driven by the DO-178B guidelines, traditionally require very difficult and precise development tasks, incurring high verification efforts. This handbook reviews the regulatory guidelines and then presents the optimization of the development and verification processes that can be achieved with the SCADE Suite® methodology and tools. SCADE Suite supports the automated production of a large part of the development life-cycle elements. The effect of using SCADE Suite together with its qualified KCG™ 6.1.2 Code Generator is 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.

Efficient Development of Safe Avionics Display Software with DO-178B Objectives using Esterel SCADE®

Abstract

This document addresses the issue of cost and productivity in the development of safe embedded software for avionics display applications. Such projects, driven by the DO- 178B guidelines, traditionally require very difficult and precise development tasks, incurring high verification efforts. This handbook reviews the regulatory guidelines and then presents the optimization of the development and verification processes that can be achieved with the SCADE methodology and tools. Esterel SCADE supports the automated production of a large part of the development life-cycle elements. The effect of using SCADE Display™ and SCADE Suite® together with their qualified SCADE Suite KCG™ 6.1.2 and SCADE Display KCG™ 6.0.3 Code Generators is 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.

Railway Industry - EN 50128 Standard

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.

Industrial Industry - IEC 61508 Standard

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.