[pt] 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. / [en] The evolution of digital modulation techniques and the efficient schemes for digital transmissions have allowed the advent of the digital TV. Conceiving low cost receivers is one of the main challenges to broaden digital TV use, mainly in non-developed countries. As a consequence, low cost requirements should not burden receiver resources that should try to reduce their costs in items such as software copyright and royalties. In this scenario, the middleware (which use mechanisms defined by the communication protocols, the operational system and its libraries) conception plays an important role. A great number of declarative middlewares focuses on user interaction instead of synchronization, in its broad sense. However, the majority of digital TV applications deals with different types of media-object synchronization, beyond the audio and video that compose the main stream. Thus, the declarative middleware language focus should be placed on synchronism, having user interaction as a special synchronization case. This is the goal of this work. The middleware implementation presented in this work is based on the modular architecture of the HyperProp Formatter, whose architecture was reorganized in a simple profile for digital TV systems. The implementation was carried out using C++ language, and all media players were developed to run in low cost receivers.