基于T-时延离散Petri网的小卫星测试序列生成方法

摘要：

通过分析小卫星测试中被测对象组成,建立测试对象与T-时延离散Petri网(T-timed discrete Petri nets,TTDPN)映射关系,给出被测对象的TTDPN描述.提出TTDPN的矩阵表示方法,并证明关系矩阵与TTDPN模型间的若干性质.设计基于小卫星TTDPN模型的测试序列动态生成算法,解决了现有小卫星测试系统中测试序列执行效率低的问题.为验证算法的有效性和性能,在相同模型下将文中算法与传统测试序列生成算法进行仿真对比.结果表明,该算法能够根据用户需求,针对模型中可达状态,动态地生成测试序列,能够满足小卫星测试系统高可靠性要求.

关键词：小卫星、Petri网、测试序列、建模、模型驱动

所属期刊栏目：30

分类号：V411.8(基础理论及试验)

资助基金：国家"十一五"预研背景项目113020102;长江学者和教育部创新团队发展计划项目IRT0520;国家自然科学基金资助项目60704020;国家"863"计划项目2007AA702204

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

页数：共5页

页码：396-400