Conectando “coisas” pelo AWS IoT

A Amazon disponibiliza deste a segunda metade de 2015 o serviço AWS IoT que permite conectar dispositivos à nuvem de forma segura e sem maiores complicações. O serviço provê comunicação indireta entre dispositivos e servidores por meio do padrão publish/subscribe utilizando o protocolo Message Queue Telemetry Transport (MQTT, veja nosso post anterior para mais informações sobre este e […]

Leia mais Conectando “coisas” pelo AWS IoT

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