Aerospace and Defence
Document

DO-178C paragraph 6.4.4.2: Why Object Code Verification is essential

7 Sections

Uniquely amongst the functional safety standards across the sectors, DO-178C shines a spotlight on the potential for dangerous inconsistencies between developer intent and executable behaviour – and even then, it is not difficult to find advocates of workarounds with clear potential to leave those inconsistencies undetected.  

Learn here why the differences between source and object code can have devastating consequences for ANY critical application - irrespective of how such workaround approaches are excused.  

REGISTER FOR FREE OR REQUEST LINK

Background

REGISTER FOR FREE OR REQUEST LINK

Object code verification

REGISTER FOR FREE OR REQUEST LINK

DO-178C and object code verification

REGISTER FOR FREE OR REQUEST LINK

The alien world of functional safety

REGISTER FOR FREE OR REQUEST LINK

Trusting your compiler

REGISTER FOR FREE OR REQUEST LINK

The implications for source code low-level test

REGISTER FOR FREE OR REQUEST LINK

In summary

Pen