基于DSPN的航天器系统级可测试性指标确定方法

摘要：

为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究.通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证.

关键词：航天器、确定与随机Petri网、可测试性设计、系统级可测试性指标

所属期刊栏目：22

分类号：TP23;TP206(自动化技术及设备)

资助基金：国家重大科技专项工程

在线出版日期：2014-01-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：127-133