Enhanced ethernet switching technology for adaptive hard real-time applications: Tecnologia de comutação ethernet melhorada para aplicações adaptativas e críticas de tempo-real

Os Sistemas Embarcados Distribuídos (SEDs) estão, hoje em dia, muito difundidos em vastas áreas, desde a automação industrial, a automóveis, aviões, até à distribuição de energia e protecção do meio ambiente. Estes sistemas são, essencialmente, caracterizados pela integração distribuída de aplicações embarcadas, autónomas mas cooperantes, explorando potenciais vantagens em termos de modularidade, facilidade de manutenção, custos de instalação, tolerância a falhas, entre outros. Contudo, o ambiente operacional onde se inserem estes tipos de sistemas pode impor restrições temporais rigorosas, exigindo que o sistema de comunicação subjacente consiga transmitir mensagens com garantias temporais. Contudo, os SEDs apresentam uma crescente complexidade, uma vez que integram subsistemas cada vez mais heterogéneos, quer ao nível do tráfego gerado, quer dos seus requisitos temporais. Em particular, estes subsistemas operam de forma esporádica, isto é, suportam mudanças operacionais de acordo com estímulos exteriores. Estes subsistemas também se reconfiguram dinamicamente de acordo com a actualização dos seus requisitos e, ainda, têm lidar com um número variável de solicitações de outros subsistemas. Assim sendo, o nível de utilização de recursos pode variar e, desta forma, as políticas de alocação estática tornam-se muito ineficientes. Consequentemente, é necessário um sistema de comunicação capaz de suportar com eficácia reconfigurações e adaptações dinâmicas. A tecnologia Ethernet comutada tem vindo a emergir como uma solução sólida para fornecer comunicações de tempo-real no âmbito dos SEDs, como comprovado pelo número de protocolos de tempo-real que foram desenvolvidos na última década. No entanto, nenhum dos protocolos existentes reúne as características necessárias para fornecer uma eficiente utilização da largura de banda e, simultaneamente, para respeitar os requisitos impostos pelos SEDs. Nomeadamente, a capacidade para controlar e policiar tráfego de forma robusta, conjugada com suporte à reconfiguração e adaptação dinâmica, não comprometendo as garantias de tempo-real. Esta dissertação defende a tese de que, pelo melhoramento dos comutadores Ethernet para disponibilizarem mecanismos de reconfiguração e isolamento de tráfego, é possível suportar aplicações de tempo-real críticas, que são adaptáveis ao ambiente onde estão inseridas.Em particular, é mostrado que as técnicas de projecto, baseadas em componentes e apoiadas no escalonamento hierárquico de servidores de tráfego, podem ser integradas nos comutadores Ethernet para alcançar as propriedades desejadas. Como suporte, é fornecida, também, uma solução para instanciar uma hierarquia reconfigurável de servidores de tráfego dentro do comutador, bem como a análise adequada ao modelo de escalonamento. Esta última fornece um limite superior para o tempo de resposta que os pacotes podem sofrer dentro dos servidores de tráfego, com base unicamente no conhecimento de um dado servidor e na hierarquia actual, isto é, sem o conhecimento das especifidades do tráfego dentro dos outros servidores. Finalmente, no âmbito do projecto HaRTES foi construído um protótipo do comutador Ethernet, o qual é baseado no paradigma “Flexible Time-Triggered”, que permite uma junção flexível de uma fase síncrona para o tráfego controlado pelo comutador e uma fase assíncrona que implementa a estrutura hierárquica de servidores referidos anteriormente. Além disso, as várias experiências práticas realizadas permitiram validar as propriedades desejadas e, consequentemente, a tese que fundamenta esta dissertação.

Dependable wireless real-time communications for open environments

