Esterel Technologies>Downloads>Handbooks>DO-178B Handbook

Methodological Handbooks

DO-178B Handbook (extract)

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.0 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.