Model-Based Design for DO-178C Software Development with MathWorks Tools, Part 8: Automatic Test Vector Generation and Software-In-the-Loop Testing - MATLAB & Simulink
Current Time 0:00
Duration 0:00
Loaded: 0%
Stream Type LIVE
Remaining Time 0:00
 
1x
  • Chapters
  • descriptions off, selected
  • captions off, selected

      Model-Based Design for DO-178C Software Development with MathWorks Tools, Part 8: Automatic Test Vector Generation and Software-In-the-Loop Testing

      In part 8 of this webinar series, we discuss the use of Simulink Code Inspector to automate source code reviews. When attempting to satisfy DO-178C using a hand-code approach, one of the most time consuming steps in the process is the manual review of the source code. Simulink Code Inspector automates this code review process in a Model-Based Design workflow.

      Recorded: 31 Mar 2013

      Feedback

      Up Next:

      In part 5 of this webinar series, we discuss the idea of using formal methods to further verify the model and assess robustness.

      Model-Based Design for DO-178C Software Development with...

      Related Videos:

      Leverage existing test cases and achieve full coverage using formal methods for test generation in Simulink Design Verifier.

      Extend Existing Test Cases to Achieve Full Model Coverage

      Specification Modeling is the practice of creating models which define the expected behavior of a system. Learn how you can generate requirements-based test cases using Simulink Design Verifier from a Specification Model.

      How to Generate Requirements-Based Test Cases

      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

      Requirements Modeling and Design Verification of Embedded...

      Identify design errors, generate test cases, and verify designs against requirements using Simulink Design Verifier.

      What Is Simulink Design Verifier?

      View more related videos