Os Vesiculovirus são um gênero de vírus de RNA da família Rhabdoviridae que inclui os sorotipos Carajás, Cocal, Marabá, Piry, Alagoas e Indiana. Estes são causadores de estomatite vesicular em ruminantes e doença febril humana no Brasil. As vesiculoviroses e suas epidemiologias são pouco conhecidas em seres humanos. Ainda, os Vesiculovirus (VSV) são pouco diagnosticados no homem e em animais pela escassez de métodos laboratoriais diagnósticos. Por isso, objetivamos neste trabalho desenvolver e testar uma RT-PCR em tempo real, pelo método SYBR Green, visando à detecção de VSV brasileiros. Primers que amplificam parte do gene da proteína G dos VSV foram utilizados no teste o qual mostrou-se capaz de detectar genomas dos VSV Piry, Indiana, Alagoas e Carajás. O método foi usado para testar amostras séricas de pacientes com doença febril aguda, de bovinos, de equinos e de macerados de artrópodos. A RT-PCR em tempo real mostrou-se 100 vezes mais sensível que a RT-PCR convencional para Vesiculovirus e também, permitiu detectar até 10 cópias de RNA do vírus Piry. Ainda, a RT-PCR em tempo real para Vesiculovirus mostrou-se capaz de diagnosticar e quantificar o VSV Alagoas nas amostras séricas de bovinos e de equinos. Portanto, a RT-PCR em tempo real desenvolvida neste trabalho, provavelmente, será muito útil no diagnóstico e também, em futuras pesquisas, que permitirão ampliar o conhecimento epidemiológico, ainda pouco conhecido, sobre os Vesiculovirus. / The Vesiculovirus is a Rhabdoviridae family genre of RNA virus that includes serotypes Carajás, Cocal, Maraba, Piry, Alagoas and Indiana. These are causes of vesicular stomatitis in ruminants and human febrile illness in Brazil. The vesiculoviroses and its epidemiology are little known in humans. Still, Vesiculovirus (VSV) are poorly diagnosed in humans and laboratory animals by the lack of diagnostic methods. Therefore, we proposed in this work to develop and test a real-time RT-PCR by SYBR Green method, focusing on the detection of Brazilian VSV. Primers that amplify part of the VSV G protein gene were used in the test which proved capable of detecting genomes of VSV Piry, Indiana, Alagoas and Carajás. The method was used to test serum samples from patients with acute febrile disease, cattle, horses and macerated arthropods. Real time RT-PCR showed to be 100 times more sensitive than conventional RT-PCR for Vesiculovirus and also was possible to detect up to 10 RNA copies of the Piry virus. Also, the real-time RT-PCR for Vesiculovirus proved able to diagnose and quantify Alagoas VSV in serum samples from cattle and horses. Therefore, the real-time RT-PCR developed in this work will probably be very useful in the diagnosis and in future research, which will increase the epidemiological knowledge, as it is still little known about the Vesiculovirus.

Este trabalho de pesquisa apresenta a fundamentação teórica da simulação de sistemas, a motivação e os objetivos para o estudo e o desenvolvimento de técnicas para efetuar a simulação em tempo real. Este trabalho apresenta o desenvolvimento da Arquitetura de Software da ferramenta de Engenharia denominada FASTR (Ferramenta de engenharia para Aplicação de Simulação em Tempo Real), que possui o objetivo de alimentar o sistema de simulação com dados da planta industrial em tempo real. Este trabalho também apresenta a arquitetura de Hardware empregada para testar e validar a FASTR. Os testes, resultados e análises obtidos com a FASTR são apresentados neste trabalho para comprovar e convalidar a aplicabilidade da mesma como ferramenta de engenharia para análise de projetos e de análise de desempenhos de plantas industriais automatizadas. / This research work presents the theoretical basis of systems simulation, the motivation and the objectives of study and development of techniques to execute real time simulation. This research work presents the development of Software Arquitecture of the engineering tool named FASTR (engineering tool for application of real time simulation in automated industrial plants), that has the objective of feeding the simulation system with data of the industrial plant in real time. This work also presents the used Hardware Architecture to test and to validate the FASTR. The tests, results and analyses obtained with the FASTR are presented in this work to prove and to validate the applicability of the same one as an engineering tool for analysis of projects and analysis of performances of automated industrial plants.

