Webinar Series: Model-Based Design for DO-178B Software Development
In this webinar series, we introduce the use of Model-Based Design for developing high-integrity software applications. The first webinar in the series provides an overview of the development workflow and the tools involved in each step in the process. The subsequent webinars, which can be viewed in any order, describe the individual steps in more detail and provide context for how those steps fit into the overall process.
High-Integrity Software Application Development Process
Part 1: Introduction to Model-Based Design for High-Integrity Software Development
Part 2: Requirements-Based Modeling and Traceability
Part 3: Conformance to Modeling Standards
Part 4: Verification of the Model Against High-Level Requirements
Part 5: Proving Algorithmic Correctness
Part 6: Automatic Code Generation and Traceability
Part 7: Proving Code Correctness
Part 8: Automatic Test Vector Generation and Software-in-the-Loop Testing
Part 9: Verification of the Object Code Against the Model
Part 10: Verification of the Object Code Against High-Level Requirements