Guidance for Model-Based Development and Verification (DO-331) C2008

Topics: Quality, Safety & Maintenance

This seminar is offered in China only and presented in Mandarin Chinese. The course materials are bilingual (English and Chinese).

In the past, Model-Based Development and Verification (MBDV) technology has been widely used and accepted in software production.  When this technology is used in airborne software, a number of key issues should be considered to ensure the airworthiness objectives and safety goals.  In order to clarify these issues and ease the use the MBDV technology, DO-331 is published as a supplement to DO-178C, to provide consensus guidance to applicants and certification authorities. 

MBDV has been used more and more in critical software applications. As a MBDV supplement to DO-178C, DO-331 provides guidance to MBDV usage in airborne software. However, applicants still face uncertainty: how to verify the model, how to establish the trace, and what certification credit MBDV can gain, etc. Learning how to correctly meet the objectives of DO-331 becomes essential in the development of airborne software using MBDV technology. This seminar aims to deliver a thorough understanding of the core concept and the utilization of DO-331 by introducing attendees to the key issues that should be mastered to meet airworthiness objectives when MBDV technology and DO-331 are used as a mean of compliance.

Learning Objectives

By attending this seminar, you will be able to:

  • Describe the background, purpose and airworthiness objectives of DO-331
  • Differentiate between what is a model and what is not a model
  • Discuss the impact of MBDV on software lifecycle processes
  • Identify the certification credits MBDV may deliver and may not deliver
  • Apply software lifecycle and appropriate software development and verification activities according to MBDV technology 
  • Demonstrate compliance with DO-331 objectives and minimize cost while applying industry-best practices

Who Should Attend

Engineers in aviation airworthiness management and supplier management.


It is recommended that attendees shall have basic understanding of DO-178C and software engineering, and a Bachelor Degree on technical area.

You must complete all course contact hours and successfully pass the learning assessment to obtain CEUs.

  • DO-331 Overview
  • Definition of Model
  • Impact of MBDV on Software Planning Process
  • Impact of MBDV on Software Development Process
  • Impact of MBDV on Software Verification Process
  • Software Configuration Management of MBDV related data
  • Combined usage of DO-331 and DO-178C
  • Case Study
  • Conclusion
  • FAQ
Yunming Wang

Dr. Wang is the CTO of Shanghai Aviation Technologies Co., Ltd. During his research and work experience in France, Mr. Wang has been deeply involved in software development, software certification and tool qualification. He has accumulated rich experience in software implementation and certification under the circumstance of airworthiness requirements based on DO-178C standard and its supplements. As a member of SC-205/WG-71, the editorial committee of DO-178C standard series, Mr. WANG participates in the formulation of DO-178C, DO-330, DO-331, DO-332, DO-333, DO-278A, DO-248C and other standards.

Dr. WANG has published dozens of technical papers in China and abroad. He has also authored a book, Best Practice for Airborne Software Production Workflow. Dr. Yunming WANG obtained his B. S. in Mathematics and M.S. in Computer Science from Fudan University, his PhD in Computer Science from INRIA.

Duration: 1 Day
CEUs: .7

Fees: $294.00

If paying by any other method or if you have general questions, please contact SAE Customer Service.