基于SysML的健康监测系统软件设计

来源：计算机测量与控制杂志2025年第10期北京时间：

作者：周潇雅,李鹏程,肖进,顾黎,赵博

单位：北京宇航系统工程研究所

摘要：航天复杂任务场景导致航天产品规模与复杂度显著增长，航天产品“智能化”、“集成化”的发展趋势也使得软件在航天产品中的地位与功能要求不断攀升，传统的基于文档的软件功能设计往往在软件需求文档尚未完全厘清下开展，而软件测试则在软件设计完毕及编码实现后才开展，需求文档的模糊性导致可能出现设计、测试反复等问题，进而影响软件产品研制交付效率和质量。为了避免基于文档的软件设计带来的问题，采用MBSE方法，针对基于SysML的健康监测系统软件设计进行了研究，采用SysML软件模型在软件代码实现之前开展软件功能逻辑验证和软件功能测试。仿真及测试结果表明在软件论证阶段使用该方法，对软件功能设计方案正确性进行验证是可行的和有效的。

关键词：SysML;MBSE;软件设计;软件测试;基于模型