Events - Seminars

Model-Based Design for DO-178 Flight Applications Using Tool Qualification Kitsnew

Seminar Overview

Discover how Simulink enables you to design, generate, and verify software for high-integrity applications, including those that require certification to the commercial aerospace standard, DO-178.

With Simulink and associated verification products, you create detailed software specifications, perform requirements tracing, generate tests, and perform structural coverage analysis on models. With Real-Time Workshop Embedded Coder, you generate source code from models that is optimized for speed, memory usage, and clarity. Embedded IDE Links let you reuse your model as a test harness to verify object code using IDEs, including Green Hills MULTI. Finally, PolySpace code verifiers let you apply formal methods to assess potential run-time errors in your code.

Featuring MathWorks new product: DO Qualification Kit (for DO-178)

Thank you for your interest in MathWorks Seminars. There are no dates currently scheduled for this Seminar. For more information on our seminars and products contact MathWorks sales or please visit:

Who Should Attend

Basic knowledge of Simulink is helpful but not required. This seminar is important for anyone who works on high-integrity applications, especially in aerospace and defense, including:

Embedded systems engineers
Software developers
Project managers
Certification authorities and DERs

Seminar Highlights

This seminar will first introduce Model-Based Design concepts and highlight new features in Simulink, including R2009b. Engineers will then demonstrate how to develop and verify software that requires RTCA/DO-178B Level A certification by illustrating how to:

Trace requirements bidirectionally to code and requirements tools (e.g., IBM DOORS)
Test and verify designs including model structural coverage (e.g., MC/DC)
Generate optimized source code for flight processors (e.g., Freescale PowerPC)
Automate processor-in-the-loop testing using IDEs (e.g., Green Hills MULTI)
Check code for conformance to standards (e.g., MISRA-C)
Use new DO-178 Qualification kits for software verification tools (e.g., SystemTest)
Generate reports and documentation

Agenda
8:30 a.m.	Registration and Continental Breakfast
9:00 a.m.	Introduction and New Features
10:00 a.m.	DO-178B Case Study Requirements and Design Model Verification Code Generation and Flight Processor Integration Code Verification Tool Qualification
11:30 a.m.	Questions and Answers