Uma metodologia para anÃlise de fluxo de programas Java para tempo real
AUTOR(ES)
Paulo Abadie Guedes
DATA DE PUBLICAÇÃO
2004
RESUMO
Esta dissertaÃÃo apresenta um mÃtodo de anÃlise de fluxo para a estimativa do WCET (worst-case execution time), o tempo de execuÃÃo no pior caso, criado atravÃs da adaptaÃÃo de uma abordagem desenvolvida recentemente com o mesmo fim, sobre programas de tempo real orientados a objeto. O mÃtodo à uma extensÃo projetada para trabalhar sobre bytecodes Java, assumindo que nÃo hà nenhuma forma de anotaÃÃo de cÃdigo presente e tambÃm que o cÃdigo-fonte original nÃo està disponÃvel. Devido a estas suposiÃÃes, foi necessÃrio determinar a estrutura original do programa, atravÃs de algoritmos existentes para anÃlise de fluxo de controle. Outras informaÃÃes sobre o programa foram necessÃrias, especialmente relativas Ãs expressÃes condicionais, que foram fundamentais para a determinaÃÃo dos caminhos possÃveis no grafo. AlÃm do mÃtodo criado, foi desenvolvida uma ferramenta para anÃlise de fluxo que implementa, de forma parcial, uma das interpretaÃÃes abstratas possÃveis para este tipo de finalidade. A interpretaÃÃo implementada forneceu os resultados que confirmam os conceitos subjacentes a este trabalho. A ferramenta criada foi testada em alguns programas obtidos na literatura. Esses programas foram selecionados com o objetivo de exercitar a anÃlise do fluxo de controle, em situaÃÃes com caracterÃsticas relevantes e que ocorrem freqÃentemente, incluindo vÃrios tipos de laÃos e estruturas com condiÃÃes complexas. Programas com expressivo nÃmero de caminhos e de estados tambÃm foram utilizados nos testes. O mÃtodo desenvolvido constitui-se num passo importante para a estimativa do WCET em Java
ASSUNTO(S)
worst-case execution time interpretaÃÃo abstrata hard real-time mÃquina virtual java java virtual machine anÃlise de fluxo java para tempo real wcet tempo de execuÃÃo no pior caso rtj flow analysis wcet tempo real hard real-time java ciencia da computacao abstract interpretation rtj
Documentos Relacionados
- AnÃlise de sistemas operacionais de tempo real
- Uma metodologia para a anÃlise de investigaÃÃes de acidentes aeronÃuticos.
- Potencial de bombeamento eÃlico : uma metodologia de anÃlise
- Uma metodologia para anÃlise de disponibilidade de sistemas complexos via hibridismo de redes Bayesianas e processos Markovianos
- Uma extensÃo do fluxo de anÃlise e projeto do RUP para o desenvolvimento de aplicaÃÃes web