Verifying Automata Specification of Distributed Probabilistic Real

摘要 Inthispaper,aqualitativemodelcheckingalgorithmforverificationofdistributedprobabilisticreal-timesystems(DPRS)ispresented.ThemodelofDPRS,calledreal-timeprobabilisticprocessmodel(RPPM),isovercontinuoustimedomain.ThepropertiesofDPRSaredescribedbyusingdeterministictimedautomata(DTA).Thekeypartinthealgorithmistomapcontinuoustimetofinitetimeintervalswithflagvariables.Comparedwiththeexistingalgorithms,thisalgorithmusesmoregeneraldelaytimeequivalenceclassesinsteadoftheunitdelaytimeequivalenceclassesrestrictedbyeventsequence,andavoidsgeneratingtheequivalenceclassesofstatesonlyduetothepassageoftime.Theresultshowsthatthisalgorithmischeaper.

1Roger Achkar Gaby AbouHaidar Christopher Mansour Nashaat E1 Halabi. Real-Time Application of DPCM and ADM Systems.计算机应用技术,2013-04.
2Xiaoying Meng;Feiqi Deng. Stability of stochastic switched epidemic systems with discrete or distributed time delay.物理电子学,2014-04.
3BAO Leping;FEI Shumin;YU Lei. EXPONENTIAL STABILITY OF LINEAR DISTRIBUTED PARAMETER SWITCHED SYSTEMS WITH TIME-DELAY.系统科学,2014-02.
4ZOUYong-gui GEJun-wei. The Multi—level Recovery of Main—memory Real—time Database Systems with ECBH.通信与信息系统,2003-01.
5Wang Yaonan Wan Qin Yu Hongshan. Effective method for tracking multiple objects in real-time visual surveillance systems.物理电子学,2009-06.
6. A Class of Real-Time Parallel Combined Methods of Digital Simulation for Large Systems.物理电子学,2000-02.
7Xiaoli WANG Yiguang HONG. DISTRIBUTED FINITE-TIME χ-CONSENSUS ALGORITHMS FOR MULTI-AGENT SYSTEMS WITH VARIABLE COUPLING TOPOLOGY.系统科学,2010-02.
8EI Hassan ZERRIK;Lahcen EZZAKI. Output stabilization of distributed bilinear systems.控制理论与控制工程,2018-01.
9MorenoMarzolla. Distributed Simulation of Large Computer Systems.物理,2001-01.
10Mao-Lin Yang;Hang Lei;Yong Liao;Ze-Wei Chen. Partitioned k-Exclusion Real-Time Locking Protocol Motivated by Multicore Multi-GPU Systems.物理电子学,2016-03.

Verifying Automata Specification of Distributed Probabilistic Real—Time Systems

来源期刊

相关推荐

同分类资源更多

相关关键词

Verifying Automata Specification of Distributed Probabilistic Real—Time Systems

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多