针对空间有效载荷系统集成测试用例生成问题,在分析任务特点和测试技术发展趋势的基础上,采用改进面向对象Petri网(improved object oriented Petri net,IOOPN)的建模技术,提出了一种基于IOOPN模型自动生成测试用例的推理方法。该方法建立了对象工作模式的识别规则,采用启发式搜索生成单对象测试序列集,引用时间标尺实现系统级测试序列规划算法,满足了有效载荷系统级的测试要求,提高了测试的效率和水平,成功应用于某卫星科研实践。
针对空间有效载荷系统工作模式的复杂性问题,在研究其动态行为和运行特征的基础上给出了一种基于改进的面向对象Petri网(IOOPN,Improved Object Oriented Petri Net)的系统工作模式分析方法。该方法集合了Petri网和面向对象的优点;在面向对象Petri网模型中引入了对象间的行为约束关系;并根据约束关系实现了基于最小序列组的系统工作模式分析算法。最后,将该方法应用于某资源卫星有效载荷系统中,实践结果表明该方法满足对有效载荷系统工作模式的分析、仿真和验证的要求,为有效载荷系统的总体设计和集成测试提供了重要的参考。
针对空间有效载荷系统高复杂性和高可靠性需求的特性,设计了一种基于SysML (System Modeling Language)的故障诊断方法.该方法融入MBSE (Model Based System Engineering)思想,提出了基于SysML的空间有效载荷系统故障分析流程.基于SysML对空间有效载荷系统建立了故障分析相关的模型,其中,为满足故障分析建模的需求,对SysML元模型进行扩展定义,从而实现对组件间关系和故障表征与直接关联组件间关系的描述;基于所建模型构建故障诊断的整体框架,并提供从SysML数字模型到FTA (Fault Tree Analysis)的转换逻辑,从而实现对所有故障可能性的获取.通过案例分析,对提出方法在实际应用中的具体流程进行分析,并验证了该方法的有效性和实用性.
