MATLAB and Simulink Seminars

Enhancing DO-178 Compliance and Software Reliability through Rigorous Formal Verification


In the high-stakes world of safety-critical avionics software, ensuring compliance with DO-178C standards is paramount. Yet, traditional testing methods often fall short in guaranteeing the absolute reliability demanded in these systems. This webinar introduces formal methods as a powerful approach to elevate software robustness and meet the stringent requirements of DO-178C.


  • The critical role of formal verification in DO-178C compliance.
  • How formal methods complement and enhance unit testing.
  • Practical techniques for applying formal methods to achieve code robustness.
  • The confidence to elevate your software development process and build unbreakable, DO-178C compliant systems.

Who Should Attend

This webinar is for you if you are a:    

  • Software Engineer or Architect who is building software in avionics & aerospace
  • Project Manager, Lead & QA responsible for DO-178C compliance & software reliability.
  • Formal Methods Enthusiast interested in the cutting-edge safety-critical systems.

About the Presenter

Vaishnavi H.R. is an Application Engineer with MathWorks India Private Limited and focuses in the field of Verification & Validation. Prior to joining MathWorks, Vaishnavi has worked with HCL Technologies, Bangalore. Vaishnavi has worked in the V&V projects pertaining to the Aero industry with clients like Rockwell Collins. At MathWorks, Vaishnavi primarily concentrates on the static source code analysis and verification of the embedded code.

Gaurav Dubey is a Consultant Application Engineer in MathWorks and specializes in the fields of Model-Based System Engineering, Model-Based Design and certifications for safety-critical applications. Gaurav works closely with engineers across industries to help them use MATLAB® and Simulink® products for Model-Based Design, and Model-Based System Engineering.

Gaurav brings more than 19 years of experience in embedded system development for automotive and aerospace applications.

Prior to joining MathWorks, Gaurav worked with Tata Motors Limited, where he gained hands-on experience in engine management system ECU development. He has also worked as a software analyst at Tata Consultancy Services on automotive projects involving model-based development.

Gaurav holds a master’s degree in instrumentation engineering and a master’s degree in electronics and communications.

Product Focus

Enhancing DO-178 Compliance and Software Reliability through Rigorous Formal Verification

Registration closed

View upcoming live events