Wireless communication technologies have become widely adopted, appearing in heterogeneous applications ranging from tracking victims, responders and equipments in disaster scenarios to machine health monitoring in networked manufacturing systems. Very often, applications demand a strictly bounded timing response, which, in distributed systems, is generally highly dependent on the performance of the underlying communication technology. These systems are said to have real-time timeliness requirements since data communication must be conducted within predefined temporal bounds, whose unfulfillment may compromise the correct behavior of the system and cause economic losses or endanger human lives. The potential adoption of wireless technologies for an increasingly broad range of application scenarios has made the operational requirements more complex and heterogeneous than before for wired technologies. On par with this trend, there is an increasing demand for the provision of cost-effective distributed systems with improved deployment, maintenance and adaptation features. These systems tend to require operational flexibility, which can only be ensured if the underlying communication technology provides both time and event triggered data transmission services while supporting on-line, on-the-fly parameter modification. Generally, wireless enabled applications have deployment requirements that can only be addressed through the use of batteries and/or energy harvesting mechanisms for power supply. These applications usually have stringent autonomy requirements and demand a small form factor, which hinders the use of large batteries. As the communication support may represent a significant part of the energy requirements of a station, the use of power-hungry technologies is not adequate. Hence, in such applications, low-range technologies have been widely adopted. In fact, although low range technologies provide smaller data rates, they spend just a fraction of the energy of their higher-power counterparts. The timeliness requirements of data communications, in general, can be met by ensuring the availability of the medium for any station initiating a transmission. In controlled (close) environments this can be guaranteed, as there is a strict regulation of which stations are installed in the area and for which purpose. Nevertheless, in open environments, this is hard to control because no a priori abstract knowledge is available of which stations and technologies may contend for the medium at any given instant. Hence, the support of wireless real-time communications in unmanaged scenarios is a highly challenging task. Wireless low-power technologies have been the focus of a large research effort, for example, in the Wireless Sensor Network domain. Although bringing extended autonomy to battery powered stations, such technologies are known to be negatively influenced by similar technologies contending for the medium and, especially, by technologies using higher power transmissions over the same frequency bands. A frequency band that is becoming increasingly crowded with competing technologies is the 2.4 GHz Industrial, Scientific and Medical band, encompassing, for example, Bluetooth and ZigBee, two lowpower communication standards which are the base of several real-time protocols. Although these technologies employ mechanisms to improve their coexistence, they are still vulnerable to transmissions from uncoordinated stations with similar technologies or to higher power technologies such as Wi- Fi, which hinders the support of wireless dependable real-time communications in open environments. The Wireless Flexible Time-Triggered Protocol (WFTT) is a master/multi-slave protocol that builds on the flexibility and timeliness provided by the FTT paradigm and on the deterministic medium capture and maintenance provided by the bandjacking technique. This dissertation presents the WFTT protocol and argues that it allows supporting wireless real-time communication services with high dependability requirements in open environments where multiple contention-based technologies may dispute the medium access. Besides, it claims that it is feasible to provide flexible and timely wireless communications at the same time in open environments. The WFTT protocol was inspired on the FTT paradigm, from which higher layer services such as, for example, admission control has been ported. After realizing that bandjacking was an effective technique to ensure the medium access and maintenance in open environments crowded with contention-based communication technologies, it was recognized that the mechanism could be used to devise a wireless medium access protocol that could bring the features offered by the FTT paradigm to the wireless domain. The performance of the WFTT protocol is reported in this dissertation with a description of the implemented devices, the test-bed and a discussion of the obtained results.

Operating infrastructure for an FPGA and ARM system

Advances in FPGA technology and higher processing capabilities requirements have pushed to the emerge of All Programmable Systems-on-Chip, which incorporate a hard designed processing system and a programmable logic that enable the development of specialized computer systems for a wide range of practical applications, including data and signal processing, high performance computing, embedded systems, among many others. To give place to an infrastructure that is capable of using the benefits of such a reconfigurable system, the main goal of the thesis is to implement an infrastructure composed of hardware, software and network resources, that incorporates the necessary services for the operation, management and interface of peripherals, that coompose the basic building blocks for the execution of applications. The project will be developed using a chip from the Zynq-7000 All Programmable Systems-on-Chip family.

