[pt] Neste trabalho, investigamos como garantir duas propriedades no desenvolvimento de aplicações multimídia distribuídas interativas: determinismo e consistência. Determinismo é uma propriedade individual dos nós em uma aplicação distribuída e refere-se à característica de um programa sempre produzir a mesma saída a partir de uma mesma entrada. Consistência é uma propriedade de todo o sistema e está relacionada a todos os nós terem sempre a mesma visão da ordem dos eventos. Avaliamos o uso da linguagem síncrona Céu no contexto de programação multimídia para garantir o determinismo. Em relação à consistência, avaliamos se a arquitetura GALS (Globally Asynchronous Local Synchronous) é capaz de prover consistência. Tradicionalmente, aplicações multimídia são desenvolvidas usando linguagens de domínio específico ou linguagens de propósito geral utilizando frameworks especializados. Nenhuma dessas duas abordagens promove o desenvolvimento de aplicações multimídia distribuídas interativas determinísticas e consistentes. Nossa investigação sobre o uso de linguagens síncronas no campo de multimídia levou ao desenvolvimento de Céu-Media, uma biblioteca multimídia determinística para a linguagem síncrona Céu, e Mars, um middleware GALS para aplicações multimídia distribuídas interativas. Os resultados desta tese indicam que, usando as garantias da linguagem síncrona Céu, é possível desenvolver aplicações multimídia determinísticas usando Céu-Media. Além disso, eles também indicam que o modelo de consistência implementado pelo middleware GALS Mars garante que todos os nós sempre concordem com a ordem dos eventos em uma apresentação distribuída. Nós validamos nossa proposta discutindo o desenvolvimento de aplicações multimídia distribuídas propostas pela comunidade de pesquisa usando Céu-Media e Mars, destacando as principais vantagens e também as desvantagens em usar nossa abordagem. / [en] In this, work we investigate how to guarantee two properties in the development of interactive distributed multimedia applications: determinism and consistency. Determinism is a property of individual nodes in a distributed application and states that a program always produces the same output when fed with the same input. Consistency is a property of the whole system and states that all nodes should have the same view of the order of events. We evaluate the use of the synchronous language Céu in the context of multimedia programming for guaranteeing the determinism property. Regarding consistency, we evaluate the GALS (Globally Asynchronous Locally Synchronous) architecture for enforcing consistency. Traditionally, multimedia applications are developed using either a domain specific language or a general purpose language supported by specialized frameworks. Neither of the two approaches promotes the development of deterministic and consistent interactive distributed multimedia applications. Our investigation of the use of synchronous languages in the multimedia field led to the development of Céu-Media, a deterministic multimedia library for the synchronous language Céu, and Mars, a GALS middleware for interactive distributed multimedia applications. The results of this thesis indicate that using the guarantees of the synchronous language Céu it is possible to develop deterministic multimedia applications using Céu-Media. Furthermore, they also indicate that the consistency model enforced by the GALS middleware Mars guarantees that all nodes always agree upon the order of events in a distributed presentation. We validate our proposal by discussing the development of real-world distributed multimedia applications proposed by the research community using both, Céu-Media and Mars, highlighting the main advantages and also the drawbacks of using our approach.

[pt] A responsabilidade no sistema filosófico de Schopenhauer tem como objetivo tentar definir o conceito de responsabilidade seguindo um caminho a partir do qual apresentamos alguns usos deste conceito ao longo de textos por nós selecionados de Schopenhauer. Uma vez que a sua filosofia tem como estilo, como marca, uma relação íntima entre metafísica, teoria do conhecimento, estética e ética, pareceu-nos imprudente analisar a responsabilidade na ética ignorando os outros três temas, como por exemplo, as condições formais do conhecimento do sujeito, o princípio de razão suficiente, a lei da motivação, a crítica a um dever moral, a contemplação estética e a do asceta, os graus de objetivação e as Idéias. A questão do sofrimento, sem dúvida perpassa a obra de Schopenhauer, e esta dissertação também. A responsabilidade parece-nos estar diretamente ligada à dor: afirmar ou negar a vontade de viver. / [en] The main objective of Responsibility in the philosophical system of Schopenhauer is trying to define the concept of responsibility by presenting some of the uses of this concept in selected texts by Schopenhauer. Since the his philosophy`s style and defining character is the relationship between metaphysics, theory of knowledge, aesthetics and ethic, we find it imprudent to analyze responsibility based solely on ethics and leaving aside the other three themes such as the formal conditions of the subject`s knowledge, the principle of sufficient reason, the law of motivation, the criticism of moral duty, aesthetics and ascetic contemplation, objectification degrees and Ideas. There is no doubt that the issue of suffering permeates all the works by Schopenhauer, and the same is true of this dissertation. Responsibility seems to us to be directly related to pain, affirming or denying the will to live.

[pt] Apesar da pesquisa contínua para facilitar a programação de redes de sensores sem fio, a análise de perigos de concorrência ainda é de responsabilidade do programador, que deve tratar manualmente de questões como sincronização e memória compartilhada. Nós apresentamos uma linguagem de sistema que garante concorrência segura tratando ameaças em tempo de compilação. A fundamentação estática e síncrona da nossa abordagem permite um raciocínio mais simples sobre questões de concorrência, permitindo uma análise em tempo de compilação que garante programas determinísticos. Como contra-partida, nosso modelo impõe em termos da expressividade da linguagem, tais como para efetuar cálculos demorados, ou atender prazos estritos em tempo real. Nós implementamos diversos protocolos de rede conhecidos e o driver para rádio CC2420 para mostrar que a expressividade e responsividade obtida com a linguagem é suficiente para uma gama considerável de aplicações para redes de sensores. As implementações mostram uma redução de tamanho de código, com um aumento de memória abaixo de 10 porcento em comparação com nesC. O uso da linguagem proposta implica em diversas propriedades de segurança que se baseiam em abstrações de controle de alto nível, também resultando em código mais conciso e legível. / [en] Despite the continous research to facilitate Wireless Sensor Networks development, most safety analysis and mitigation efforts in concurrency are still left to developers, who must manage synchronization and shared memory explicitly. We propose a system language that ensures safe concurrency by handling threats at compile time, rather than at runtime. The synchronous and static foundation of our design allows for a simple reasoning about concurrency that enables compile-time analysis resulting in deterministic and memory-safe programs. As a trade-off, our design imposes limitations on the language expressiveness, such as doing computationally-intensive operations and meeting hard real-time responsiveness. To show that the achieved expressiveness and responsiveness is sufficient for a wide rage of WSN applications, we implement widespread network protocols and the CC2420 radio driver. The implemetations show a reduction in source code size, with a penalty of memory increase below 10 percent in comparison to nesC. Overall, we ensure safety properties for programs relying on high-level control abstractions that also lead to concise and readable code.