Model-Based Design for DO-178C Software Development with MathWorks Tools, Part 10: Verification of the Object Code Against High-Level Requirements

In this webinar we discuss verification of the object code against the high-level textual requirements. Recall that in a previous step the model was verified against the requirements. By using SystemTest in that step of the process, the developer is able to reuse those test cases directly to verify the object code against the requirements. Using Simulink, SystemTest, and Embedded IDE Link MU, the exact same test file can be used to verify the object code running on the target processor against the high-level requirements.