Efficient Development of Safe Avionics Software with DO-178C Objectives Using Scade Suite - Handbook

Handbook - Efficient Development of Safe Avionics Software with DO-178C Objectives Using SCADE Suite® This document provides a careful explanation of a DO-178C compliant software life cycle as described in DO-178C and DO-331 guidelines It also presents a quick overview of ARP 4754A compliant system life cycle, and explains how the use of proper modeling techniques and qualified code generation from models can drastically improve productivity in the development and verification of safety critical software.