Performance evaluation from stochastic statecharts representation of flexible reactive systems:a simulation approach  

作　　者：Junqiao Li Jun Tang Shuang Wan Wenbo Zhou Jianfeng Xu 

机构地区：[1]Department of Electronic Engineering,Tsinghua University [2]Key Lab of Underwater Acoustic Countermeasure [3]China Electronic Science Research Institute

出　　处：《Journal of Systems Engineering and Electronics》2014年第1期150-157,共8页系统工程与电子技术（英文版）

基　　金：supported by the National Natural Science Foundation of China(61171120)

摘　　要：This paper focuses on the performance analysis of flexible reactive systems. The performance analysis consists of two phases： first system modeling, second performance evalua-tion. The paper models the flexible reactive system by the stochas-tic statecharts method, and uses the simulation method to evalu-ate the performance. To make use of the feature of event-triggered state transitions in the statecharts, a new method of simulation is proposed based on the techniques of the discrete-event system simulation. The new method solves the problem of computer imple-mentation of stochastic events, probabilistic transition, concurrent states, paral el actions, and broadcast communication mechanism in the stochastic statecharts. An example of a flexible manufactur-ing system is presented. The simulation result of the example is consistent with the analytical result, which shows the feasibility of the proposed new simulation method.This paper focuses on the performance analysis of flexible reactive systems. The performance analysis consists of two phases： first system modeling, second performance evalua-tion. The paper models the flexible reactive system by the stochas-tic statecharts method, and uses the simulation method to evalu-ate the performance. To make use of the feature of event-triggered state transitions in the statecharts, a new method of simulation is proposed based on the techniques of the discrete-event system simulation. The new method solves the problem of computer imple-mentation of stochastic events, probabilistic transition, concurrent states, paral el actions, and broadcast communication mechanism in the stochastic statecharts. An example of a flexible manufactur-ing system is presented. The simulation result of the example is consistent with the analytical result, which shows the feasibility of the proposed new simulation method.

关 键 词：performance analysis stochastic statecharts simulation approach flexible reactive systems. 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]