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

摘要：为了满足未来大容量、高速率、硬实时性的信息传输需求,将交换式以太网技术引入列车通信网络(TCN,train communication network)。针对不同优先级消息,根据其通信调度方式对传输过程建立了TCN的确定与随机petri网(DSPN,determined and stochastic petri nets)模型,比较了交换机不同调度算法对时延的影响,并分析了消息数目和产生周期,以及消息数目和吞吐量的关系。实验结果表明,采用优先级调度算法能在牺牲非实时数据时延的条件下降低实时数据的时延,验证了采用交换式以太网的TCN吞吐量远超过现有的TCN,并且能够为今后的设计和优化提供理论依据。

摘要：时间触发机制的引入提高了CAN总线对实时周期性消息的处理能力,然而系统中的非周期性消息具有迸发性、不可预知性和类型复杂的特点,对其传输性能的分析较为困难。该文利用确定随机petri网理论建立了时间触发CAN总线系统的模型,通过仿真对异步相中非周期性消息传输进行吞吐量和平均延时等性能分析,得出了相应的量化规律,其结论对时间触发CAN总线系统的分析与设计具有指导意义。

摘要：随着综合航电系统的发展,1553B总线已经不能满足发展需要,FC-AE-1553协议作为新一代的高性能网络通信协议被引入到航电系统中,其性能指标与整个航电系统的总体指标有着密切的关系。文中给出了一套完整的基于确定与随机petri网的FC-AE-1553性能评价模型和算法。通过对模型的求解,得到了网络系统的2个重要性能指标总线负载、延迟时间随消息数变化的规律,通过对性能曲线的分析,可对综合航电系统的设计和完善提供重要的理论依据。

摘要：浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机petri网的性能评价模型。通过对模型的仿真,得到了系统的性能指标总线利用率随系统运行时间变化的规律,通过对性能曲线分析,可对航空电子系统的设计和完善提供重要的理论依据。

摘要：提出一种基于确定与随机petri网DSPN(Deterministic and Stochastic petri Net)的1553B总线网络性能分析方法。在探讨DSPN的形式化定义的基础上,基于模块化思想建立1553B总线网络的周期控制模块模型和信道传输模块模型,最终建立1553B总线网络的DSPN模型,并描述1553B总线网络的动态行为特性。通过仿真实验得到了1553B总线网络的总线负载和延迟时间的动态变化曲线,验证了模型的正确性和有效性。所建模型可以为1553B总线网络的设计与分析提供理论依据。

摘要：鉴于数据传输总线的诸多优点,未来的弹载控制系统采用总线式网络化控制方式成为一个重要的发展方向。在该类系统的设计过程中,必须对各类设计方案进行形式化建模和性能评价。以确定与随机petri网为理论工具,建立了基于1553B总线的弹载控制系统在非周期性消息和周期性消息同时存在的复杂情况下的形式化模型,并在模型基础上推导出了相关的性能指标公式。通过对指标的分析,为弹载控制网络的设计和优化提供了理论依据。

摘要：传统的主从式或点对点式的弹载控制系统存在很多缺点,采用总线式网络化控制体制已成为必然趋势,在该类体制的设计过程中,对各类设计方案进行形式化建模和性能评价具有非常重要的意义;以确定与随机petri网为理论工具,建立了基于1553B总线的弹载控制系统在非周期性消息和周期性消息同时存在的复杂情况下的形式化模型,并在模型基础上推导出了关心的性能指标公式;通过对指标的分析,为弹载控制网络的设计和优化提供了理论依据。

摘要：基于离散时间确定与随机petri网(DDSPN)对PROFIBUS-DP通信过程进行建模和分析。通过网络协议仿真软件WIN-TTPN对其通信实时性能分析与评价,通过分析实时性能指标参数,即令牌循环时间、高低优先级报文数、出错率、主站数目和超时时间等,有效地分析PROFIBUS-DP总线系统的实时性能,为实际工程应用提供有价值的理论与方法。

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