Introducing probabilities in Statecharts to specify reactive systems for performance analysis

  • Authors:

  • N. L. Vijaykumar;S. V. Carvalho;V. M. B. Andrade;V. Abdurahiman

  • Affiliations:

  • Laboratory of Computing and Applied Mathematics, National Institute for Space Research, SP, Brazil;Laboratory of Computing and Applied Mathematics, National Institute for Space Research, SP, Brazil;Mentor Tecnologia, SP, Brazil;Department of Computer Science, Aeronautical Institute of Technology, SP, Brazil

  • Venue:
  • Computers and Operations Research
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

Visualization

Abstract

Statecharts are expressed in a graphical language to specify complex reactive systems. They are extension of state-transition diagrams to which notions of hierarchy and orthogonality have been added. Recently, they have been suggested to represent performance models and in this regard a software package has been developed. In these performance models, the behavior of a system under study is considered to be probabilistic. Therefore, the inclusion of probabilities in Statecharts formalism will be studied. The proposed extension considers that a modeled system reacts probabilistically to events. In order to deal with these models, an analytical computational method based on constructing a Continuous-Time Markov Chain that is equivalent to the Statecharts model is proposed. The aspect of generating a Continuous-Time Markov Chain from Statecharts representation along with the solution to include probabilities among the transitions will be covered in this paper.