A evolução das técnicas de codificação digital, aliada aos esquemas eficientes de modulação para transmissões digitais, tornou possível o advento da TV digital (TVD). Entretanto, obter baixo custo nos terminais de acesso é fator crucial para o sucesso da TVD aberta, principalmente nos países em desenvolvimento. Para que o baixo custo comprometa o mínimo possível dos recursos dos terminais de acesso, é interessante que eles estejam isentos de custos adicionais como, por exemplo, software, propriedade intelectual e royalties. Um dos principais pontos para tornar isso possível concentra- se na escolha do middleware (que faz uso de mecanismos definidos por protocolos de comunicação, sistema operacional e suas bibliotecas) para suporte às aplicações. A maioria dos middlewares declarativos existentes privilegiam a interatividade em detrimento da sincronização. Entretanto, na maioria das vezes as aplicações de TVD devem lidar com a sincronização de objetos de diferentes tipos de mídia, além dos objetos de vídeo e áudio que compõem o fluxo principal. Assim, o sincronismo de mídias deve ser o foco da linguagem declarativa a ser utilizada pelo middleware, tratando a interatividade como um caso particular do sincronismo. Este trabalho tem como objetivo propor um middleware declarativo para sistemas de TVD interativa com foco no sincronismo de mídias. Na implementação do middleware proposto, a arquitetura modular do Formatador HyperProp, que serviu como base dessa implementação, foi reestruturada em um perfil simples, direcionado à TVD, e reimplementada na Linguagem C++. Todos os exibidores de mídia desenvolvidos atendem aos requisitos dos terminais de acesso de baixo custo.