MATLAB and Simulink Seminars

Create Robust Flight Software with Polyspace

Overview

 Robust software is the cornerstone of the aviation and space industry, ensuring that advanced products can perform their complex functions safely, efficiently, and reliably. Given the potentially catastrophic consequences of software failures, this critical software must be robust in all runtime conditions, including those not anticipated by the developer.

Come see how Polyspace can create robust software. Polyspace products provide testing and code verification capabilities that help software engineering teams achieve these quality requirements in a single environment.

Highlights

  • Prove the absence of critical runtime errors without code execution, instrumentation, or test cases
  • Generate Formal Methods artifacts for DO-178 and DO-333
  • Author, manage, and execute test cases and measure code coverage on the host and hardware target
  • Identify errors in generated code and correct them in the model

Who Should Attend

Engineers and Managers responsible for creating embedded C, C++, and Ada code

About the Presenter

Matt Rhodes is a senior application engineer at MathWorks, where he assists customers in the adoption of Polyspace, enabling them to develop safer, more secure, higher quality embedded software. Matt leverages over 17 years’ experience working with critical software. He has spent his time at MathWorks helping software engineers with their verification challenges, specializing in Polyspace analysis of C and C++ for safe and secure critical embedded systems. Prior to MathWorks, he developed his systems engineering and software development experience at Lockheed Martin, including experience with safety critical train control software. Matt holds a B.S. and an M.S. in Computer Engineering from the University of Central Florida.

Agenda

Time Title
11:00 Introduction
11:05-11:50 Presentation
  • Robustness – a quick review
  • Why Polyspace makes robustness easier
  • Other Polyspace benefits
11:50-12:00 Close / Q&A

Product Focus

Registration closed

View upcoming live events