Made available in DSpace on 2015-04-14T14:50:18Z (GMT). No. of bitstreams: 1 389779.pdf: 1636801 bytes, checksum: 0e56f5b8c71fcb4f101660f1d0800b5b (MD5) Previous issue date: 2007-01-12 / Esse trabalho apresenta uma pesquisa acad?mica no escopo de c?digos corretores de erros empregados em sistemas espaciais. O principal objetivo desse trabalho contempla o projeto, implementa??o e valida??o de circuitos corretores de erros para dados de telemetria e telecomando, seguindo o padr?o CCSDS (Consultative Committee for Space Data Systems). Ambos os m?dulos de telemetria e telecomando s?o descritos em linguagem VHDL e implementam, respectivamente, os algoritmos de corre??o de erros Reed-Solomon e BCH (Bose, Chaudhuri and Hocquenghem), os quais possuem alta capacidade de corre??o de erros ocorridos durante o processo de transfer?ncia de dados entre o ve?culo espacial e a base terrestre

Made available in DSpace on 2015-04-14T13:56:23Z (GMT). No. of bitstreams: 1 438862.pdf: 6841213 bytes, checksum: 62ab6904af18caf353f011769efc8178 (MD5) Previous issue date: 2012-03-30 / This work proposes a new time and frequency synchronization system for OFDM (Orthogonal Frequency Division Multiplexing) receivers. Presently, the OFDM technique is adopted in nearly all wireless broadband systems (IEEE 802.16 WiMax, 3GPP-LTE, IEEE 802.22, etc). It is also used in the ISDB-T digital television system, adopted in Brazil. The proposed synchronization system controls the receiver timing and frequency in a closed loop, adjusting the FFT window delay and the local oscillator frequency. The loop error is measured in the frequency domain, based on reference symbols inserted on pilot carriers in the transmitter. Initialization of the closed loop operating point is performed with base on the guard interval generated at the transmitter. Di erently of the usual sync implementations for OFDM systems, the proposed system actuates in the time domain, instead of the frequency domain. Also, in order to avoid loop instabilities due to the transport delay intrinsic to the OFDM demodulation process, the proposed system uses a prediction algorithm for loop stabilization. / Este trabalho prop?e uma nova implementa??o do sistema de sincronismo de tempo e frequ?ncia para receptores OFDM (Orthogonal Frequency Division Multiplexing). A t?cnica OFDM e utilizada no sistema de TV digital adotado no Brasil (ISDB-T), bem como na quase totalidade das tecnologias para wireless broadband atualmente no mercado (IEEE 802.16 WiMax, 3GPP-LTE, IEEE 802.22, etc). O sistema de sincronismo aqui proposto controla frequ?ncia e timing do receptor em malha fechada, atuando no atraso ou no adiantamento dos dados na entrada da FFT e na frequ?ncia do oscilador local. A medi??o do erro da malha e efetuada no dom?nio frequ?ncia, tendo como refer?ncia s?mbolos pilotos inseridos em frequ?ncia no sinal transmitido. A inicializa??o do ponto de opera??o da malha fechada e baseado no intervalo de guarda inserido no sinal pelo transmissor. Ao contrario das implementa??es usuais para sincronismo em sistemas OFDM, a atua??o do sistema e no dom?nio tempo, e n?o no dom?nio frequ?ncia. Ainda, para evitar instabilidade da malha dado o atraso de transporte intr?nseco na demodulac?o de um sinal OFDM, esta ? estabilizada atrav?s de algoritmo de predi??o.

