Model Based Development (MBD) Techniques & DO-331 application for Aviation Software Development: moving from Documents to Models

Model-Based Development (MBD) is getting more and more popular in organizations creating complex systems where it is crucial to collaborate in a multi-disciplinary environment and when the safety is crucial, like avionics projects.

In the past FAA and EASA gave no credits for a Model-Based project development, despite the developers were forced to use a model-based approach as Systems complexity grew more and more. Finally DO-178C recently introduced and regulated MBD via its supplement DO-331.

This course explains in depth how DO-331 regulates the use of Models in avionics project development, but explains also how to adopt MBD in organizations to make projects successful. In fact, many organizations recognize the value of Model Based Development as in their past projects they experienced a lot of pain in trying to engineer complex systems using hard-coded documents, fixed spreadsheets, and isolated diagrams. MBD is a modern approach to Systems Engineering: Model Based Systems Engineering (MBSE) and MBSE is and will more and more become a common practice and a synonym of Systems Engineering (SE).

While organizations understand the big potential benefits of MBD, they are still struggling in changing their internal engineering practices from document-centric to model-based and establishing a strong modeling culture throughout their divisions.

In this course, we will suggest a process for adopting MBD, getting the maximum from this technology, allowing quick wins and minimizing risks. In addition, we will give some important lessons learned in supporting organizations on their day-to-day struggle to adopting MBD, identifying common pitfalls to avoid, and providing suggestions for solving specific issues such as educating engineers on modeling languages, methods, and tools, importing data from documents to models, using models to produce document artifacts for specific stakeholders, etc.

In this fast-paced AEE course, experienced avionics engineers learn how to optimize DO-178C supplement DO-331 to real avionics. Not just theory, but practical and workable examples to fully understand and learn how to apply Model Based Design Techniques for better Quality in less time, in compliance with DO-178C (ED-12C) and DO-254 (ED-80).

Systems development has rapidly evolved together with Project complexity and shrinking Time-to-Market. Therefore, the new perspective introduced by DO-178C interpretations via the new supplement DO-331 has likewise changed the design paradigm. Attendees learn the latest techniques including advanced usage of MBD in avionics development, and much more as summarized below:


• Quick refresher on basic DO-178C and “how” it is applied to advanced avionics
• Understanding & applying the DO-178C & DO-254 Supplements for:
– DO-330/ED-215 Software Tool Qualification
– DO-331/ED-216 Model-Based Development and Verification
– DO-331/ED-217 Object-Oriented Technology
– DO-333/ED-218 Formal Methods Supplement
• Changes in Systems Engineering Practice Paradigm
• From Documents to Models
• Modelling: an example
• Modeling Solution
• A System modeling language: SysML
• A System Modeling example: an ABS system
• Model Based Development; what it is
• Advantages of Model Based Development
• Model Based Development Issues
• MBD Definitions
• Model-Based Development rules and best practices
• MBD pitfalls: How To Avoid
• DO-331 Introduction
• DO-331 Software Life Cycle Data and Software Development Process
• Specification Model & Design Model, usage mix Pros & Cons
• Model Verification
• Model Traceability
• MBD Best Practices
• MBD in action: Engineering Analysis of Models & Model execution: real-life examples
• Introduction to trade-off studies and their types: real-life examples
• Project organization for the analysis
• Requirements verification and constraints creation
• Evolutionary approach to adopting MBSE
• Recommendations for getting started and how to adopt MBD


This course is designed for Avionics Systems, Hardware, Software Managers and Engineers, Quality & Process Assurance or Certification personnel, seeking a higher level of understanding of the requirements and practices of Model Based Techniques and DO-178C supplement DO-331 to improve Project quality and schedule.


Carmelo Tommasi

Mr. Carmelo Tommasi, who presently manages AFuzion Europe, has pioneered the application of Model-Based Techniques and Software best practices for Security and Avionic Certification.

Carmelo has more than 30 years of experience working with major software multinationals. He founded, among others, the Italian branches of Telelogic, Artisan Software Tools, Atego/High Rely, being also CEO of all those companies.

Carmelo introduced Model-Based Techniques, Software and Hardware certification and Software Security practices in several projects of the Air Force, as well as being the mentor of the adoption of these methodologies among the major Defense/Aerospace companies.

He regularly conducts training and consultancy on avionics certification and software security and is a lecturer in University Master’s programs on Model Based Systems Engineering.