Verification and Validation for DO-178C

Overview

Software used in high-integrity aerospace environments has always had to go through a rigorous development process. DO-178C clarifies how modern techniques, such as Model-Based Design and formal methods, can be applied in this process. These techniques allow projects to develop complex software systems efficiently and still maintain high levels of integrity.

A modern commercial aircraft relies on many millions of lines of embedded source code to fly. Fundamental systems, such as those used for guidance, navigation and control depend on software to function. In developing the software, rigorous design, inspection, and test procedures must be used.

Applying verification and validation techniques early in the development process enables you to find design errors before they can derail your project. Most system design errors are introduced in the original specification but are not found until the test phase. When engineering teams use models to perform virtual requirement-based testing early in a project, they eliminate problems and reduce development time.

In this webinar, you will learn how you can apply early verification & validation activities at every stage of the DO 178C development cycle, while automating many tasks which would also help in getting the maximum certification credits.

Highlights

• Establish traceability throughout the software development process.
• Detecting design errors in models using formal verification methods
• Systematic simulation testing of design by using an automation framework
• Formally validate safety-critical properties and verify design robustness.

About the Presenters

Gaurav Ahuja, Application Engineer, MathWorks

Gaurav is an application engineer with MathWorks and works with customers on the adoption of the MATLAB^® and Simulink^® products in the areas of model verification and validation, production C code generation, and certification. Gaurav holds a Bachelor’s degree in Electronics and Communication Engineering and a Master's degree in Embedded Systems.

Vamshi Kumbham, Application Engineer, MathWorks

Vamshi Kumbham is an application engineer at MathWorks India specializing in Code Generation, Verification and Validation. He works closely with customers across domains to help them use MATLAB and Simulink in their workflows. He has over 7 years of industry experience in design and development of software applications in Automotive domain. He has been a part of complete lifecycle of projects pertaining to Automotive. Vamshi worked for Bosch as Senior software engineer for more than 4 years and worked for Hyundai Motor India Engineering as Assistant Manager for more than ~3 years. He holds a bachelor’s degree in Electronics and Communication from Sri Venkateshwara Engineering College, Jawaharlal Nehru Technological University Hyderabad.