Made available in DSpace on 2015-04-14T13:56:29Z (GMT). No. of bitstreams: 1 452831.pdf: 4042565 bytes, checksum: 5767bd96616a703ddf72b745e82d59b2 (MD5) Previous issue date: 2013-08-23 / This thesis describes the development of an instrument in the analysis and research of human balance. The instrument operates by providing data quantifying the selective head movements performed during measurement of the vestibular-ocular reflex (VOR). The VOR acts to stabilize the eye, to ensure a clear view during head movements. One of the techniques used in the evaluation of the vestibular system aims to observe the VOR in response to selective movements of the head. The algorithm developed for this study uses digital signal processing of three-dimensional data acquired by a sensor Kinect for Windows from Microsoft, and the detection of colored marks affixed to the quantification device of VOR in predetermined locations and with specific distances between the marks. The developed application allows the acquisition and display, graphically and synchronized, of the acquired data during the quantification of the stimuli used during the measurement of VOR. These graphs are corresponding to the three possible directions of rotation of the head where the VOR responds: horizontal (yaw), vertical (pitch) and torsional (roll). The application was developed with the C# programming language. Tests to evaluate the robustness and accuracy of the instrument were conducted through a device developed in this thesis, which performs mechanically, by means of a servomotor controlled movements, the movement of the marks. These movements were programmed to simulate the selective movements of head at different amplitudes and velocities. / Este trabalho apresenta o desenvolvimento de um instrumento de auxilio ? an?lise e pesquisa do equil?brio humano. O instrumento atua fornecendo dados da quantifica??o dos movimentos seletivos de cabe?a exercidos durante a medi??o do reflexo vest?bulo-ocular (RVO). O RVO atua na estabiliza??o do olhar para assegurar uma vis?o clara durante os movimentos da cabe?a. Uma das t?cnicas utilizadas na avalia??o do sistema vestibular visa observar o RVO em resposta a movimentos seletivos da cabe?a. O algoritmo desenvolvido para este trabalho utiliza o processamento digital de dados tridimensionais adquiridos atrav?s de um sensor Kinect for Windows da Microsoft, e a detec??o de marcas coloridas afixadas no dispositivo de quantifica??o do RVO em locais pr?-determinados e com dist?ncias espec?ficas entre as marcas. O aplicativo desenvolvido permite a aquisi??o e exibi??o, de forma gr?fica e sincronizada, dos dados adquiridos durante a quantifica??o dos est?mulos utilizados durante a medi??o do RVO. Estes gr?ficos s?o correspondentes aos tr?s poss?veis sentidos de rota??o de cabe?a aos quais o RVO responde: horizontal (yaw), vertical (pitch) e de tor??o (roll). O aplicativo foi desenvolvido com a linguagem de programa??o C#. Os testes para avaliar a robustez e precis?o do instrumento foram realizados atrav?s de um dispositivo desenvolvido nesta tese, que desempenha de forma mec?nica, atrav?s de movimentos controlados de um servomotor, o movimento das marcas. Estes movimentos foram programados de forma a simular os movimentos seletivos de cabe?a em diferentes amplitudes e velocidades.

Made available in DSpace on 2015-04-14T13:56:35Z (GMT). No. of bitstreams: 1 389988.pdf: 1628766 bytes, checksum: 0481e3102065480e2e27ff32c794541a (MD5) Previous issue date: 2007-02-27 / Nesta disserta??o ? realizado um estudo sobre a aplica??o de computa??o m?vel para suporte a a??es de opera??o e manuten??o de sistemas el?tricos. S?o abordados aspectos relacionados a sistemas operacionais, linguagens de programa??o, banco de dados e conex?es que s?o utilizados para suportar a computa??o m?vel. Um maior enfoque ? dado para ? Linguagem Java, devido a sua caracter?stica de portabilidade e aos aspectos de integra??o entre o J2ME (Java Micro Edition), PHP (PHP: Hypertext Preprocessor) e Web Server (Servidores Web). S?o realizados testes comparativos de conex?o utilizando dois modelos de PDA (Personal Digital Assistent), avaliando aspectos de conex?o singular e concorrente com Bluetooth, Wi-Fi (Wireless Fidelity) e cabo USB (Universal Serial Bus), bem como testes de conex?o l?gica est?tica e din?mica. S?o tamb?m avaliados o desempenho gr?fico e o desempenho com opera??es aritm?ticas atrav?s de rotinas de c?lculo com n?mero inteiros e reais. S?o apresentados casos de uso de cadastramento de redes, gest?o de ativos, apoio ao gerenciamento de informa??es e tomada de decis?o e suporte ? opera??o e manuten??o, descrevendo as vantagens da sua utiliza??o. Para ilustrar a utiliza??o foram desenvolvidas quatro aplica??es que envolvem os t?picos de tempo real, formul?rios, editor de redes e manuten??o. Finalmente, s?o apresentadas as conclus?es da disserta??o e temas para futuros trabalhos

