Aerospace and Defence

Verification of Executable Object Code from a Model (Version 1.0)

7 Sections

The introduction of RTCA/DO-331 Model based Development and Verification Supplement to DO-178C and DO-278A offers new opportunities to leverage the strengths of model based development under RTCA/DO-178C. The concept of model simulation for Executable Object Code (EOC) verification credit allows for the painstaking work of model verification to be reused to partially achieve EOC verification objectives. This document explores the conditions under which model verification can be used to partially satisfy EOC verification objectives and identifies areas which should be closely attended to in order to satisfy the regulatory requirements. 

eget ut adipiscing quis, Curabitur pulvinar consequat. vel,