Demonstrador para rede tempo-real HaRTES

A utilização de sistemas embutidos distribuídos em diversas áreas como a robótica, automação industrial e aviónica tem vindo a generalizar-se no decorrer dos últimos anos. Este tipo de sistemas são compostos por vários nós, geralmente designados por sistemas embutidos. Estes nós encontram-se interligados através de uma infra-estrutura de comunicação de forma a possibilitar a troca de informação entre eles de maneira a concretizar um objetivo comum. Por norma os sistemas embutidos distribuídos apresentam requisitos temporais bastante exigentes. A tecnologia Ethernet e os protocolos de comunicação, com propriedades de tempo real, desenvolvidos para esta não conseguem associar de uma forma eficaz os requisitos temporais das aplicações de tempo real aos requisitos Quality of Service (QoS) dos diferentes tipos de tráfego. O switch Hard Real-Time Ethernet Switching (HaRTES) foi desenvolvido e implementado com o objetivo de solucionar estes problemas devido às suas capacidades como a sincronização de fluxos diferentes e gestão de diferentes tipos de tráfego. Esta dissertação apresenta a adaptação de um sistemas físico de modo a possibilitar a demonstração do correto funcionamento do sistema de comunicação, que será desenvolvido e implementado, utilizando um switch HaRTES como o elemento responsável pela troca de informação na rede entre os nós. O desempenho da arquitetura de rede desenvolvida será também testada e avaliada.

Detecção multiutilizador do domínio da frequência para sistemas DS-CDMA

Os Sinais de Espalhamento de Espectro de Sequência Directa exibem propriedades cicloestacionárias que implicam redundância entre componentes de frequência espaçadas por múltiplos da taxa de símbolo. Nesta tese, é apresentado um cancelador de interferência multiutilizador (Cancelador por translação na frequência - FSC) que tira partido desta propriedade. Este cancelador linear opera no domínio da frequência no sinal espalhado de tal forma que minimiza a interferência e ruído na saída (Critério do Mínimo Erro Quadrado Médio). Além de testado para o caso de antena única, são avaliadas as performances das configurações de antenas múltiplas para o caso de beamforming e canais espacialmente descorrelacionados considerando sistemas síncronos e sistemas com desalinhamento no tempo dos perfis de canais (ambos UMTS-TDD). Essas configurações divergiam na ordem da combinação temporal, combinação espacial e detecção multiutilizador. As configurações FSC foram avaliadas quando concatenadas com o PIC-2D. Os resultados das simulações mostram consideráveis melhorias nos resultados relativamente ao RAKE-2D convencional e PIC-2D. Foi atingida performance próximo ao RAKE de utilizador único quando o FSC foi avaliado concatenado com PIC-2D em quase todas as configurações. Todas as configurações foram avaliadas com modulação QPSK, 8-PSK e 16-QAM. Foi introduzida codificação Turbo e identificou-se as situações da vantagem de utilização do FSC antes do PIC-2D. As modulações 8-PSK e 16-QAM foram igualmente testadas com codificação.

Sistemas de informação para DNA microarrays

