Accelerating the pace of engineering and science

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

Dalla serie: Model-Based Design for DO-178C Software Development with MathWorks Tools

Registrati per accedere al video

Mike Anthony, MathWorks

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.

Product Focus

  • Simulink Design Verifier
  • Simulink
  • Embedded Coder
  • Simulink Code Inspector

Registrato: 31 mar 2013

Serie: Model-Based Design for DO-178C Software Development with MathWorks Tools

Introduction

Part 1: Introduction to Model-Based Design for High Integrity Software Development
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.

Development and Verification of the Model

Part 2: Requirements-Based Modeling and Traceability
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.

Part 3: Conformance to Modeling Standards
In part 3 of this webinar series, we discuss the importance of developing and enforcing a modeling standard.

Part 4: Verification of the Model Against High-Level Requirements
In part 4 of this webinar series, we discuss verification of the model against the textual requirements.

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

Development and Verification of the Code

Part 6: Automatic Code Generation and Traceability
In part 6 of this webinar series, we discuss automatic flight code generation.

Part 7: Proving Code Correctness
In part 7 of this webinar series, we discuss the use of Polyspace for formal verification of the embedded software.

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.

Part 9: Verification of the Object Code Against the Model
In part 9 of this webinar series, we discuss requirements-based testing of the cross-compiled executable object code.