Abstract:In order to facilitate the progress of the ModelBased Development and Verification (MB) technology, and also provide the certification guidance for the airborne software MB activities, Radio Technical Commission for Aeronautics (RTCA) released DO331 ModelBased Development and Verification standard, as a supplement document to the DO178C Software Considerations in Airborne Systems and Equipment standard in 2011. This Paper provides the abstraction and explanation for the DO331 from the aspects of its structure organization,models usage and category, MB related software lifecycle processes, data and certification objectives, which can help people who use this standard understand its core content quickly and capture the certification concerns of MB, therefore demonstrate the certification compliance well during the program implementation process.