O projecto de sequenciação do genoma humano veio abrir caminho para o surgimento de novas áreas transdisciplinares de investigação, como a biologia computacional, a bioinformática e a bioestatística. Um dos resultados emergentes desde advento foi a tecnologia de DNA microarrays, que permite o estudo do perfil da expressão de milhares de genes, quando sujeitos a perturbações externas. Apesar de ser uma tecnologia relativamente consolidada, continua a apresentar um conjunto vasto de desafios, nomeadamente do ponto de vista computacional e dos sistemas de informação. São exemplos a optimização dos procedimentos de tratamento de dados bem como o desenvolvimento de metodologias de interpretação semi-automática dos resultados. O principal objectivo deste trabalho consistiu em explorar novas soluções técnicas para agilizar os procedimentos de armazenamento, partilha e análise de dados de experiências de microarrays. Com esta finalidade, realizou-se uma análise de requisitos associados às principais etapas da execução de uma experiência, tendo sido identificados os principais défices, propostas estratégias de melhoramento e apresentadas novas soluções. Ao nível da gestão de dados laboratoriais, é proposto um LIMS (Laboratory Information Management System) que possibilita a gestão de todos os dados gerados e dos procedimentos realizados. Este sistema integra ainda uma solução que permite a partilha de experiências, de forma a promover a participação colaborativa de vários investigadores num mesmo projecto, mesmo usando LIMS distintos. No contexto da análise de dados, é apresentado um modelo que facilita a integração de algoritmos de processamento e de análise de experiências no sistema desenvolvido. Por fim, é proposta uma solução para facilitar a interpretação biológica de um conjunto de genes diferencialmente expressos, através de ferramentas que integram informação existente em diversas bases de dados biomédicas.

Estudo de sistemas de protecção térmica húmidos sujeitos a condições de incêndio

O presente trabalho tem como principal objectivo o estudo e a interpretação dos mecanismos de transferência de calor e massa no interior de um meio poroso húmido actuando como barreira térmica de protecção em condições de incêndio, visando, sobretudo, melhorar o desempenho destes sistemas. A barreira térmica estudada é constituída por camadas de fibra de vidro, cuja face exposta à chama é protegida por uma folha de alumínio perfurada. A realização deste estudo envolveu a concepção, realização e operação de uma montagem experimental, com a qual se obteve a evolução temporal da temperatura e da taxa de evaporação de água no interior de uma amostra da barreira térmica, submetida à acção directa de uma chama. A análise do processo de protecção foi complementada com resultados obtidos por simulação numérica do processo, designadamente a evolução das propriedades térmicas, que determinam os mecanismos de transferência de calor e massa no interior da barreira. Para esse efeito foi desenvolvido um modelo matemático de simulação do processo de protecção para as barreiras em estudo, que permitiu obter resultados que acompanham bem as evoluções verificadas nos ensaios experimentais. A barreira térmica estudada mostrou claramente possuir um bom desempenho no processo de protecção, face às barreiras térmicas secas. Com a realização deste estudo identificaram-se e quantificaram-se os mecanismos de transferência de calor e massa dominantes nas diversas fases do processo de protecção, o que permitiu extrair conclusões valiosas quanto às características dos meios porosos que contribuem para o seu bom desempenho como barreiras térmicas húmidas.

Estabilidade de sistemas comutados com reset parcial

A presente tese é dedicada ao estudo da estabilidade de sistemas definidos por famílias finitas de sistemas lineares invariantes e por regras de comutação que coordenam a comutação entre eles. Assumimos que, em cada instante de tempo onde ocorre comutação, a trajectória do estado do sistema possa sofrer um "salto" desencadeado pela aplicação de um reset. Estes sistemas são, neste trabalho, designados por sistemas comutados com reset. Os resets podem ser de dois tipos - totais ou parciais, dependendo se a totalidade ou apenas uma parte das componentes do estado está disponível para reset. Neste sentido, distinguimos sistemas comutados com reset (total) e sistemas comutados com reset parcial. Analisamos a estabilidade dos dois tipos de sistemas comutados referidos à luz da teoria de Lyapunov e sob duas perspectivas; por um lado determinamos sob que condições um sistema comutado com reset é estável e por outro, identificamos resets que, quando aplicados, asseguram a estabilidade do sistema. Neste último ponto, a escolha dos resets adequados a aplicar pode por si só revelar-se insuficiente para obter estabilidade, especialmente se apenas parte das componentes do estado estiver disponível para reset (caso de reset parcial).

Novos sistemas catalíticos baseados em óxidos de metais de transição

