Summary: Verificac¸ ~ao de Sistemas de Tempo Real
com Aut^omatos Temporizados: Teoria e Pr´atica
Prof. Guilherme A. Pinto
07 de dezembro de 2006
Departamento de Ci^encia da Computac¸ ~ao ­ UnB
gap@cic.unb.br 1/31
Roteiro
· Aut^omatos Temporizados e Verificac¸ ~ao:
­ Aut^omato Finito - Aut^omato Temporizado
­ Composic¸ ~ao e Verificac¸ ~ao usando Linguagens
­ Alcanc¸abilidade
· UPPAAL e Exemplo
­ O que dizer para o Engenheiro?
­ Interface e Exemplo
· Grau de Indecidibilidade:
­ Universalidade
­ Hierarquias de indecidibilidade
gap@cic.unb.br 2/31
Aut^omato Finito
2

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics