Webinars

Explore the practical application of formal verification technologies in MATLAB and Simulink.
In this webinar we have a moderated discussion about the practical application of formal verification technologies in MATLAB ® and Simulink ® .
In this webinar you will learn techniques and practices in Model-Based Design to verify and validate software designs and embedded code using MathWorks tools. We will address requirements driven development, model coverage testing, and static code an
Think of requirements that describe unwanted functionality such as “thrust reverser shall not deploy while in flight.” What kind of test can verify that something shall never happen? Textual requirements are prone to misinterpretation, and some requi
Using Model-Based Design, MathWorks engineers will showcase how to develop and test a supervisory control module. The workflow spans the software development process from modeling and simulation of complex state machines, to open-loop and closed-loop
This presentation discusses the implementation of Model-Based Design for developing a complex system of wayside and train-side control systems, interlocking, track elements, and supervision level.
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 8 of this webinar series, we discuss the use of Simulink Code Inspector to automate source code reviews.
Best practices for DO-178 include key considerations, methods, and fundamental capabilities of Model-Based Design that span the software development process from modeling
Companies building complex electronics for the commercial and military aviation market often struggle with achieving DO-254 compliance. It is an increasingly common requirement for both military and commercial projects. Compliance can be time consumi
This webinar demonstrates the process to develop, test and deploy software for display systems using the Model-Based Design workflow.