A presente dissertação descreve a síntese de novos sistemas catalíticos: (a) os complexos MoO2Cl2(pypzH), [MoO2Cl2(pypzH)]·pyHpzHCl, Mo2O4(μ2- O)Cl2(pypzH)2, MoO(O2)2Cl(pyHpzH), MoO2(OSiPh3)2(pypzH) (pypzH = 2-[3(5)- pirazolil]piridina), (η6-C6H5CH3)Mo(CO)3, (b) os materiais híbridos orgânicosinorgânicos PMO-ph suportados com as unidades Mo(CO)3 e Cr(CO)3, (c) e os complexos de inclusão CpMo(CO)3Cl@β-CD e CpMo(CO)3Cl@TRIMEB. Os novos sistemas catalíticos foram caracterizados utilizando os métodos de caracterização usuais (AE, FT-IR, Raman, NMR 1H) assim como os métodos de caracterização de estado sólido (XRD de pós, de cristal único, 13C e 29Si NMR CP MAS) e pela técnica microscópica de alta resolução (TEM). Os compostos com propriedades catalíticas e pré-catalíticas promissoras foram investigados nas reacções catalíticas de epoxidação de várias olefinas, nomeadamente o cis-cicloocteno.

Caracterização molecular de cianobactérias de sistemas aquáticos portugueses

As alterações climáticas favorecem a ocorrência global de episódios de precipitação e seca extremas, colocando em risco a qualidade da água em sistemas aquáticos usados consumo humano ou recreação. O fenómeno de seca, em particular, será mais frequente e severo, alterando toda a hidrodinâmica dos sistemas aquáticos e, consequentemente, a ecologia das comunidades aquáticas. A ocorrência de blooms de cianobactérias intensificarse- á sob este novo cenário climático. Em Portugal, estudos parcelares em rios e barragens têm sido realizados com enfoque em cianobactérias tóxicas e outras bactérias patogénicas, mas não há trabalhos publicados acerca da composição da comunidade bacteriana (CCB). O presente trabalho pretende colmatar esta falha, com particular atenção para a ocorrência de blooms cianobacterianos, em vários sistemas aquáticos portugueses lóticos e lênticos. Este objectivo foi alcançado utilizando metodologias moleculares, como a técnica rDNA 16S-DGGE (Denaturing Gradient Gel Electrophoresis), independente do cultivo, e a sequenciação. Dados ambientais foram também determinados para correlacionar com as variações sazonais ou espaciais da diversidade da CCB. O impacto da seca na distribuição espacial da CCB foi também investigado. A lagoa da Vela é um caso de estudo especial, devido à vasta documentação sobre a ocorrência de blooms de cianobactérias durante os últimos anos, e várias estirpes isoladas de blooms foram estudadas em mais detalhe. Os resultados mostraram, em geral, perfis de DGGE típicos de verão vs. inverno nos sistemas aquáticos estudados. Nos sistemas lênticos, os filótipos dominantes afiliaram com Cyanobacteria (formas unicelulares, coloniais e filamentosas), eucariotas fototróficos e Actinobacteria, enquanto nos rios, Bacteroidetes e Betaproteobacteria foram dominantes. Nos sistemas lênticos, os factores mais significativos para a sazonalidade da CCB incluíram a temperatura da água, a condutividade e a clorofila a, apesar da variação extrema dos níveis de precipitação, sugerindo que a BCC poderá resistir a mudanças severas causadas pela seca. Nos rios, a sazonalidade da CCB foi principalmente definida pela temperatura e os níveis de amónia. No verão seco de 2005, as barragens do Alentejo (Sul de Portugal) mostraram similaridade na CCB, com filótipos comuns de Cyanobacteria, Actinobacteria e Alphaproteobacteria. No entanto, os perfis de DGGE sugerem filótipos ubíquos em sistemas portugueses geograficamente distantes. Na Lagoa da Vela, a seca conduziu à redução drástica do nível da água e à variação na diversidade espacial da CCB (e cianobactérias dominantes) e potencial tóxico, o que pode ter impacto directo nos utilizadores da lagoa. Os resultados também mostraram a presença de estirpes tóxicas de Microcystis na lagoa e um bloom não clonal de estirpes de Aphanizomenon aphanizomenoides, com diferentes morfótipos, genótipos e ecótipos.

