Introducing probabilities in Statecharts to specify reactive systems for performance analysis |
| |
Authors: | N.L. Vijaykumar S.V. Carvalho V.M.B. Andrade V. Abdurahiman |
| |
Affiliation: | 1. Laboratory of Computing and Applied Mathematics, National Institute for Space Research, P. O. Box 515, 12201-970, SJ Campos, SP, Brazil;2. Mentor Tecnologia, Av. Adhemar de Barros, 633, 12245-010 SJ Campos, SP, Brazil;3. Department of Computer Science, Aeronautical Institute of Technology, 12228-900, SJ Campos, SP, Brazil |
| |
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. |
| |
Keywords: | Performance models Specification Statecharts Probabilistic reaction Analytical solutions Continuous-Time Markov Chains |
本文献已被 ScienceDirect 等数据库收录! |
|