随着现代工业生态不断发展和完善,产品开发人员的关注点从传统的针对某个具体系统设计,向着眼于系统组成的体系设计进行转变。体系为体系边界内的众多系统的组合而成,其架构由各系统的利益相关人、不同视角及视点组成,着眼于分析各系统互用性。由于体系的复杂程度非常的高,针对体系的设计有着很高的难度,且面临诸多挑战,包括基于体系的研发方法、体系及系统需求得得统一描述及管理以及体系组成系统的指标评估、权衡与优化等。面对高复杂度的体系进行设计通常使用基于模型的体系工程方法(MBSoSE)来代替基于文档的体系设计方法以提高体系设计效率。目前,MBSoSE存在不同的建模方法和建模语言,而传统的MBSoSE建模工具只能支持一种或者几种建模语言和建模方法,导致异构数据无法整合、分析及验证,同时不同利益相关人之间的体系设计信息无法互通。因此传统的MBSoSE不能克服体系设计中面临的挑战。
针对传统MBSoSE所存在的问题,提出多架构建模方法支持体系设计,完善体系设计方法。多架构建模方法通过基于元元模型的方法,实现基于不同建模语言和建模方法的体系建模;通过架构驱动技术,实现由已建模型自动生成相关联模型,提高体系建模效率且支持模型元素追溯管理;通过混合有限状态机建模及求解技术,实现针对状态视图转化过程的仿真,用于进行体系设计方案验证及权衡;通过基于可满足性模理论的指标验证技术,实现针对体系设计中系统指标的线性优化;通过代码生成技术,实现体系模型向系统详细设计模型的自动转化;通过OSLC服务化技术,实现体系设计产品全周期异构数据的集成分析。以空地协同防御体系的有人机协同防御场景为例验证多架构建模方法支持体系设计的有效性。
案例场景作战任务流程如图 7-1所示,敌军入侵被雷达识别后,雷达控制中心指挥战机起飞迎敌;后续作战任务中,雷达控制中心与战机保持信息同步;战机在雷达控制中心协助下找到敌机并驱逐敌机,敌机撤离后战机在雷达协助下找到敌方战车,随后追踪敌方战车并收集敌方战车信息传回雷达控制中心;敌方战车撤离后,战机前往指定区域搜集地面图像信息,最后前往指定区域肃清,保证区域无敌军后返回基地。针对案例场景的设计还有需要满足的性能指标,包括耗油量、飞行高度和图像收集传感器功率等,设计需要满足作战流程、性能指标,且需要在备选战机中选择出击战机方案。
根据提出的多架构建模方法针对案例场景进行设计,首先基于KARMA语言建立UPDM标准的元模型库;其次使用建立的元模型库对案例场景建立DODAF的作战视点模型,用图形化的模型来明确案例场景的作战任务概念、需求和流程,同时使用架构驱动技术实现以已建立的OV-5a模型为核心驱动关联模型OV-5b的自动生成,实现模型元素的追溯管理,提高建模效率;随后针对建立的OV-5b状态转换图使用状态仿真技术,支持验证作战流程设计正确性以及战机出击方案权衡,同时使用指标验证技术,提取OV-6a中的作战性能指标,优化图像收集任务中的图像收集信息,使其达到最大值;最后使用OSLC服务化技术,将上述技术的产生所有数据全部服务化,支持异构数据的集成分析。证明多架构建模方法可以支持体系设计。