Sistemas de recepção de imagens de satélite: implementação e aplicações

A presente dissertação pretende focalizar-se sobre algumas aplicações da detecção remota por satélite. Assim, será exposto neste trabalho o resultado do desenvolvimento de sistemas de recepção de imagens obtidas por satélites de órbita polar e geostacionária, assim como um conjunto de três aplicações implementadas: a detecção de focos de incêndio em Portugal com dados do MSG-1, o desenvolvimento de um conjunto de actividades de exploração da Detecção Remota no contexto do 1' Ciclo do Ensino Básico e a validação dos resultados de previsão do modelo de mesoescala MM5 com imagens de satélite. A análise destas imagens desempenha um papel crucial, por exemplo nos estudos sobre tempo e clima. É por essa razão que tanto os Estados Unidos como outros países têm vindo a desenvolver um esforço contínuo para que possam ser lançados novos satélites que permitam uma constante aquisição de conhecimentos sobre os fenómenos meteorológicos. Deste modo, a implementação de sistemas de recepção que possibilitem transformar as medidas disponibilizadas por instrumentos a bordo de satélites em informação constitui um empreendimento de extrema utilidade para as mais diversas áreas do saber (como as Geociências ou a Meteorologia), revestindo-se de inúmeras aplicações de interesse para a Sociedade, nomeadamente nos sectores agrícola, energético, dos transportes e da conservação do meio ambiente.

O desenvolvimento dos sistemas de valor do sector segurador em Portugal

A investigação em apreço tem como horizonte de ocorrência o espaço inter-organizacional onde as empresas se relacionam entre si, com os seus fornecedores, canais e Clientes. É pretendido estudar o actual estado das parcerias inter-organizacionais do sector segurador nacional e definir uma estratégia de desenvolvimento integrado dos sistemas de valor. Com base num modelo de análise ancorado na (1) racionalidade económica inscrita na TCE (teoria dos custos de transacção) e (2) na óptica das Capacidades Dinâmicas, é proposto o Modelo GPS (Gestão Integrada de Parcerias) compaginável com uma visão holística e dinâmica. A metodologia de verificação empírica compreendeu (1) recolha de dados através de questionário, dirigido a Companhias e Parceiros e (2) entrevistas semi-estruturadas. A análise descritiva dos dados permitiu validar o modelo GPS e caracterizar um sistema de valor heterogéneo, complexo e diversificado relativamente à natureza e intensidade de relacionamentos. O sistema de relacionamentos foi enquadrado numa escala de maturidade onde foram posicionadas as várias práticas de gestão de parcerias. Actualmente nos seguros estamos perante um sistema mais economic-intensive, transaccional, do que knowledge-intensive. No teste de hipóteses, efectuado com a ferramenta SPSS, assinalam-se as correlações que se esperavam encontrar, bem como as (principais) ausências. De facto, a ausência de vestígios de correlação entre governance social/confiança e colaboração nos seguros não era esperada e constitui uma chamada de atenção para uma dimensão sub-explorada, conducente a um quadro tensional. No final, com base na realidade captada, foram traçadas recomendações de desenvolvimento dos sistemas de valor visando alcançar níveis colaborativos mais eficazes, assentes na força dos laços fortes. Todavia, esta nova narrativa de gestão não é neutral face aos modelos vigentes, implicando algum grau de ruptura. A continuação de especialização em actividades core, desconstruindo de forma (mais) pronunciada a cadeia de valor, secundada por maior níveis de colaboração e socialização entre pares, são elementos constitutivos da realidade futura. Vendo para além da linha do horizonte, os gestores seguradores não podem ficar indiferentes à projecção de uma matriz de fundo de relacionamentos mais colaborativos enquanto terreno fértil de inovação e renovação de fontes de vantagem competitiva.