Orientador: Luiz Gustavo Bizarro Mirisola / Dissertação (mestrado) - Universidade Federal do ABC. Programa de Pós Graduação em Ciência da Computação, 2013

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores (Área de especialização de Informática Industrial), na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Professor Paulo José Cerqueira Gomes da Costa

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores(Área de especialização em Informática Industrial),na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Prof. Dr. António José Pessoa de Magalhães

Tese de mestrado. Engenharia Electrotécnica e de Computadores (Área de especialização de Telecomunicações). Faculdade de Engenharia. Universidade do Porto, Instituto Superior de Engenharia. Instituto Politécnico do Porto.. 2008

Tese de doutoramento. Engenharia Electrotécnica e de Computadores. Faculdade de Engenharia. Universidade do Porto. 2009

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica / Made available in DSpace on 2012-10-15T23:28:25Z (GMT). No. of bitstreams: 0

Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico. Programa de Pós-Graduação em Engenharia Elétrica / Made available in DSpace on 2012-10-17T01:05:14Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T22:17:49Z : No. of bitstreams: 1 109907.pdf: 127908171 bytes, checksum: e96e0bf968ad4086899866c0351a08bd (MD5) / Esta tese propõe um modelo e uma linguagem de programação que exploram a potencialidade dos paradigmas de orientação a objetos e reflexão computacional, visando contribuir para a solução de vários problemas encontrados atualmente na programação de sistemas tempo real. O modelo proposto, denominado Modelo RTR, permite a definição e o uso de restrições temporais e algoritmos de escalonamento de acordo com as especificidades da aplicação e de forma independente do suporte de execução subjacente, provendo flexibilidade e independência de ambiente operacional. Além disso, a separação entre questões funcionais e de controle, resultante do uso de reflexão computacional, facilita o gerenciamento da complexidade e incrementa a possibilidade de reutilização e a capacidade de manutenção dos sistemas desenvolvidos. A linguagem proposta, denominada Java/RTR, é uma extensão da linguagem Java que implementa explicitamente o modelo RTR, integrando a capacidade temporal do modelo RTR com as facilidades convencionais de Java. A potencialidade e a expressividade da abordagem proposta são demonstradas através de diversos exemplos envolvendo diferentes situações típicas de tempo real, incluindo a representação da sincronização ern aplicaçes multimídia. Além disso, uma extensão do modelo RTR para ambientes distribuídos abertos é descrita e exemplificada. Adicionalmcnte, esta tese também apresenta um estudo abrangente sobre modelos e linguagens tempo real baseados em objetos e/ou reflexão computacional existentes.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-24T23:44:11Z (GMT). No. of bitstreams: 1 289042.pdf: 954378 bytes, checksum: 425c47463304c441d075e74b1c269f0f (MD5) / Com a contínua expansão da Internet, a busca de informação relevante deve atender requisitos de tempo e qualidade. A área da inteligência artificial possui soluções de busca informada sofisticadas que tratam essas variáveis: tempo e qualidade. Esses sistemas de busca de informação são sistemas distribuídos de tempo real, uma área emergente de pesquisa e que tem nos apresentado soluções de arquitetura computacional com alta escalabilidade. Uma alternativa para a busca de informação em tempo real é a tecnologia de agentes móveis, a qual vem sendo objeto de pesquisa desde antes da popularização da Internet, mas vem ganhando força com a padronização desta tecnologia através da FIPA, uma fundação filiada ao IEEE. A introdução de agentes móveis no cenário de sistemas distribuídos traz diversas vantagens e possuem características que são altamente desejáveis para sistemas distribuídos de tempo real. Os agentes móveis também utilizam técnicas originadas na inteligência artificial para melhorar seu desempenho em cenários com restrição temporal. Uma dessas técnicas é a de anytime algorithms, que permite ao algoritmo controlar a qualidade da resposta em função do tempo de execução. Neste trabalho serão apresentados cenários envolvendo busca de informação em servidores distribuídos. Para realizar experimentos nestes cenários, serão apresentadas novas heurísticas para determinação de itinerário de agentes móveis na busca de informação em ambientes distribuídos com características de tempo real. Serão utilizadas plataformas de agentes móveis existentes no mercado, padrões de tecnologia de agentes e também técnicas de controle de execução de algoritmos em ambientes de tempo real.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-24T03:59:29Z (GMT). No. of bitstreams: 1 258001.pdf: 357562 bytes, checksum: ad8baaa7a1109b32e7faba42d9f07ba7 (MD5) / As técnicas de gerência de energia, como DVS e hibernação de recursos, são essenciais para a modelagem de sistemas embarcados capazes de gerenciar seus próprios consumos de energia; contudo, elas, freqüentemente, ocasionam sobrecusto e/ou latência. Esses fatores não podem ser ignorados em sistemas que buscam garantir métricas de tempo real e/ou de QoS. Contudo, frisamos que não é suficiente garantir as métricas de tempo real e/ou de qos se, fazendo isso, o sistema consome com o orçamento de energia disponível e não é capaz de completar suas tarefas críticas. Neste trabalho, utilizamos o tempo de duração da bateria esperado como um parâmetro de QoS -- QoS em termos de energia. O objetivo não é apenas economizar energia, mas aumentar a utilidade da aplicação, garantindo o tempo de duração da bateria desejado e, ainda, preservando os prazos das tarefas hard real-time. O controle dos níveis de qos foi inspirado na Computação Imprecisa que divide cada tarefa em parte obrigatória e em parte opcional. Dado um conjunto de tarefas e seus associados tempos de execução e consumos de energia, disponibilizamos equações para verificar a sua escalonabilidade em tempo de projeto. Em tempo de execução, um escalonador preemptivo para tarefas imprecisas descarta partes opcionais quando existe a possibilidade dos prazos e/ou do tempo de duração do sistema requerido serem perdidos. Nos períodos ociosos criados, o escalonador invoca um gerente de energia oportunista. Implementamos um protótipo usando o EPOS para fornecer suporte ao algoritmo de escalonamento com tarefas imprecisas e execuções condicionais aos parâmetros desejados. Com base em um estudo de caso, mostramos que esse mecanismo permite as aplicações alcançarem seus compromissos entre QoS e consumo de energia.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-17T16:37:53Z No. of bitstreams: 1 barboza2006.pdf: 716139 bytes, checksum: 56397fad812dffadf11ce4841ed6c59c (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-21T11:53:04Z (GMT) No. of bitstreams: 1 barboza2006.pdf: 716139 bytes, checksum: 56397fad812dffadf11ce4841ed6c59c (MD5) / Made available in DSpace on 2017-02-21T11:53:04Z (GMT). No. of bitstreams: 1 barboza2006.pdf: 716139 bytes, checksum: 56397fad812dffadf11ce4841ed6c59c (MD5) / O termo IEEE 802.11 diz respeito a uma família de especificações que buscam obter conectividade sem fio para estações fixas, portáveis e móveis em uma rede local. Redes IEEE 802.11 têm, recentemente, despertado interesse como tecnologia de suporte para a comunicação em aplicações sem fio na automação, em particular em aplicações de chão de fábrica e de controle de plantas, onde, muitas vezes, requisitos de tempo-real e requisitos de confiabilidade são necessários. Neste contexto, o uso de métodos formais permite a obtenção de um conhecimento mais preciso sobre as propriedades do protocolo bem como a especificação e verificação destas propriedades. Este trabalho apresenta uma especificação e verificação formal da função de controle de acesso ao meio da sub-camada MAC do padrão IEEE 802.11 usando UPPAAL, um verificador de modelos gratuito, que suporta os conceitos de relógios e tempo. O uso do UPPAAL permitiu considerar, dentro da modelagem, as características temporais do protocolo. A verificação procurou identificar uma série de propriedades que fornecesse aos projetistas de aplicações e sistemas de tempo-real um conjunto mínimo de garantias relativas aos canais de comunicação. Entre as propriedades verificadas, destacamos a habilidade das estações possuírem acesso ao meio dentro de um tempo finito e conhecido e, portanto, a adequação do protocolo como suporte a aplicações que necessitem de garantias temporais.