Webinars
Tracing Requirements through to Object Code Verification
Safety-critical systems where software failure can result in death or injury demand a higher level of testing than any other system. Regulators need to ensure that every line of code executes exactly as expected each and every time on the exact system the software will be deployed.
With such stringency, compiler optimisation-although typically a good and necessary thing to ensure efficient code execution-is not safe. To ensure compiler optimisation does not introduce execution errors, stringent DO-178B/C certification demands verification not only of the source code, but of the object code as well.
After examining the guidelines for object-code verification in DO-178B/C Level A, attendees will learn how software analysis and test tools take teams to certification readiness in the most effective and least resource-intensive way. The webinar will demonstrate how to avoid a variety of failures both due to incorrect object code and object code that does not correctly match high-level requirements.
The webinar will explain the purpose of object-code verification, highlight the problems it can expose, and discuss how the management and traceability of requirements can be extended through to object code verification. Using practical examples, we will show how tools can automate requirements traceability and how adding additional test cases can obtain 100% object-code coverage that maps the test cases to high-level requirements.
Automated object-code verification offers complete structural coverage analysis for both source- and object-code at both unit and system levels. Since each line of high-level source corresponds to many lines of object code, automated verification ensures full analysis with minimal burden on the development and test teams. We will discuss a proven solution that provides coverage metrics using both high- and object-level analysis tools for a typical target system using C/C++ and TMS320C25x Assembler.
 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.  



