In this webinar, you will learn how to use Simulink Code Inspector to automatically compare generated code with its source model to help satisfy code-review objectives in DO-178 and other high-integrity standards. Through live examples, you’ll see how Simulink Code Inspector systematically examines blocks, parameters, and settings in a model to determine whether they are structurally equivalent to operations, operators, and data in the generated code. You’ll learn how to generate model-to-code and code-to-model traceability reports and how these reports help satisfy DO-178 software coding verification objectives.
About the Presenter: Bill Potter is in technical marketing at MathWorks, focusing on tool qualification products and high-integrity system development processes. He represents MathWorks on the DO-178C Model-Based Design supplement working group and has extensive industry experience using Embedded Coder to generate and certify flight software to DO-178B Level A.