模型库：SysML示例

Sys ML 是 System Modelling Language 的缩写，也就是系统建模语言，主要是为系统工程提供的建模语言。 SysML 是在 UML 的基础上面向系统工程领域的扩展。

Sys ML 的图

Sys ML 对系统的建模关注四个维度

SysML 语言的构成如下图所示：

MBSE 采用 Sys ML 作为系统建模语言，可以有效地关联各种系统、软件、硬件、专业算法，

采用 Sys ML 实现 MBSE 有四个级别：

•  采用 Sys ML 建模：        可视化的模型可以提高视野的广度和深度，进而提高分析设计能力，虽然这种方法看起来只是画图而已，却能够需求人员和设计人员提供有效的形式支持，大大提高分析设计能力。

•  对 SysML 的模型进行仿真：        在清晰的建模基础上，如果能够在开发前就通过模型仿真系统的行为，发现需求的漏洞和设计的缺陷，这将大大降低开发的反复成本。为此 Sys ML 提供动态模型的仿真机制，动态的图（活动，序列，状态机图）都可以仿真，这方面需要工具提供相应的支持。

•  基于 Sys ML 的模型生成目标代码：        在仿真正确的基础上，可以面向目标平台和运行环境生成目标代码，然后自动编译运行，避免人为编码所引入的缺陷，并大大提高效率。

•  基于模型的测试：        根据模型自动化生成测试用例和相应的测试数据，这些测试用例可以和目标系统链接，然后通过测试数据的输入验证目标系统的功能和运行时序、性能。通过自动化的验证，提高验证的效率和质量。