Esterel Technologies>Downloads>Handbooks>DO-178B for Embedded Displays Handbook

DO-178B for Embedded Displays Handbook (extract)

Best Practices in Embedded Display Application Development under DO-178B with 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.0 and SCADE Display KCG 6.0 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.