Tratamento de memória em modelos Markovianos especificados em Statecharts: abordagens por simulação e analítica

AUTOR(ES)

Vijaykumar, Nandamudi Lankalapalli, Berkenbrock, Gian Ricardo, Carvalho, Solon Venâncio de, Andrade, Valéria Maria Barros de, Swamy, Gurrala Veereswara, Rao, Mokka Jagannadha

FONTE

Gest. Prod.

DATA DE PUBLICAÇÃO

2012-12

RESUMO

Statecharts representam graficamente sistemas reativos que respondem aos estímulos externos ou internos e mudam estados de um dado sistema. Statecharts estendem diagramas de estado com hierarquia, paralelismo e interdependência. Devido às suas características, eles foram adaptados para representar e tratar analiticamente modelos de desempenho (sistemas reativos cujo desempenho deve ser avaliado). Uma característica presente em Statecharts é registrar (ou memorizar) um estado do sistema que não é possível representar numa forma direta em modelos Markovianos devido à sua propriedade de "sem memória". São duas as contribuições deste artigo: mostrar que Statecharts são viáveis para especificar sistemas reativos e avaliar o seu desempenho tanto por técnicas analíticas quanto por simulação; mostrar que a inclusão de representação de memória em Statecharts pode, de fato, ser tratada por abordagens analíticas e de simulação. Um estudo de caso de um sistema de manufatura é considerado para mostrar que os objetivos foram alcançados.

ASSUNTO(S)

modelos de desempenho statecharts representação de memória soluções analíticas cadeias de markov a tempo contínuo simulação

Documentos Relacionados

• Geração de casos de teste para sistemas especificados em statecharts
• Geração de casos de teste para sistemas especificados em statecharts
• Statecharts: their use in specifying and dealing with performance models.
• Supervisão descentralizada em modelos de desempenho de sistemas: uma abordagem por processos Markovianos de decisão
• Supervisão descentralizada em modelos de desempenho de sistemas: uma abordagem por processos Markovianos de decisão