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
|
11:50-12:00 | Close / Q&A |