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

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...

• Assuntos:

  • Modelos de desempenho
  • Statecharts
  • Representação de memória
  • Soluções analíticas
  • Cadeias de Markov a tempo contínuo
  • Simulação