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.
Identifer | oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2658 |
Date | 00 December 1999 |
Creators | Nandamudi Lankalapalli Vijaykumar |
Contributors | Solon Venâncio de Carvalho, Vakulathil Abdurahiman |
Publisher | Instituto Tecnológico de Aeronáutica |
Source Sets | IBICT Brazilian ETDs |
Language | English |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
Format | application/pdf |
Source | reponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0017 seconds