Model-Based Design & Verification for DO-178C Using Simulink and the LDRA Tool Suite

Shan Bhattacharya, LDRA Software Technology
Tom Erkkinen, MathWorks

In this webinar learn how Model-Based Design and code verification technologies streamline flight software development for DO-178C, the FAA’s upcoming flight software certification standard. Simulink’s family of products enables simulation, code generation, and verification using models. The LDRA tool suite lets you assess code coverage and conduct low-level testing on target platforms, analyze software for standards conformance, and generate and manage artifacts for compliance. This webinar will introduce new integrations involving MathWorks and LDRA products that automate development and verification activities specified in DO-331, Model-Based Design supplement to DO-178C.

About the Presenters:

Tom Erkkinen is an Embedded Applications Manager at MathWorks. He has more than 20 years embedded system experience including control system software development at Lockheed and NASA.

Shan Bhattacharya is a Business Development Manager for LDRA. He also manages the US Field Engineering team. He has worked for major defense system integrators as a software engineer, software lead and an IPT lead. As a Field Applications Engineer for over five years with LDRA he has deployed LDRA’s software solutions for a lot of major defense, commercial avionics, medical device, and automotive vendors to meet industry software certification.