Made available in DSpace on 2015-04-14T13:56:41Z (GMT). No. of bitstreams: 1 396635.pdf: 2355055 bytes, checksum: 3ab2ff37a02b1f58eb5351e33e64a2fb (MD5) Previous issue date: 2007-02-28 / O objetivo deste trabalho foi desenvolver um plugin de reconstru??o tomogr?fica para SPECT execut?vel e aplic?vel em ambiente cl?nico e acad?mico, em linguagem JAVA, utilizando um ambiente de processamento de imagens j? existente (ImageJ), permitindo o acesso universal a essa tecnologia. O programa ImageJ foi escolhido devido a sua portabilidade e por ser bastante difundido na ?rea de processamento de imagens. Foi desenvolvida uma interface gr?fica e foram implementados dois m?todos de reconstru??o tomogr?fica para imagens de emiss?o: um m?todo anal?tico (FBP) e um m?todo iterativo (ML-EM). O m?todo anal?tico permite que sejam utilizados filtros/janelas de reconstru??o tomogr?fica (Rampa, Hamming, Shepp-Logan, Butterworth), com par?metros ajust?veis definidos pelo usu?rio. O m?todo iterativo ML-EM permite que seja definido o n?mero de itera??es que ser?o realizadas, com op??o para corre??o de atenua??o nas imagens, utilizando um algor?tmo projetor-retroprojetor com um mapa de coeficientes de atenua??o conhecido a priori. Foram realizados testes de valida??o com imagens simuladas de modelos geom?tricos e um modelo antropom?rfico pelo m?todo Monte Carlo, com distribui??es de atividade e atenua??o conhecidas. Como instrumentos quantitativos de avalia??o das imagens reconstru?das foram realizadas medidas de contraste entre regi?es de interesse, perfis de contagens e desvio padr?o normalizado. A an?lise da converg?ncia do m?todo iterativo ML-EM, atrav?s do c?lculo da rela??o entre a m?dia de contagens e o desvio padr?o, resultou em uma indica??o de reconstru??o com 10 a 15 itera??es. As imagens reconstru?das pelo m?todo ML-EM com corre??o de atenua??o apresentam melhor qualidade visual do que as imagens sem corre??o. As imagens reconstru?das pelo m?todo FBP aprsentam maior ru?do e afastam-se quantitativamente da imagem ideal de refer?ncia. Os testes de performance do plugin NucMed mostraram que o m?todo anal?tico FBP realiza a reconstru??o em menor tempo em rela??o ao m?todo ML-EM (para imagens de 128x128 pixels, o tempo ? 33 vezes menor). Aplicando corre??o de atenua??o, o tempo de reconstru??o aumenta aproximadamente 3,5 vezes.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-18T20:27:24Z No. of bitstreams: 1 DIS_CLEVERSON_LOPES_LEDUR_COMPLETO.pdf: 8709735 bytes, checksum: f6e5e2cfc62a7f7472f2e7e521dda480 (MD5) / Made available in DSpace on 2016-07-18T20:27:24Z (GMT). No. of bitstreams: 1 DIS_CLEVERSON_LOPES_LEDUR_COMPLETO.pdf: 8709735 bytes, checksum: f6e5e2cfc62a7f7472f2e7e521dda480 (MD5) Previous issue date: 2016-03-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Funda??o de Amparo ? Pesquisa do Estado do Rio Grande do Sul - FAPERGS / Data generation has increased exponentially in recent years due to the popularization of technology. At the same time, information visualization enables the extraction of knowledge and useful information through data representation with graphic elements. Moreover, a set of visualization techniques may help in information perception, enabling finding patterns and anomalies in data. Even tought it provides many benefits, the information visualization creation is a hard task for users with a low knowledge in computer programming. It becomes more difficult when these users have to deal with big data files since most tools do not provide features to abstract data preprocessing. In order to bridge this gap, we proposed GMaVis. It is a Domain-Specific Language (DSL) that offers a high-level description language for creating geospatial data visualizations through a parallel data preprocessor and a high-level description language. GMaVis was evaluated using two approaches. First we performed a programming effort analysis, using an analytical software to estimate development effort based on the code. This evaluation demonstrates a high gain in productivity when compared with programming effort required by other tools and libraries with similar purposes. Also, a performance evaluation was conducted in the parallel module that performs data preprocessing, which demonstrated a performance gain when compared with the sequential version. / A gera??o de dados tem aumentado exponencialmente nos ?ltimos anos devido ? populariza??o da tecnologia. Ao mesmo tempo, a visualiza??o da informa??es permite a extra??o de conhecimentos e informa??es ?teis atrav?s de representa??o de dados com elementos gr?ficos. Diferentes t?cnicas de visualiza??o auxiliam na percep??o de informa??es sobre os dados, tal como a identifica??o de padr?es ou anomalias. Apesar dos benef?cios, muitas vezes a gera??o de uma visualiza??o pode ser uma tarefa dif?cil para os usu?rios com baixo conhecimento em programa??o de computadores. E torna-se mais dif?cil quando esses usu?rios precisam lidar com grandes arquivos de dados, uma vez que a maioria das ferramentas n?o oferece os recursos para abstrair o pr?-processamento de dados. Considerando este contexto, neste trabalho ? proposta e descrita a GMaVis, uma linguagem espec?fica de dom?nio (DSL), que permite uma descri??o de alto n?vel para a cria??o de visualiza??es usando dados geoespaciais atrav?s de um pr?-processador de dados paralelo e um gerador de visualiza??es. GMaVis foi avaliada utilizando duas abordagens. Na primeira foi realizada uma an?lise de esfor?o de programa??o, atrav?s de um software para estimar o esfor?o de desenvolvimento com base no c?digo. Esta avalia??o demonstrou um alto ganho em produtividade quando comparado com o esfor?o de programa??o exigido com APIs ou bibliotecas que possuem a mesma finalidade. Na segunda abordagem foi realizada uma avalia??o de desempenho no pr?-processador de dados paralelo, que demonstrou um ganho de desempenho quando comparado com a vers?o sequencial.

