DO Qualification Kit 1.3

for DO-178

Learn more about DO Qualification Kit (for DO-178) through these one-hour online seminars that highlight features or application examples.

Learn more about MathWorks products and how they help solve complex technical issues through our online recorded webinars. To view a free webinar, select a topic and then click on the link and complete the request form. Title Best Practices for Verification, Validation, and Test in Model-Based Design 30:00 new High Integrity Software Development 01: Introduction to Model-Based Design for High Integrity Software Development 25:00 High Integrity Software Development 02: Requirements-Based Modeling and Traceability 24:00 High Integrity Software Development 03: Conformance to Modeling Standards 36:38 High Integrity Software Development 04: Verification of the Model Against High-Level Requirements 24:40 High Integrity Software Development 05: Proving Algorithmic Correctness 29:38 High Integrity Software Development 06: Automatic Code Generation and Traceability 34:36 High Integrity Software Development 07: Proving Code Correctness 34:16 High Integrity Software Development 08: Automatic Test Vector Generation and Software-In-the-Loop Testing 24:25 High Integrity Software Development 09: Verification of the Object Code Against the Model :00 High Integrity Software Development 10: Verification of the Object Code Against High-Level Requirements 13:40 Model-Based Design for DO-178 Using Tool Qualification Kits 46:33 new Model-Based Design for DO-254 63:07 new Top 10 Features in 2009 for Embedded Code Generation 61:00 What’s New in PolySpace Products in 2009 42:00