Made available in DSpace on 2014-06-12T15:54:53Z (GMT). No. of bitstreams: 2 arquivo2016_1.pdf: 1071776 bytes, checksum: 0985cb7f5eb2b91e3917dac88f974fa9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Técnicas de estimativa de Pior Caso de Tempo de Execução, como elas são complexas e demandam bastante custo para implantação, não têm sido amplamente adotadas como solução para implementação de aplicações de tempo real. Esta dissertação apresenta uma abordagem simples para estimar o pior caso de tempo de execução. Sua idéia consiste em uma mudança de paradigma que permite interpretar problemas em contextos específicos, contrariando as abordagens convencionais que tentam especificar para o caso geral

Made available in DSpace on 2014-06-12T16:00:18Z (GMT). No. of bitstreams: 2 arquivo6366_1.pdf: 916097 bytes, checksum: 97d1590a79f754b720809815be7c379e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007 / Sistemas críticos de tempo real estão se tornando cada vez mais utilizados. A grande complexidade na criação de aplicações para tempo real favorece o surgimento de novos recursos que facilitam ao projetista adequar tais sistemas às suas necessidades, entre eles os Sistemas Operacionais de Tempo Real (SOTR). Conseqüência disso é que a adoção dos SOTR têm aumentado significativamente, principalmente entre os que são baseados em Sistemas Operacionais de Propósito Geral (SOPG), mais precisamente os que são baseados em Linux. Existem também aqueles sistemas que foram desenvolvidos especificamente para o tratamento de tarefas temporais, sendo um dos mais famosos o VxWorks da Wind River como também o Windows CE da Microsoft. Contudo o SOTR é uma peça integrante em um sistema de tempo real. O presente trabalho tem como ideal facilitar o projetista de tempo real a escolher entre os diversos tipos de SOTR, entre eles o sistema proprietário da Microsoft, Windows CE e os sistemas de código aberto RTLinux e RTAI. Elementos chaves, como previsibilidade, tamanho, modularidade e adaptabilidade são verificados para ter o conhecimento necessário que auxilie o projetista no desenvolvimento de sistemas mais confiáveis. O resultado final será a verificação da real capacidade e maturidade de tais sistemas, auxiliando o projetista de tempo real na criação de aplicações. Também será analisado se os mesmos podem ter seus escalonadores modificados

Orientador : Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T03:00:24Z (GMT). No. of bitstreams: 1 AdanCoello_JuanManuel_M.pdf: 4540458 bytes, checksum: a95fda9fbdf71fd60ffaddcc98159b7c (MD5) Previous issue date: 1986 / Resumo: Este trabalho apresenta a implementação do suporte de tempo real de um ambiente orientado ao desenvolvimento de software para aplicações de controle de processos. A construção de um programa de aplicação neste ambiente divide-se em duas etapas: a programação dos módulos que implementam as funções do sistema e a configuração da aplicação a partir dos módulos disponíveis / Abstract: This work presents the real time support implementation of an environment oriented to software development for process control applications. An application program construction in this environment is divided into two phases: the programming of modules that implement system functions, and, application configuration using available modules / Mestrado / Mestre em Engenharia Elétrica

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

Sistemas de controle industriais precisam atender a requisitos temporais para garantir seu correto funcionamento, sendo por isto considerados sistemas tempo-real. Quando tais sistemas são distribuídos, tais como redes de sensores, atuadores e controladores interligados por barramentos de campo, a comunicação desempenha um papel importante no comportamento temporal. Este trabalho propõe uma ferramenta para validar o comportamento temporal da comunicação em um protocolo de barramento de campo, o Foundation Fieldbus. A proposta inclui a especificação de requisitos e a visualização da validação. Pretende-se auxiliar a compreensão do comportamento temporal e possibilitar a depuração de sistemas tempo-real distribuídos. O sistema desenvolvido encontra-se operacional e foi validado em diversos estudos de caso, os quais são descritos no presente trabalho.

