基于DSPN的多阶段任务系统测试性需求建模与分析

DSPN-based testability requirement modeling and analysis of phased-mission systems

针对多阶段任务系统(PMS)的测试性需求分析问题,提出了一种基于确定与随机Petri网(DSPN)的系统级测试性需求模型(PMS-DSPN)和指标确定方法.PMS-DSPN模型包括系统网(SN)和阶段网(PhN)两部分,每个SN对应于各个子阶段任务的GSPN测试性需求模型;PhN对应于各个阶段任务间的转换过程,并通过关联矩阵进行描述.基于该模型得到PMS任务成功率计算方法,并结合PMS维修代价、测试性设计代价计算方法,构造了系统级测试性指标优化分析模型,进而确定PMS系统级测试性指标.最后通过实例验证该方法的有效性.

The paper presents a deterministic and stochastic Petri nets （DSPN） framework for system-level testability requirement modeling and index determining of phased-mission systems （PMS）, named PMS- DSPN. It includes the system net （SN） and phased net （PhN）. Each SN is represented by a generalized stochastic Petri nets （GSPN） testability requirement model of each sub-phased-mission, and the PhN is correspond to transition between sub-phased-missions, which is described with incidence matrix. The mission readiness probability of PMS can be calculated based on the model. Consider the maintenances and testability design cost, it constructs an optimization-model for PMS system-level testability index. Experiment results demonstrate that the method is effective.