Made available in DSpace on 2014-12-17T15:48:02Z (GMT). No. of bitstreams: 1 SamaraPCM.pdf: 423447 bytes, checksum: 456d500c5d740d1624cc15f51c602aa1 (MD5) Previous issue date: 2006-05-19 / The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization / O uso do tipo intervalar em v?rias ?reas favorece a id?ia de se ter uma estrutura b?sica reutiliz?vel, ou seja, um construtor intervalar que seja aplicado a um tipo de dados para se obter os intervalos desse tipo. Como um intervalo, intuitivamente ? o conjunto de elementos que est?o entre dois extremos, sua constru??o presup?e a no??o de ordem, e portanto ? razo?vel que este construtor trabalhe sobre tipos munidos de uma ordem parcial. Por outro lado, como o que se quer ? operar com intervalos de objetos de um certo tipo como se opera com esses objetos, ent?o tamb?m ? razo?vel querer que as propriedades alg?bricas desses objetos sejam preservadas no seu tipo intervalar. Assim, o construtor intervalar fornece uma fundamenta??o te?rica para o tipo intervalo parametrizado, ou seja, intervalos cujo par?metro ? generalizado podendo ser, por exemplo, n?meros reais, complexos, etc. A aplica??o do intervalo em certas estruturas alg?bricas nem sempre garante a preserva??o de suas caracter?sticas, por exemplo, quando se trabalha com intervalos de n?meros reais, seria conveniente que estes pudessem se comportar como se fossem os reais. Isto n?o acontece pois os reais satisfazem as propriedades alg?bricas de corpo, j? os intervalos de reais n?o (por exemplo, n?o suporta a propriedade distributiva). Para superar esta dificuldade Santiago introduziu a teoria da igualdade local numa forma de enfraquecer a no??o de igualdade forte fazendo com que propriedades satisfeitas localmente sejam relevantes, propriedades estas que antes poderiam ser descartadas. A generaliza??o da aritm?tica intervalar prop?e a aplica??o do construtor intervalar em estruturas alg?bricas ordenadas e enfraquecidas pela igualdade local, objetivando a manuten??o de suas propriedades alg?bricas. Como os intervalos s?o importantes em aplica??es que trabalhem com dados cont?nuos, ? interessante descrever esta teoria usando uma linguagem de especifica??o que permita o desenvolvimento de sistemas computacionais que usem tipos intervalares de modo disciplinado, confi?vel e seguro. Atualmente, as linguagens de especifica??es alg?bricas, que se baseiam em modelos matem?ticos, t?m sido muito usadas para este proposito. Dentre as v?rias linguagens deste tipo existentes, foi escolhida CASL (Common Algebraic Specification Language) por conter diversas caracter?sticas relevantes para especifica??o do tipo intervalar parametrizado como, por exemplo, admitir parametriza??o e parcialidade

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2017-11-06T20:31:38Z No. of bitstreams: 1 Juliana_Damasio_Oliveira.pdf: 17038064 bytes, checksum: 78253804cde58707af38ca06c2db8603 (MD5) / Rejected by Caroline Xavier (caroline.xavier@pucrs.br), reason: Devolvido devido ? falta de capa institucional no arquivo PDF e nas p?ginas seguintes a folha de rosto (1? p?gina que est? no PDF enviado), ao inv?s da ficha catalogr?fica, diz "substitua pela ficha catalogr?fica?, e na seguinte, "substitua esta p?gina pelo termo de apresenta??o". on 2017-11-17T11:27:09Z (GMT) / Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2017-11-17T15:26:49Z No. of bitstreams: 1 Juliana_Damasio_Oliveira_dis.pdf: 18621482 bytes, checksum: 89b806e6216f765a77090d5b5c452490 (MD5) / Approved for entry into archive by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-11-22T19:20:46Z (GMT) No. of bitstreams: 1 Juliana_Damasio_Oliveira_dis.pdf: 18621482 bytes, checksum: 89b806e6216f765a77090d5b5c452490 (MD5) / Made available in DSpace on 2017-11-22T19:26:58Z (GMT). No. of bitstreams: 1 Juliana_Damasio_Oliveira_dis.pdf: 18621482 bytes, checksum: 89b806e6216f765a77090d5b5c452490 (MD5) Previous issue date: 2017-08-04 / DELL / The general objective of this work was to define and evaluate a programming language to stimulate orientation and mobility (O&M) skills by people with visual impairment (VI). It is believed that by using a programming language to guide a robot in a virtual setting, the person with VI can better understand O&M skills. In this sense, it was definedthe programming language, which was called GoDonnie, and was based on the Logo language. A GoDonnie is run in a programming environment called Donnie, which provides soundbacks about running the robot. In addition, it has a 2D graphic simulator with a virtual robot, in which one can visualize the execution of the language commands, that is, the virtual robot sedeslocando in the scenario. This simulator allows the use by people with low vision, as well as serve as a resource to better visualize how the person who is blind is interacting with the robot in the environment. A GoDonnie has been evaluated to verify its usability. Evaluations were carried out which included visually impaired people and teachers of programming, without visual impairment. The results pointed out that GoDonnie has good usability, as well as helps the evelopment of O&M. / O objetivo geral desse trabalho foi definir e avaliar uma linguagem de programa??o para estimular as habilidades de orienta??o e mobilidade (O&M) por pessoas com defici?ncia visual. Acredita-se que ao utilizar uma linguagem de programa??o para guiar um rob? em um cen?rio virtual, a pessoa com defici?ncia visual (DV) possa melhor compreender habilidades de O&M. Neste sentido, foi definida a linguagem de programa??o, que foi denominada GoDonnie, e foi baseada na linguagem Logo. A GoDonnie ? executada em um ambiente de programa??o chamado Donnie, que fornece feedbacks sonoros sobre a execu??o do rob?. Al?m disso, possui um simulador gr?fico 2D com um rob? virtual, no qual se pode visualizar a execu??o dos comandos da linguagem, ou seja, o rob? virtual se deslocando no cen?rio. Esse simulador permite o uso por pessoas com baixa vis?o, al?m de servir como recurso para melhor visualizar como a pessoa que ? cega est? interagindo com o rob? no ambiente. A GoDonnie foi avaliada para verificar a sua usabilidade. Foram realizadas avalia??es que inclu?ram pessoas com defici?ncia visual e professores de programa??o, sem defici?ncia visual. Os resultados apontaram que a GoDonnie possui uma boa usabilidade, assim como auxilia o desenvolvimento de O&M.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-07-27T18:05:50Z No. of bitstreams: 1 TES_MAICON_BERNARDINO_DA_SILVEIRA_COMPLETO.pdf: 10974858 bytes, checksum: f8d942c9c91dfd41b28bf30123b91644 (MD5) / Made available in DSpace on 2016-07-27T18:05:50Z (GMT). No. of bitstreams: 1 TES_MAICON_BERNARDINO_DA_SILVEIRA_COMPLETO.pdf: 10974858 bytes, checksum: f8d942c9c91dfd41b28bf30123b91644 (MD5) Previous issue date: 2016-03-07 / Performance is a fundamental quality of software systems. Performance testing is a technique able to reveal system bottlenecks and/or lack of scalability of the up-and-running environment. However, usually the software development cycle does not apply this effort on the early development phases, thereby resulting in a weak elicitation process of performance requirements and difficulties for the performance team to integrate them into the project scope. Model-Based Testing (MBT) is an approach to automate the generation of test artifacts from the system models. By doing that, communication is improved among teams, given that the test information is aggregated in the system models since the early stages aiming to automate the testing process. The main contribution of this thesis is to propose a Domain-Specific Language (DSL) for modeling performance testing in Web applications. The language is called Canopus, in which a graphical model and a natural language are proposed to support performance modeling and automatic generation of test scenarios and scripts. Furthermore, this work provides an example of use and an industrial case study to demonstrate the use of Canopus. Based on the results obtained from these studies, we can infer that Canopus can be considered a valid DSL for modeling performance testing. Our motivation to perform this study was to investigate whether a DSL for modeling performance testing can improve quality, cost, and efficiency of performance testing. Therefore, we also carried out a controlled empirical experiment to evaluate the effort (time spent), when comparing Canopus with another industrial approach - UML. Our results indicate that, for performance modeling, effort using Canopus was lower than using UML. Our statistical analysis showed that the results were valid, i.e., that to design performance testing models using Canopus is better than using UML. / Desempenho ? uma qualidade fundamental de sistemas de software. Teste de desempenho ? uma t?cnica capaz de revelar gargalos do sistema na escalabilidade do ambiente de produ??o. No entanto, na maior parte do ciclo de desenvolvimento de software, n?o se aplica este tipo de teste nos seus ciclos iniciais. Deste modo, isto resulta em um fraco processo de elicita??o dos requisitos e dificuldades da equipe em integrar suas atividades ao escopo do projeto. Assim, o teste baseado em modelos ? uma abordagem de teste para automatizar a gera??o de artefatos de teste com base em modelos. Ao fazer isto, permite melhorar a comunica??o da equipe, uma vez que a informa??o de teste ? agregada aos modelos desde as fases iniciais do processo de teste, facilitando assim sua automatiza??o. A principal contribui??o desta tese ? propor uma linguagem espec?fica de dom?nio (Domain-Specific Language - DSL) para modelagem de teste de desempenho em aplica??es Web. A DSL proposta ? chamada Canopus, na qual um modelo gr?fico e uma linguagem semi-natural s?o propostos para apoiar a modelagem de desempenho e gera??o autom?tica de cen?rios e scripts de teste. Al?m disto, apresenta-se um exemplo de uso bem como um estudo de caso realizado na ind?stria para demonstrar o uso da Canopus. Com base nos resultados obtidos, infere-se que a Canopus pode ser considerada uma DSL v?lida para modelagem do teste de desempenho. A motiva??o para realiza??o deste estudo foi investigar se uma DSL para modelagem do teste de desempenho pode melhorar a qualidade, custo e efici?ncia do teste de desempenho. Assim, tamb?m foi realizado um experimento controlado com o objetivo de avaliar o esfor?o (tempo), quando comparado Canopus com outra abordagem industrial - UML. Os resultados obtidos indicam que, estatisticamente, para a modelagem de desempenho usando Canopus o esfor?o foi menor e melhor do que usando UML.

Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-06-20T20:03:42Z No. of bitstreams: 1 TES_DALVAN_JAIR_GRIEBLER_COMPLETO.pdf: 6190464 bytes, checksum: 4381302ea5fe43fe32da3f9826a1ad8a (MD5) / Made available in DSpace on 2016-06-20T20:03:42Z (GMT). No. of bitstreams: 1 TES_DALVAN_JAIR_GRIEBLER_COMPLETO.pdf: 6190464 bytes, checksum: 4381302ea5fe43fe32da3f9826a1ad8a (MD5) Previous issue date: 2016-03-30 / Stream-based systems are representative of several application domains including video, audio, networking, graphic processing, etc. Stream programs may run on different kinds of parallel architectures (desktop, servers, cell phones, and supercomputers) and represent significant workloads on our current computing systems. Nevertheless, most of them are still not parallelized. Moreover, when new software has to be developed, programmers often face a trade-off between coding productivity, code portability, and performance. To solve this problem, we provide a new Domain-Specific Language (DSL) that naturally/on-the-fly captures and represents parallelism for stream-based applications. The aim is to offer a set of attributes (through annotations) that preserves the program?s source code and is not architecture-dependent for annotating parallelism. We used the C++ attribute mechanism to design a ?de-facto? standard C++ embedded DSL named SPar. However, the implementation of DSLs using compiler-based tools is difficult, complicated, and usually requires a significant learning curve. This is even harder for those who are not familiar with compiler technology. Therefore, our motivation is to simplify this path for other researchers (experts in their domain) with support tools (our tool is CINCLE) to create high-level and productive DSLs through powerful and aggressive source-to-source transformations. In fact, parallel programmers can use their expertise without having to design and implement low-level code. The main goal of this thesis was to create a DSL and support tools for high-level stream parallelism in the context of a programming framework that is compiler-based and domain-oriented. Thus, we implemented SPar using CINCLE. SPar supports the software developer with productivity, performance, and code portability while CINCLE provides sufficient support to generate new DSLs. Also, SPar targets source-to-source transformation producing parallel pattern code built on top of FastFlow and MPI. Finally, we provide a full set of experiments showing that SPar provides better coding productivity without significant performance degradation in multi-core systems as well as transformation rules that are able to achieve code portability (for cluster architectures) through its generalized attributes. / Sistemas baseados em fluxo cont?nuo de dados representam diversos dom?nios de aplica??es, por exemplo, video, ?udio, processamento gr?fico e de rede, etc. Os programas que processam um fluxo cont?nuo de dados podem executar em diferentes tipos de arquiteturas paralelas (esta??es de trabalho, servidores, celulares e supercomputadores) e representam cargas de trabalho significantes em nossos sistemas computacionais atuais. Mesmo assim, a maioria deles ainda n?o ? paralelizado. Al?m disso, quando um novo software precisa ser desenvolvido, os programadores necessitam lidar com solu??es que oferecem pouca produtividade de c?digo, portabilidade de c?digo e desempenho. Para resolver este problema, estamos oferecendo uma nova linguagem espec?fica de dom?nio (DSL), que naturalmente captura e representa o paralelismo para aplica??es baseadas em fluxo cont?nuo de dados. O objetivo ? oferecer um conjunto de atributos (atrav?s de anota??es) que preservam o c?digo fonte do programa e n?o ? dependente de arquitetura para anotar o paralelismo. Neste estudo foi usado o mecanismo de atributos do C++ para projetar uma DSL embarcada e padronizada com a linguagem hospedeira, que foi nomeada como SPar. No entanto, a implementa??o de DSLs usando ferramentas baseadas em compiladores ? dif?cil, complicado e geralmente requer uma curva de aprendizagem significativa. Isto ? ainda mais dif?cil para aqueles que n?o s?o familiarizados com uma tecnologia de compiladores. Portanto, a motiva??o ? simplificar este caminho para outros pesquisadores (sabedores do seu dom?nio) com ferramentas de apoio (a ferramenta ? chamada de CINCLE) para implementar DSLs produtivas e de alto n?vel atrav?s de poderosas e agressivas transforma??es de fonte para fonte. Na verdade, desenvolvedores que criam programas com paralelismo podem usar suas habilidades sem ter que projetar e implementar o c?digo de baixo n?vel. O principal objetivo desta tese foi criar uma DSL e ferramentas de apoio para paralelismo de fluxo cont?nuo de alto n?vel no contexto de um framework de programa??o que ? baseado em compilador e orientado a dom?nio. Assim, SPar foi criado usando CINCLE. SPar oferece apoio ao desenvolvedor de software com produtividade, desempenho e portabilidade de c?digo, enquanto CINCLE oferece o apoio necess?rio para gerar novas DSLs. Tamb?m, SPar mira transforma??o de fonte para fonte produzindo c?digo de padr?es paralelos no topo de FastFlow e MPI. Por fim, temos um conjunto completo de experimentos demonstrando que SPar oferece melhor produtividade de c?digo sem degradar significativamente o desempenho em sistemas multi-core bem como regras de transforma??es que s?o capazes de atingir a portabilidade de c?digo (para arquiteturas multi-computador) atrav?s dos seus atributos gen?ricos.