Este trabalho apresenta um estudo, implementação e validação em ambiente simulado de uma política de escalonamento de tempo real para provisão de QoS absoluto em serviço Web. Sintetizando características de escalonamento de tempo real, com baixa latência e de modelo re-alimentado, a política proposta permite um ajuste ponderado pela quantificação da exigência à qual o sistema está submetido por meio de suas classes. A meta é oferecer ações imediatas às requisições mais urgentes, sem, entretanto, degradar a qualidade do sistema como um todo. Verificou-se que a estratégia de escalonamento baseada em exigência (EBS - Exigency-Based Scheduling) é benéfica para o controle da qualidade de serviço oferecida. Escalonar de forma a evitar demasiado peso imposto ao sistema permite que o servidor tenha mais condições de cumprir os requisitos contratuais. Também foi alvo do estudo a criação de uma métrica de avaliação da satisfação de atendimento por parte dos usuários dos serviços. Os resultados alcançados com o emprego da política EBS sinalizam uma melhoria em termos de qualidade de serviço e melhor satisfação dos clientes de forma balanceada / The present work presents a study, implementation and validation in a simulated environment of a real time scheduling policy to provide absolute QoS for web services. Synthesizing characteristic from real time scheduling, low latency and feedback scheduling, the proposed policy allows an adjustment weighed by the quantification of the exigency which the system is exposed through its classes. The goal is to offer immediate actions to most urgent requests, without decreasing the system quality as a whole. It was verified that the scheduling strategy based on exigency (EBS - Exigency-Based Scheduling) helps to control the quality of service offered. Scheduling in order to avoid imposing a heavy load to the system gives more condition to the server to fulfill the requirements agreed. Another goal of this work is the creation of a metrics to evaluate the client satisfaction. The results achieved with the EBS policy indicate a higher quality of service and better client satisfaction

Este trabalho de pesquisa apresenta a fundamentação teórica da simulação de sistemas, a motivação e os objetivos para o estudo e o desenvolvimento de técnicas para efetuar a simulação em tempo real. Este trabalho apresenta o desenvolvimento da Arquitetura de Software da ferramenta de Engenharia denominada FASTR (Ferramenta de engenharia para Aplicação de Simulação em Tempo Real), que possui o objetivo de alimentar o sistema de simulação com dados da planta industrial em tempo real. Este trabalho também apresenta a arquitetura de Hardware empregada para testar e validar a FASTR. Os testes, resultados e análises obtidos com a FASTR são apresentados neste trabalho para comprovar e convalidar a aplicabilidade da mesma como ferramenta de engenharia para análise de projetos e de análise de desempenhos de plantas industriais automatizadas. / This research work presents the theoretical basis of systems simulation, the motivation and the objectives of study and development of techniques to execute real time simulation. This research work presents the development of Software Arquitecture of the engineering tool named FASTR (engineering tool for application of real time simulation in automated industrial plants), that has the objective of feeding the simulation system with data of the industrial plant in real time. This work also presents the used Hardware Architecture to test and to validate the FASTR. The tests, results and analyses obtained with the FASTR are presented in this work to prove and to validate the applicability of the same one as an engineering tool for analysis of projects and analysis of performances of automated industrial plants.

