Aumentando o tamanho do disco de uma VM no KVM (e possivelmente no VirtualBox)

É comum em nossos trabalhos com VMs (Virtal Machines) encararmos o problema de falta de espaço no disco. Isto já me ocorreu várias vezes, tanto na iniciação científica quanto no trabalho de conclusão de curso. Geralmente, este problema aparece com a máquina padrão do Mininet, que possui apenas 7 GB de espaço. Este post vem […]

Leia mais Aumentando o tamanho do disco de uma VM no KVM (e possivelmente no VirtualBox)

Instalação do Heptagon no Ubuntu 14.04

Este tutorial busca explicar a instalação do Heptagon, um software para modelagem de sistemas de eventos discretos (SEDs) que utiliza a linguagem BZR e que permite a implementação e estudo das propriedades de SEDs. Desta forma, pode-se construir autômatos visando modelar e controlar dispositivos discretos tais como aqueles encontrados em plantas de fábricas ou mesmo dispositivos domésticos como lâmpadas, fogões, geladeiras, máquinas […]

Leia mais Instalação do Heptagon no Ubuntu 14.04

Usando o POX com REST em um ambiente SDN

Neste post ensinaremos como oferecer uma interface REST informando a quantidade de switches conectados ao controlador POX, além de informar qual a tabela MAC – interface de cada switch conectado. Estas informações estarão disponíveis por meio de uma interface REST, e outros dispositivos poderão acessá-las através de requisições GET. Este tutorial foi feito em uma […]

Leia mais Usando o POX com REST em um ambiente SDN