Made available in DSpace on 2015-04-11T14:03:05Z (GMT). No. of bitstreams: 1 Romulo Devezas Freitas.pdf: 818067 bytes, checksum: 48f8f5869d720e92b7dcb341d59a27a3 (MD5) Previous issue date: 2005-12-01 / No contexto restritivo dos sistemas embarcados de tempo real críticos, a geração de código escalonado mostra-se uma maneira eficiente de proporcionar previsibilidade e demais garantias exigidas por tais sistemas. Entretanto, a geração de código escalonado pressupõe conhecimento prévio da ordem em que as tarefas devem ser executadas. Assim, a síntese de escalonamento é peça chave em um metodologia para síntese de software neste ambiente. Este trabalho apresenta uma abordagem para síntese de escalonamento estático utilizando semântica de passo máximo em redes de Petri com temporização. Este trabalho está inserido no contexto de uma metodologia para síntese de software de sistemas embarcados de tempo real críticos. Em linhas gerais, essa metodologia compreende (i) a especificação do sistema; (ii) a transformação da especificação em um modelo formal baseado em rede de Petri; (iii) a síntese de escalonamento baseada neste modelo e (iv) a geração de código escalonado. No escopo da síntese de escalonamento, este trabalho propõe um conjunto de definições que caracterizam uma estratégia de disparo de passo máximo sobre redes de Petri com temporização, e aplica estas definições na síntese de escalonamento estático para sistemas embarcados de tempo real críticos. Os resultados obtidos nos experimentos apresentados indicam a viabilidade da aplicação da semântica de passo máximo proposta, demonstrando melhorias de desempenho relacionadas ao tempo de execução e ao volume de informação processada. Adicionalmente, além da apresentação de uma abordagem de passo máximo para síntese de escalonamento, este trabalho ainda propõe algumas melhorias e aperfeiçoamentos na metodologia e no modelo adotados como base.

Systems populating the Ubiquitous Computing environment are characterized by an often extreme level of heterogeneity at different layers which prevents their seamless interoperability. In this environment, heterogeneous protocols would cooperate to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Although numerous efforts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. Therefore, this thesis focuses on overcoming the interoperability problem between heterogeneous protocols in the Ubiquitous Computing. In particular, we aim at providing a means to drop the interoperability barriers by automatically eliciting a way for the protocols to interact. The solution we propose is the automated synthesis of emerging mediating connectors (also called mediators or connectors). Specifically, we concentrate our efforts to: (i) devising AMAzING, a process to synthesize mediators, (ii) characterizing protocol mismatches and related mediator patterns, and (iii) designing MediatorS, a theory of mediating connectors. The theory, and the process, are put in practice by applying them to a real world application, and have been adopted by the European Research Project CONNECT.

This master thesis is focused on the theoretical description and practical implementation of software defined transmitter. The main aim of this thesis was made the prototype of software defined transmitter in FM band. Theoretical part is determined to description of basic parts of equipment and working principles to understand the basic principle of digital transmitters and define the appropriate component base for construction. Discussed are used types of A/D and D/A converters, blocks of digital signal processing and the roles, which these components performs. The second part is focused practical. Specified are suitable types of components and block diagram is proposed for following electrical connection and printed circuit board in Eagle program as a plug-in modul for developmental platform Arduino. The main point is program, which sets and controls the transmitter. Next important part is impedance match and antenna tuning, which is explain in practical part of thesis. The result is prototype of software defined transmitter compatible with Arduino Uno platform.