Um compilador para geração automática de código para máquinas de estados hierárquicas com aplicações em sistemas embarcados

Abstract

Apesar da crescente importância de sistemas embarcados em diversas áreas do conhecimento humano, o desenvolvimento de software robusto e confiável para estas plataformas ainda é desafiador. Devido a muitos desses sistemas serem reativos a eventos, o uso de máquinas de estado é uma prática comum. Este trabalho teve como objetivo, portanto, desenvolver uma ferramenta de software para, a partir de uma descrição textual de uma máquina de estados hierárquica, gerar o código C necessário para sua execução em reação a uma sequência potencialmente infinita de eventos. Para a descrição da máquina de estados, a gramática de uma linguagem descritiva simples, mas eficaz, é proposta neste trabalho. Além disso, foi desenvolvido um compilador baseado nesta linguagem para geração do código C da máquina de estados, de modo a permitir ao programador se preocupar apenas em desenvolver as ações associadas às transições da máquina. Por último, foi desenvolvida uma máquina de estados para um semáforo inteligente, a qual foi implementada em hardware usando o microcontrolador ATmega328p, demonstrando a utilidade da ferramenta proposta.