2 resultados para unconditional guarantees

em Repositório Institucional da Universidade de Aveiro - Portugal


Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Num planeta finito, a impossibilidade de um crescimento contínuo e a necessidade de preservar os seus recursos naturais e ambientais, tendo em vista assegurar opções de qualidade de vida e bem-estar das gerações futuras, fez emergir e estruturar o conceito de Desenvolvimento Sustentável. Perante os múltiplos desafios que o futuro coloca, a educação constitui-se como uma via para alcançar um desenvolvimento mais harmonioso das relações entre os seres humanos e entre estes e a natureza, indispensável à humanidade na persecução dos seus legítimos anseios de paz, liberdade e justiça social. A importância atribuída à educação no sentido de uma adequada perceção da situação do planeta levou as Nações Unidas a proclamarem, no início deste século (dezembro de 2002), a Década da Educação para o Desenvolvimento Sustentável (2005-2014): um desafio internacional lançado aos países para que recorram à educação como ferramenta essencial na promoção de Desenvolvimento Sustentável. A vida nas sociedades contemporâneas é, como nunca antes, influenciada por desenvolvimentos científicos e tecnológicos e dependente dos respetivos progressos. Assim, a Educação Científica assume um papel fundamental na compreensão das problemáticas que enfrentamos e na consciencialização da responsabilidade do ser humano na situação planetária atual, devendo promover o desenvolvimento de cidadanias proativas, fundamentadas e responsáveis, no sentido da mudança, numa perspetiva crítica global que garanta a sustentabilidade do planeta. Estas finalidades são alvo de reflexão por parte de diversas instâncias da sociedade – nas quais se incluem organismos como a UNESCO, comunidades nacionais e internacionais de investigação em Educação Científica, e o poder político – e espelham-se em propostas de reforma e de revisão curricular em diversos países. Ora, sem ser exclusiva, a educação formal nos primeiros anos de escolaridade tem um papel fundamental, por ter caráter obrigatório na maioria dos países. Paralelamente existe um crescente reconhecimento a nível internacional em torno da importância de se iniciar precocemente a Educação Científica com vista a alcançar esses propósitos. Resultados alcançados em diversas investigações evidenciam que a Educação Científica nos primeiros anos de escolaridade tem impacte positivo relevante no desenvolvimento de literacia científica e no desenvolvimento de atitudes positivas face à Ciência e a aprendizagens de Ciências. A presente investigação pretende ser um contributo para a Década da Educação para o Desenvolvimento Sustentável no Primeiro Ciclo do Ensino Básico. O percurso de investigação, de natureza qualitativa, foi desenvolvido em três fases distintas mas articuladas entre si: a fase I integrou processos interpretativos de investigação documental e teve como principais objetivos o estabelecimento do quadro teórico de suporte à problemática de Educação para Desenvolvimento Sustentável e a caraterização de perspetivas de Educação Científica decorrentes de política educativa em Portugal; na fase II caraterizou-se a importância atribuída por professores do Primeiro Ciclo do Ensino Básico à Educação Científica e respetiva componente experimental, bem como as suas conceções acerca de Literacia Científica, orientações Ciência-Tecnologia-Sociedade no ensino das Ciências, Desenvolvimento Sustentável e o modo como dizem articular as referidas conceções com as suas práticas de sala de aula; na fase III apresentou-se um Programa de Ciências, concebido segundo os referenciais atrás definidos e avaliado por um painel de peritos, para Educação para Desenvolvimento Sustentável, “A Terra e os seres vivos: conhecer para valorizar e proteger”, para implementação em cada um dos quatro anos de escolaridade do Primeiro Ciclo do Ensino Básico. O presente estudo assume-se como um contributo para a inovação na Educação Científica no Primeiro Ciclo do Ensino Básico e fundamenta a necessidade de a reorientar, tendo em vista a resposta a compromissos internacionais assumidos por Portugal no âmbito da Década da Educação para o Desenvolvimento Sustentável, bem como a importância de acompanhar orientações e políticas recomendadas a nível internacional, numa perspetiva de educação num contexto de globalização.