摘要：针对采用基于模型的系统工程(MBSE)实现复杂系统研发中存在的数据资源集成与互操作困难、可追溯性差等问题,提出一种基于数字总线的系统追溯管理方法支持系统研发流程中工具集成、追溯性管理及复杂度管理.首先采用系统思维方法定义系统元素及其关联;随后分别通过需求规约方法、基于系统建模语言KARMA的多架构建模方法和Simulink建模规范支持需求分析、架构设计和仿真验证过程的形式化表达;同时采用生命周期协作开放服务(OSLC)规范构建统一数据源的数字总线,通过开发服务管理工具原型及领域工具内插件实现系统设计资源的追溯性管理及总线可视化;最后通过一个自动刹车系统设计的案例研究验证了所提出方法的可行性和有效性.

摘要：随着系统工程建模技术的进步,复杂装备生命周期所涉及的建模工具多样,模型数据异构为模型集成带来了重大技术挑战.因此,系统工程社区提出了语义建模规范并将其用于解决建模工具之间的模型数据集成难题,提升各工具建模语言的数据互用性.提出一个新的语义式系统工程建模语言KARMA,采用双语义机制支持复杂装备研发过程中的架构建模,并提出了该语言的技术发展路线.最后,通过工程验证案例,从定性及定量角度对语言进行技术验证,结果表明KARMA语言可支持多种复杂装备的体系及系统的架构设计.