Téléchargeable gratuitement sur le site de la société Esterel Technologies, éditeur de l’outil de développement basé modèles Scade dédié aux applications critiques dans l’avionique, l’ouvrage “Efficient Development of Safe Avionics ...Software with DO-178C” fournit des explications détaillées sur la façon de satisfaire pleinement les objectifs DO-178C avec une approche basée sur des modèles Scade, tout en favorisant une stratégie de développement et de vérification visant à réduire les coûts et à augmenter la productivité d’un projet.

Le guide analyse en premier lieu les grandes lignes directrices réglementaires de la DO-178C et la structure documentaire de la spécification. Il présente ensuite l'optimisation des processus de développement et de vérification qui peuvent être obtenus avec la méthodologie et les outils Scade qui prennent en charge la production et la vérification automatisées d'une partie des éléments du cycle de développement d’un projet. La mise en œuvre pas à pas du générateur de code qualifié KCG est aussi abordée dans ce manuel en fonction des objectifs qui doivent être respectés à chaque étape du processus de développement.

Rappelons que la norme DO-178C, qui succède à la DO-178B et qui a été adoptée par les autorités de certification de l’aéronautique en 2012, porte sur les méthodologies de conception de code embarqué dans les avions civils et militaires. L'ouvrage est accessible ici.