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 23:32
Loaded: 0.00%
Stream Type LIVE
Remaining Time 23:32
 
1x
  • Chapters
  • descriptions off, selected
  • captions off, selected
  • en (Main), 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