Técnicas de tolerância a falhas visam a aumentar a dependabilidade dos sistemas nos quais são empregadas. Entretanto, há necessidade de garantir a confiança na capacidade do sistema em fornecer o serviço especificado. A validação possui como objetivo propiciar essa garantia. Uma técnica de validação bastante utilizada é a injeção de falhas, que consiste na introdução controlada de falhas no sistema para observar seu comportamento. A técnica de injeção de falhas acelera a ocorrência de falhas em um sistema. Com isso, ao invés de esperar pela ocorrência espontânea das falhas, pode-se introduzi-las intencionalmente, controlando o tipo, a localização, o disparo e a duração das falhas. Injeção de falhas pode ser implementada por hardware, software ou simulação. Neste trabalho são enfocadas técnicas de injeção de falhas por software, desenvolvidas nos níveis da aplicação e do sistema operacional. O trabalho apresenta o problema da validação, através da injeção de falhas, de um protocolo de troca de pacotes. Enfoque especial é dado ao impacto resultante da inclusão de um módulo extra no protocolo, uma vez que o mesmo apresenta restrições temporais. O trabalho investiga alternativas de implementação de injetores de falhas por software que minimizem este impacto. Tais alternativas referem-se a localização do injetor de falhas no sistema, a forma de ativação das atividades do injetor de falhas e a operação de injeção de falhas em si. Um toolkit para experimentos de intrusão da injeção de falhas é apresentado. O alvo da injeção de falhas é um protocolo com característica tempo real. O toolkit desenvolvido, denominado INFIMO (INtrusiveless Fault Injector MOdule), visa a analisar, de forma experimental, a intrusão do injetor de falhas sobre o protocolo alvo. O INFIMO preocupa-se com protocolos com restrições temporais por esses constituírem um desafio sob o ponto de vista de injeção de falhas. O INFIMO suporta falhas de comunicação, as quais podem ocasionar a omissão de alguns pacotes. O INFIMO apresenta duas ferramentas de injeção de falhas: INFIMO_LIB, implementada no nível da aplicação e INFIMO_DBG implementada com auxílio de recursos do sistema operacional. Destacam-se ainda como contribuições do INFIMO a definição e a implementação do protocolo alvo para experimentos de injeção de falhas, o protocolo INFIMO_TAP. Além disso, o INFIMO apresenta métricas para avaliação da intrusão provocada pelo injetor de falhas no protocolo alvo.

Tese de Doutoramento. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2005

A operação de reservatórios para geração de energia, ou controle de cheias é definida em função dos volumes afluentes que são resultantes das chuvas que ocorrem sobre a bacia. Devido à aleatoriedade e às próprias incertezas envolvidas na ocorrência das precipitações e vazões; a produção de energia, a segurança das barragens e o controle das cheias à montante e jusante ficam comprometidas. Para que as incertezas sejam reduzidas é necessário o aprimoramento das previsões de vazões de afluência em tempo real. A previsão em tempo real pode se realizada com base na vazão de postos de montante e jusante, na precipitação observada e, ou, na precipitação prevista. A previsão de precipitação é necessária para aumentar a antecipação da previsão e melhoria de resultados para tempos futuros além do tempo de concentração da bacia. Esta pesquisa tem como objetivo a avaliação do ganho da previsão de vazão com uso integrado de previsão de precipitação através de uso de um modelo meteorológico regional (meso-escala) com um modelo hidrológico distribuído. Os resultados do modelo meteorológico regional foram fornecidos pelo Laboratório de Planejamento Energético (LabPlan) da Universidade Federal de Santa Catarina (UFSC), onde está sendo utilizado, de forma operacio nal, o Modelo Numérico Regional ARPS (Advanced Regional Prediction System). O modelo hidrológico de transformação chuva-vazão utilizado é um modelo distribuído com discretização em módulos para grandes bacias - MGB (Modelo de Grandes Bacias). O estudo de caso foi realizado na bacia do rio Uruguai até a Usina Hidrelétrica de Machadinho, cuja área de drenagem é de, aproximadamente, 32.000 km2. Diversos cenários de previsão foram simulados. Para o período de 2001 e 2002 foi feita a análise das previsões de eventos isolados, segundo a disponibilidade de dados de previsão meteorológica. Para o período de 2003, durante 6 meses, foi feita a análise das previsões contínuas. Para este período, através de algumas estatísticas, avaliou-se o ganho hidrológico obtido, em termos de vazão prevista com utilização do modelo hidrológico chuva -vazão considerando chuva futura zero e considerando a previsão da chuva com modelo meteorológico regional. Para o período de 2001 a 2003 avaliou-se, também, a importância da rede de pluviógrafos para previsão em tempo real. Formas de atualização simples das variáveis de estado foram testadas e mostraram significativa melhora das previsões. Os resultados da previsão por eventos mostraram ganhos significativos na previsão de vazão quando a previsão de chuva foi incorporada. Já no período de previsão contínua o mesmo não foi observado, porém este período foi bastante seco com poucos eventos de cheia prejudicando a análise do uso das previsões de chuva no modelo hidrológico para previsão. A análise da importância da rede de pluviógrafos destacou a região sul da bacia como a região mais importante em termos de geração de escoamento rápido ao reservatório de Machadinho. Além disso, uma análise simplificada mostrou que uma rede de pluviógrafos distribuídos na bacia, segundo as recomendações da Organização Meteorológica Mundial (OMM), poderia reduzir em aproximadamente 25% o erro padrão nas previsões de vazão com 12 horas de antecedências em Machadinho.