Resumo
Sistemas de tempo-real formam uma classe importante de aplicações computacionais, uma vez que é crescente o número de acessórios humanos voltados para a automação de atividades, como é o caso dos veículos autoguiados em fases de testes. Como muitos dos sistemas de tempo-real são críticos, dependendo fortemente do atendimento das tarefas dentro dos intervalos corretos, a análise de seu des…