基于模型的系统工程（MBSE）定义的分析与形式化

《IEEE Open Journal of Systems Engineering》：An Analysis and Formalization of the Definition of Model-Based Systems Engineering (MBSE)

　　

摘要：

基于模型的系统工程（MBSE）这一术语在现代工程实践中被广泛引用，但其应用受到模糊且不精确定义的局限。本文评估了系统工程社区中现有 MBSE 定义的清晰度和精确度。通过首先审视定义的基础，随后应用本质定义原则和逻辑建模，开发了一个正式评估框架，并用于分析现有定义。分析表明，通常引用的定义缺乏足够的精确度，无法实现对 MBSE 的一致且数学上可解释的建模。因此，通过综合所引用定义的特征，提出了一种具有形式化基础的 MBSE 定义。该定义解决了现有不足，并为 MBSE 的本质提供了精确表述。提出的定义通过一个电池电动汽车（BEV）的基础技术示例进一步得到验证，展示了其在工程实践中的适用性和实用性。