Webinars

The webinar will explain the purpose of object code verification, highlight the nature of problems it can expose, and discuss how the management of requirements and their traceability can be extended right through to object code verification. Through practical examples we will show how tools can be used to automate the whole of that process from requirements traceability right through to object code verification challenges. Specifically, we will follow the process of adding additional test cases to obtain 100% object code coverage and mapping those test cases to your high level requirements for traceability.

Automated object code verification solutions can provide a complete structural coverage analysis solution for both source and object code from unit to system and integration levels. As each line of high level source corresponds to many lines of object code, using automation as part of your verification process is essential to correct verification with minimal burden on the development and test teams. We will discuss a proven solution that combines both high- and object-level (assembler) code analysis tools, with the object-level tool variant being determined by the target processor that the application is required to run on. A typical example might see C/C++ and TMS320C25x Assembler analysis tools teamed together to provide the required coverage metrics.

We will discuss the object code verification elements of the DO-178B standard and how they can be addressed using software analysis and test tools. Using automated object code verification is both the most effective and least resource intensive way to satisfy the requirements of the DO-178B and DO-178C standards for level A systems. For safety critical systems this technique can avoid a variety of failures both due to incorrect object code and object code that does not correctly match the high level requirements. Advanced code analysis technology was originally developed to support a wide variety of languages. Currently high level languages include C, C++, Ada and Java. In addition, because it is generic, some tools can support many assembler variants, including ARM, PPC, MIPS and x86.  

Who Should Attend?

• Software engineers and engineering managers interested in learning about developing software in compliance with industry specific standards.
• Systems engineers interested in learning about the interface between systems & software in a safety-critical environment.