DO-178B Software Development, Part 1: Introduction to Model-Based Design for High Integrity Software Development

From the series: Model-Based Design for DO-178C Software Development Using MATLAB and Simulink

Register to watch video

Mike Anthony, MathWorks

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. We then introduce an example Model-based Design software development workflow, including a high-level discussion of each step in the process and the corresponding tools involved. The goal of this introductory webinar is to provide sufficient background of the overall process to provide the appropriate context for viewing of each of the other parts of this webinar series.

Product Focus

  • Embedded Coder
  • Stateflow
  • Polyspace Bug Finder

Recorded: 31 Mar 2013

Series: Model-Based Design for DO-178C Software Development Using MATLAB and Simulink

Introduction

DO-178B Software Development, 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

DO-178B Software Development, 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.

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

DO-178B Software Development, 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.

DO-178B Software Development, 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

DO-178B Software Development, Part 6: Automatic Code Generation and Traceability
In part 6 of this webinar series, we discuss automatic flight code generation.

DO-178B Software Development, 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.

DO-178B Software Development, 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.

DO-178B Software Development, 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.