RESATYRUS: Geração Automatizada de Grafos de Compartilhamento

Propomos nesta dissertação um gerador de dinâmicas de escalonamento por reversão de arestas (Scheduling by Edge Reversal – SER) e de escalonamento por reversão de múltiplas arestas (Scheduling by Multiple Edge Reversal – SMER), o ReSATyrus. O ReSATyrus possibilita gerar grafos utilizados pela modelagem SER/SMER a partir de uma descrição de compartilhamento dos recursos envolvidos em linguagem mais compacta que os grafos resultantes. Este estudo é acompanhado de um exemplo de aplicação do SER como sistema de coordenação para um conjunto de agentes em movimento, que serve ainda como teste para as capacidades do ReSATyrus. Finalmente, também é desmonstrado como obter orientações iniciais para o SMER a partir de uma orientação válida para o SER, assim como um estudo básico dos resultados de usar as principais heurísticas para gerar orientação acíclica do SER. Este mecanismo é interessante por poder ser utilizado de forma distribuída, que é o foco de aplicação do SMER.