Statecharts estocásticos para evaluación del desempeño en los sistemas reactivos

Las cartas de estado (Statecharts) son representadas en un leguaje gráfi co para identifi car sistemas reactivos complejos. Se presenta la metodología realizada en donde se realiza una extensión de los diagramas de transición – estado para los cuales las nociones de jerarquía y ortogonalidad han sido introducidas. Recientemente, Statecharts han sido sugeridos para representar modelos de desempeño. En esos modelos de desempeño, el comportamiento de un sistema bajo estudios se considera probabilístico y con este interés se han desarrollado software dedicados a esta tarea. Por consiguiente, la inclusión de probabilidades en protocolo Statecharts es el interes de este artículo. Dado que un sistema reactivo es modelado probabilísticamente para eventos. Este modelo en Statecharts es equivalente una cadena o proceso de Markov en tiempo continuo, por tanto se construye un modelo analítico del modelo y se presenta el aspecto de generación de una cadena de Markov de una representación Statecharts junto con la solución para incluir probabilidades entre las transiciones. En este artículo presentamos los Statecharts a partir de la utilización del Toolbox de Matlab llamado Statefl ow.