Model-Based Systems Engineering (MBSE) and its supporting modeling language, procedures, and tools aim to assist Systems Engineers in making informed decisions while designing complex systems. It relies on a set of (mini) languages to help with requirement engineering, design, verification, and validation across the system engineering lifecycle. The purpose of Multi-Paradigm Modeling (MPM) is to create a basic framework for combining domain-specific models, with rigor and correction in mind.

In this talk, I will go over some of the contributions made by my group at the SEI to the assurance of Cyber-Physical Systems. This talk revolves around the complementarity of MBSE and MPM: my argument is that they are two sides of the same coin. To express their design, systems engineers use multiple formalisms, each adapted to certain goals. When merging formalisms, MPM advocates must focus on the value given. Finally, when flipping the "modeling" coin, both communities aim at increasing their chances of reaping the benefits of modeling.