Detalhes bibliográficos
| Ano de defesa: |
1999 |
| Autor(a) principal: |
Nandamudi Lankalapalli Vijaykumar |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Tese
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
eng |
| Instituição de defesa: |
Instituto Tecnológico de Aeronáutica
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=2658
|
Resumo: |
O objetivo do trabalho é mostrar que a ferramenta de especificação Statecharts, criada para representar o comportamento de sistemas complexos que reagem a eventos, pode também ser utilizada para representar o comportamento dos modelos de desempenho. Um sistema complexo dado será modelado usando as características de Statecharts e através de uma reação a eventos estimulados todas as possíveis configurações do sistema serão geradas. Com este conjunto de todas as possíveis configurações do sistema complexo uma matriz de transições é criada. Esta matriz é a base para calcular probabilidades limite a partir das quais é possível determinar medidas de performance. |
