Webinars

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...
In this first webinar in the series, we introduce Model-Based Design and discuss why it can provide value over traditional software development processes in certification workflows.
In part 2 of this webinar series, we discuss how to build a Simulink model from a requirements document, and how to create bi-directional links for traceability between the detailed design model and the textual high-level requirements.
In part 3 of this webinar series, we discuss the importance of developing and enforcing a modeling standard.
In part 4 of this webinar series, we discuss verification of the model against the textual requirements.
In part 5 of this webinar series, we discuss the idea of using formal methods to further verify the model and assess robustness.
In part 7 of this webinar series, we discuss the use of Polyspace for formal verification of the embedded software.
In part 8 of this webinar series, we discuss the use of Simulink Code Inspector to automate source code reviews.
In part 9 of this webinar series, we discuss requirements-based testing of the cross-compiled executable object code.
In this webinar learn how Model-Based Design and code verification technologies streamline flight software development for DO-178C, the FAA’s upcoming flight software certification standard....
This webinar provides a high level overview of the workflow for developing systems to meet aerospace certification requirements. The workflow will be demonstrated using a Helicopter flight control system example.