我对 Modelica 和 Scade 建模语言之间的区别感到困惑。看起来它们都是MBSE（模型库系统工程）解决方案。他们有什么区别？
说实话，我从未使用过 SCADE，但我知道有人用它来生成安全关键控制软件。摘自https://dl.acm.org/doi/10.1145/3427763.3432350说
ANSYS® SCADE Suite® 是安全关键嵌入式软件的开发环境，在航空电子、核电站、交通、汽车等各种应用领域使用了二十多年。其代码生成器符合多项工业标准（DO-178C、IEC 61508、EN 50128、IEC 60880 和 ISO 26262），可用于开发最安全的系统。
这几乎是我对 SCADE 的理解，但请对此持保留态度。所以主要目的是生成代码，模拟是为了验证代码是否按预期工作。
Modelica 是一种旨在模拟多物理系统的语言。目的是隐藏复杂性并使用户能够通过组合基本组件来生成复杂的系统。模拟通常是离线（非实时）的，以研究相当详细的物理关系。
有多种基于 Modelica 语言的工具。其中一些是 Dymola、OpenModelica、SimulationX、MapleSim 等。其他多物理仿真工具有 Mathworks Simulink（实际上是 SimScape）、Ansys Simplorer、Siemens Amesim、Synopsys Saber 等等（随意扩展列表）。
我没有全面的概述，但根据我的经验，Mathworks Simulink 是从图形模型生成代码最常用的工具。与 SCADE 的主要区别在于，生成的代码不允许在安全关键型应用程序中使用。 Modelica 协会的一个相对新的项目是嵌入式 FMI (https://www.efmi-standard.org/)，其目标是生成代码，例如基于物理模型设计的控制器。