Esta dissertação descreve uma arquitetura de suporte para a criação de sistemas de automação baseados em objetos distribuídos e no barramento CAN. Consiste basicamente da utilização de orientação a objetos para modelagem dos sistemas bem como sua implementação na forma de objetos autônomos. Os objetos são então distribuídos em uma rede de placas microcontroladas, as quais são utilizadas para o controle da planta, e PC's, os quais são utilizados para supervisão e monitoração. O suporte em tempo de execução para os objetos é dado por um sistema operacional que permite a sua implementação na forma de processos concorrentes, o qual, no caso das placas microcontroladas, é um sistema operacional do tipo embarcado. A comunica ção entre os objetos é realizada através de um protocolo publisher/subscriber desenvolvido para o barramento CAN que é suportado por uma biblioteca e elementos de comunicação especí cos. Este trabalho tem como objetivo apresentar alternativas aos sistemas de automação existentes atualmente, os quais baseiamse geralmente em dispositivos mestre/escravo e em comunicações do tipo ponto a ponto. Dessa forma, a arquitetura desenvolvida, apropriada para sistemas embarcados, visa facilitar a criação e dar suporte para sistemas de automação baseados em objetos distribuídos.

A caracterização de desempenho e uma atividade fundamental na area de controle industrial. Por se tratar, na maior parte das vezes, de aplicações de tempo real, a caracterização de desempenho torna-se ainda mais necessária e importante. Entretanto, atualmente não há nenhuma metodologia estabelecida para realizar esta caracterização. Não há nem mesmo um conjunto de parâmetros que devem ser avaliados em um equipamento de controle utilizado em processos industriais. Para tentar suprir esta carência, este trabalho apresenta uma proposta de métricas e workloads para serem utilizados na avaliação de desempenho de sistemas de controle baseados em CLPs e CPUs Industriais. O processo de avaliação de desempenho e discutido em todas as etapas, desde o estudo da aplicação at e a execução dos passos de caracterização de desempenho. Para ilustrar a aplicação das métricas, técnicas e procedimentos propostos, são avaliadas três CPUs Industriais, e os resultados s~ao apresentados ao nal do trabalho. Espera-se assim estar contribuindo para o estabelecimento de uma metodologia padronizada para avaliação de desempenho de equipamentos de controle industrial.

Sistemas de controle precisam trabalhar com restrições temporais rigorosas para garantir seu correto funcionamento, sendo por isso considerados sistemas de tempo-real. Quando tais sistemas são distribuídos, as redes de sensores, atuadores e controladores estão interligados em geral, por redes de campo. Nesse contexto, as redes de campo desempenham um papel extremamente importante no comportamento global do sistema. O presente trabalho de pesquisa apresenta a descrição do processo de desenvolvimento de um system on-chip (SoC) para um sistema de controle. Diferentemente das abordagens clássicas, o trabalho está focado em implementar o sistema baseado em um paradigma diferenciado, baseado em lógica reprogramável. Apresenta-se o projeto e construção dos IP cores necessários para controlar um motor DC, utilizando o barramento control area network (CAN) para obter uma plataforma distribuída. A arquitetura on chip utilizada está baseada na especificação CoreConnect da IBM. São expostos, ainda, trabalhos de simulação tanto dos componentes isolados, como do sistema integrado, de forma a realizar uma comparação qualitativa do processo de desenvolvimento / Control systems require strict time constraints to work properly, being therefore considered real-time systems. When such systems are distributed, controllers, sensors, and actuators are generally interconnected by fieldbuses. In this context the fieldbuses play an important role in the system global behavior. This research presents the description of the development process of a system-on-chip SoC. Differentiated from the classical approaches, this work focus the implementation of a reprogrammable logic based system. This work explain the necessary IP cores implementation, allowing a DC motor control, using a control area network (CAN) bus to reach a distributed platform. The on-chip architecture used is based on the IBM CoreConnect specification. Moreover it shows isolated components and integral system simulations, in such a way to obtain a qualitative comparison of development processes

Estágio realizado na ClusterMedia Labs, Ld.ª / Tese de mestrado integrado. Engenharia Informátca e Computação. Faculdade de Engenharia. Universidade do Porto. 2008

Tese de Mestrado Integrado. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2013

Estágio realizado na Critical Software e orientado pelo Eng.º Pedro Luciano Braga / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2008