期刊文献+

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

Performance evaluation from stochastic statecharts representation of flexible reactive systems:a simulation approach
下载PDF
导出
摘要 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.
出处 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2014年第1期150-157,共8页 系统工程与电子技术(英文版)
基金 supported by the National Natural Science Foundation of China(61171120)
关键词 performance analysis stochastic statecharts simulation approach flexible reactive systems. performance analysis, stochastic statecharts, simulation approach, flexible reactive systems.
  • 相关文献

参考文献29

  • 1N. L. Vijaykumar. Statecharts: their use in specifying and dealing with performance models. Sao Paulo: Sao Jose dos Campos,1999.
  • 2N. L. Vijaykumar, S. V. Carvalho, V. Abdurahiman. On proposing statecharts to specify performance models. International Transactions in Operations Research, 2002, 9(3): 321- 336.
  • 3N. L. Vijaykumar, S. V. Carvalho, V. M. B. Andrade. Introducing probabilities in statecharts to specify reactive systems for performance analysis. Computers & Operations Research, 2006, 33(8): 2369-2386.
  • 4D. N. Jansen, H. Hermanns, J. P. Katoen. A probabilistic extension of UML statecharts: specification and verification. Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th. Berlin: Springer, 2002: 355-374.
  • 5D. N. Jansen. Extensions of statecharts with probability, time, and stochastic timing. Bern: Twente University, 2003.
  • 6D. Harel, E. Gery. Executable object modeling with statecharts. IEEE Computer, 1996,30(7): 31-42.
  • 7F. N. D. Lucena, H. K. E. Liesenberg. A statechart engine to support implementations of complex behavior. Projeto Xchart: DCC-94-01, 1994.
  • 8E. Benowitz, K. Clark, G. Watney. Auto-coding UML statecharts for flight software. Proc. of the 2nd IEEE International Conference on Space Mission Challenges for Information Technology, 2006: 413-417.
  • 9A. Wasowski. On efficient program synthesis from statecharts. Proc. of the ACM SIGPLAN Conference of Languages, Compilers, and Tools for Embedded Systems, 2003: 163-170.
  • 10I. A. Niaz, J. Tanaka. Code generation from UML statecharts. Proc. of the 7th lASTED International Conference on Software Engineering and Application, 2003: 315-321.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部