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

Model-Based Development and Verification (MBDV) technology has been widely accepted in software production. When this technology is used in airborne software, key issues should be considered to ensure airworthiness and safety goals are met. To facilitate the use the MBDV technology, RTCA DO- 331 is published as a supplement and guidance support to DO-178C. Because MBDV is regularly used in critical software applications, guidance is needed to apply it to airborne software. This course supports learners in verifying the model, establishing the trace, and certifying the work. Essential topics include meeting the objectives of DO-331, understanding the core concepts, and apply the standard with the goal of meeting airworthiness objectives.

• 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

Engineers in aviation airworthiness management and supplier management.

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

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.