Semantically Rigorous Modeling Methodology Session

This workshop explores the concept of Semantically Rigorous Modeling Methodology and the key mindsets driving MBSE, observed across various practices. We begin with Steven Jenkins’ definition of rigor in engineering: “Systems Engineering practice achieves rigor through precise language for description, mathematical abstraction for analysis, and effective automation.” In this context, methodologists play a crucial role—they are not modelers but identify business questions and design methodologies, processes, and tools, bridging digital engineering and project teams.

A presentation titled “MBSE Application to Design Verification Activities in Commercial Removal of Debris Demonstration (Phase II) project at JAXA: Semi-automation of Generating FMEA” (by Atsushi Wada, JAXA) introduces MBSE applied to a debris removal mission. The satellite approaches and captures debris in orbit, descends with it, and releases it, coordinating multiple component functions in each operational phase.

We support FMEA creation and review using a system model built with SysML behavioral elements. From a methodologist's view, our efforts include:
(i) Identifying challenges faced by systems engineers
(ii) Building a system model structure (metamodel) to support solutions
(iii) Creating an environment where stakeholders can access timely information from the model.

Additional talks include Dr. Maged Elaasar of Modelware Solutions presenting “Making MBSE More Rigorous and Agile with OpenCAESAR,” followed by a roundtable discussion.