Descrição: Esta proposta visa acelerar a formação especialistas (pesquisadores e alunos) em tecnologia SDN, através da cooperação entre grupos de pesquisa da UFAM, UFMG e UFC, bem como consolidar os resultados experimentais obtidos pelo projeto de pesquisa que será beneficiado por esta proposta

Descrição: Este projeto tem como objetivo principal investigar e projetar mecanismos de inteligência computacional (métodos, algoritmos e estruturas de dados para agentes inteligentes com capacidade de raciocínio simbólico e de aprendizado através de interações e análises estatísticas), necessários para explorar a integração de novos conceitos sobre memória episódica (e de longa duração) em redes neurais artificiais associativas com métodos simbólicos, e a aplicabilidade dessa integração para estender as capacidades humanas na resolução de problemas e em tecnologias assistivas.

Descrição: Este projeto visa investigar e desenvolver mecanismos de inteligência computacional (componentes, métodos e/ou agentes inteligentes especializados) necessários para a manutenção automática de serviços de Redes Definidas por Software, ou SDN (do inglês Software-Defined Networks) [McKeown et al., 2008]. Tais mecanismos devem: (i) identificar padrões de estados inconsistentes de redes SDN, (ii) computar quando possíveis estados de falha podem ocorrer, e (iii) evitar a interrupção dos serviços oferecidos por causa de tais inconsistências entre, possivelmente novas, políticas de gerenciamento ou eventos inesperados. No jargão tradicional de redes de computadores estas são tarefas de softwares específicos de gerência de redes que mantêm a confiabilidade e desempenho dos serviços na presença de mal funcionamento de seus componentes ou fatores externos.

Descrição: Desenvolvimento de tecnicas de Inteligencia Artificial para unir de forma computacionalmente efetiva as ferramentas de Verificacao Formal de Sistemas e ferramentas CASE baseadas na Linguagem Unificada de Modelagem (UML).