Response time analysis of COTS-Based multicores considering the contention on the shared memory bus

The current industry trend is towards using Commercially available Off-The-Shelf (COTS) based multicores for developing real time embedded systems, as opposed to the usage of custom-made hardware. In typical implementation of such COTS-based multicores, multiple cores access the main memory via a shared bus. This often leads to contention on this shared channel, which results in an increase of the response time of the tasks. Analyzing this increased response time, considering the contention on the shared bus, is challenging on COTS-based systems mainly because bus arbitration protocols are often undocumented and the exact instants at which the shared bus is accessed by tasks are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. This paper makes three contributions towards analyzing tasks scheduled on COTS-based multicores. Firstly, we describe a method to model the memory access patterns of a task. Secondly, we apply this model to analyze the worst case response time for a set of tasks. Although the required parameters to obtain the request profile can be obtained by static analysis, we provide an alternative method to experimentally obtain them by using performance monitoring counters (PMCs). We also compare our work against an existing approach and show that our approach outperforms it by providing tighter upper-bound on the number of bus requests generated by a task.

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems

Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).

Uniprocessor EDF scheduling with mode change

Consider the problem of scheduling sporadically-arriving tasks with implicit deadlines using Earliest-Deadline-First (EDF) on a single processor. The system may undergo changes in its operational modes and therefore the characteristics of the task set may change at run-time. We consider a well-established previously published mode-change protocol and we show that if every mode utilizes at most 50% of the processing capacity then all deadlines are met. We also show that there exists a task set that misses a deadline although the utilization exceeds 50% by just an arbitrarily small amount. Finally, we present, for a relevant special case, an exact schedulability test for EDF with mode change.

The utilization bound of static-priority preemptive partitioned multiprocessor scheduling is 50%

This paper studies static-priority preemptive scheduling on a multiprocessor using partitioned scheduling. We propose a new scheduling algorithm and prove that if the proposed algorithm is used and if less than 50% of the capacity is requested then all deadlines are met. It is known that for every static-priority multiprocessor scheduling algorithm, there is a task set that misses a deadline although the requested capacity is arbitrary close to 50%.

Photographic source for the history of portuguese-speaking Africa, 1870-1914

History in Africa, n.18, pág.67-82

Produção cultural: do privado ao público: dois mundos, duas realidades

Relatório de Estágio submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Produção.

Quanto tempo dura um instante?: da dualidade do efémero e da permanência do serviço educativo

Relatório de Estágio submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro – Especialização em Produção

Fiabilidade e gestão soft da manutenção das fragatas da classe Vasco da Gama

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção de grau de Mestre em Engenharia Mecânica

IPv6 – Integração, Transição e Segurança

Ao longo dos anos a Internet tornou-se uma ferramenta fundamental para a sociedade e, nos dias de hoje, é praticamente inevitável não usufruir de algumas facilidades proporcionadas pela rede mundial. Devido à sua massificação nos últimos anos, os endereços de IP disponíveis esgotaram-se, pelo que tornou-se necessário a elaboração de uma nova versão do protocolo comunicação, utilizado para suportar todas as comunicações na Internet, o Internet Protocol, versão 6 (IPv6). Apesar da ampla utilização da Internet, a maioria dos seus utilizadores está completamente alheia às questões de segurança, estando por isso exposta a uma diversidade de perigos. O aumento da segurança é também uma das principais missões do IPv6, tendo-se introduzido alguns mecanismos de segurança relevantes. Este trabalho tem como objetivo estudar o IPv6, focando-se especialmente em questões relacionadas com os mecanismos de transição do IPv4 para IPv6 e em aspetos de segurança. Proporcionando uma abordagem teórica ao protocolo e aos conceitos de segurança, este documento apresenta também uma perspetiva mais técnica da implementação do IPv6, pretendendo ser um manual de apoio aos responsáveis pela implementação da versão 6 do IP. Os três métodos de transição, que permitem a atualização do IPv4 para IPv6, são analisados de forma a apoiar a equipa na tomada de decisão sobre qual (ou quais) os métodos de transição a utilizar. Uma parte substancial do trabalho foi dedicada à seleção e estudo de vulnerabilidades que se encontram presentes no IPv6, a forma como são exploradas por parte do atacante, a forma como podem ser classificadas e os processos que diminuem o risco de exposição a essas mesmas vulnerabilidades. Um conjunto de boas práticas na administração da segurança de redes é também apresentada, para melhorar a garantia de que problemas conhecidos não possam ser explorados por utilizadores mal intencionados.

“Deste triste viver" – Memórias dos prisioneiros de guerra portugueses na primeira Guerra Mundial

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em História Contemporânea

Desenvolvimento e Controlo de um Veículo Autónomo Aéreo Quadrotor

A crescente necessidade de meios de inspecção e recolha de informação de infraestruturas e do meio ambiente natural, origina o recurso a meios tecnológicos cada vez mais evoluídos. Neste contexto, os robôs móveis autónomos aéreos surgem como uma ferramenta importante. Em particular, os veículos aéreos de asa móvel, pela sua manobrabilidade e controlo podem-se utilizar eficazmente em meios complexos como cenários interiores onde o ambiente é parcialmente controlado. A sua utilização em coordenação com outros veículos robóticos móveis e em particular com a crescente autonomia de decisão, permitem uma eficiência elevada, por exemplo, em tarefas de recolha automática de informação, vigilância, apoio a comunicações, etc. A inexistência de um veículo autónomo de asa móvel no cenário multi-robótico desenvolvido pelo Laboratório de Sistemas Autónomos do Instituto Superior de Engenharia do Porto, aliada às suas aplicações referidas, criou a necessidade do desenvolvimento de um veículo desta gama. Identificou-se, pois, o desenvolvimento de um veículo autónomo aéreo do tipo quadrotor com capacidade de vôo base estabilizado como o problema a resolver. Foi efectuado um levantamento de requisitos do sistema, a caracterização de um veículo autónomo aéreo Vertical Take-off and Landing - VTOL, e efectuado um trabalho de pesquisa a fim de possibilitar o conhecimento das técnicas e tecnologias envolvidas. Tendo em vista o objectivo de controlo e estabilização do veículo, foi efectuada a modelização do sistema que serviu não só para a melhor compreensão da sua dinâmica mas também para o desenvolvimento de um simulador que possibilitou a validação de estratégias de controlo e avaliação de comportamentos do veículo para diferentes cenários. A inexistência de controladores de motores brushless adequada (frequência de controlo), originou o desenvolvimento de um controlador dedicado para motores brushless, motores esses utilizados para a propulsão do veículo. Este controlador permite uma taxa de controlo a uma frequência de 20KHz, possui múltiplas interfaces de comunicação (CAN, RS232, Ethernet, SPI e JTAG), é de reduzido peso e dimensões e modular, visto ter sido implementado em dois módulos, i.e., permite a sua utilização com diferentes interfaces de potência. Projectou-se um veículo autónomo aéreo em termos físicos com a definição da sua arquitectura de hardware e software bem como o sistema de controlo de vôo. O sistema de estabilização de vôo compreende o processamento de informação fornecida por um sistema de navegação inercial, um sonar e o envio de referências de velocidade para cada um dos nós de controlo ligados a um barramento CAN instalado no veículo. A implementação do veículo foi alcançada nas suas vertentes mecânica, de hardware e software. O UAV foi equipado com um sistema computacional dotando-o de capacidades para o desempenho de tarefas previamente analisadas. No presente trabalho, são também tiradas algumas conclusões sobre o desenvolvimento do sistema e sua implementação bem como perspectivada a sua evolução futura no contexto de missões coordenadas de múltiplos veículos robóticos.

European gendarmerie force

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciência Política e Relações Internacionais, na variante de Estudos Europeus

O contrato psicológico na expatriação

Nos últimos anos, o número de expatriados tem apresentado uma tendência de crescimento a nível mundial. Desta forma, a gestão de expatriados, que integra o subsistema da gestão internacional de recursos humanos, passa a ter uma atenção renovada e tem vindo a crescer enquanto área de intervenção de gestão de recursos humanos. Por sua vez, o contrato psicológico tem sido visto, cada vez mais, como um fator relevante na explicação das relações laborais e o número de estudos em torno desta temática tem aumentado. O sucesso da expatriação é diretamente influenciado pelo contrato psicológico e depende, em grande parte, da forma como são desenvolvidas as práticas de GRH (Homem & Tolfo, 2008). Desta forma, é essencial compreender a reação dos trabalhadores perante a mudança (Bligh & Carsten, 2005; Shield, Thorpe, & Nelson, 2002), uma vez que o comportamento de resposta aos mesmos pode ser um contributo para marcar a diferença decisiva entre o sucesso ou o fracasso da missão internacional. Neste mesmo contexto, assiste-se a uma crescente atenção sobre o contributo que o Contrato Psicológico pode ter em contextos de incerteza. O individuo, enquanto trabalhador de uma organização que decide aceitar uma missão internacional e ir viver para outro país, tem necessidade de se enquadrar num relacionamento contínuo e motivador com a entidade empregadora. A noção do contrato psicológico torna-se fundamental para o entendimento das relações de trabalho, a partir das perceções das pessoas envolvidas. Muitos dos aspetos destes relacionamentos são implícitos (não escritos) o que pode provocar diferentes interpretações sobre as expectativas, promessas e obrigações entre partes. Vários autores defendem que o contrato psicológico é um meio fundamental na compreensão e gestão das atitudes e comportamentos dos indivíduos nas organizações (Bunderson, 2001; Kraimer, Wayne, Liden, & Sparrow, 2005; Lemire & Rouillard, 2005). O objetivo deste trabalho é conhecer o estado do contrato psicológico nos expatriados: antes da missão, após a fase de adaptação ao país de destino e na repatriação. Foi utilizada a metodologia qualitativa e para tal, foi aplicada uma entrevista individual semiestruturada e um questionário sociográfico às pessoas que se encontravam, à data, expatriadas. No total foram realizadas dez entrevistas e a análise das entrevistas foi efetuada através da Grounded Theory. Os resultados sugerem que há apenas cumprimento do contrato psicológico na fase da preparação da missão internacional, havendo, por outro lado, incumprimento do contrato psicológico durante a expatriação e na repatriação, de acordo com a perceção que os expatriados têm acerca do fim da expatriação. No entanto, a maioria dos expatriados entrevistados avalia positivamente a experiência da expatriação, apesar de as organizações parecerem ter apenas algumas regras estabelecidas de suporte ao expatriado, nomeadamente suporte logístico e financeiro, e não disporem de um programa completo e aprofundado de suporte à gestão da expatriação. Os resultados sugerem ainda que é essencial que as organizações estimulem a comunicação com os expatriados e fomentem o suporte que deve ser constante e intrínseco a todas as fases da expatriação, a fim de evitar a sensação de “abandono”.

A relação entre a gestão da carreira e a expatriação: um estudo quantitativo com repatriados portugueses

A presente investigação tem como objetivo estudar a expatriação, especificamente a gestão da carreira de repatriados portugueses que já experienciaram uma ou mais missões internacionais. Pretende-se averiguar de que modo a realização de missões internacionais pode influenciar a evolução da carreira profissional após o regresso ao país/organização de origem. Para a concretização desta investigação foi utilizada a metodologia quantitativa. A fase de recolha de dados consistiu na aplicação de um inquérito por questionário a 75 repatriados ligados a organizações localizadas em Portugal. Os dados obtidos neste estudo revelam que os repatriados valorizam a experiência da expatriação, independentemente da existência ou não de progressão na carreira, pelo facto de adquirirem e desenvolverem novas competências, alcançarem um âmbito funcional mais rico e abrangente e assumirem funções com maior responsabilidade e autonomia. O facto de planearem a MI como fazendo parte de um processo de desenvolvimento de carreira confirma as perspetivas teóricas do novo contrato psicológico, carreira proteana, boundaryless career e carreiras inteligentes. Os resultados permitiram-nos confirmar as hipóteses de estudo, nomeadamente que a satisfação dos repatriados com a gestão do processo de expatriação está relacionada com a vontade de permanecer na organização de expatriação durante e após a realização da MI e que a implementação de práticas de GRH no âmbito da gestão da carreira dos expatriados está associada a um menor receio dos mesmos em relação à fase da repatriação. Porém, os resultados obtidos mostram que as MI não têm impacto direto no desenvolvimento da carreira dos repatriados, não comprovando assim outra das hipóteses orientadoras desta dissertação. Na parte final do estudo são apresentados os principais contributos teóricos e práticos desta dissertação bem como identificadas algumas limitações a par de sugestões de pesquisa futura.

Álcool e tabaco nos militares em Forças Nacionais Destacadas

RESUMO - Introdução: Segundo a Organização Mundial de Saúde, a evolução verificada nos últimos anos no consumo de álcool e tabaco e outras substâncias psicoactivas está a aumentar rapidamente e a contribuir de maneira importante para a carga das doenças em todo o mundo. A nível militar e nos elementos destacados para as missões de apoio à paz, é pertinente conhecer e caracterizar os padrões de consumo de álcool e tabaco a que estão sujeitos nestes contextos específicos de modo a compreender esta realidade e a sua importância e a poder intervir face às suas consequências. De ainda referir que existe escassez de estudos nesta área em Portugal. Objectivo: O objectivo deste estudo consiste em caracterizar os padrões de consumo de álcool e de tabaco dos militares das Forças Nacionais Destacadas, em missão de apoio à paz, no pré-deslocamento ainda em Portugal, no deslocamento em Teatro de Operações e no pós-deslocamento em território nacional. Metodologia: Apresenta-se o delineamento do estudo e o tipo de estudo que é longitudinal e analítico, a metodologia utilizada, bem como, as hipóteses colocadas, consolidadas na revisão de literatura efectuada previamente; faz-se a caracterização das variáveis sócio demográficas e instrumentais utilizadas. São definidos os critérios de inclusão e exclusão assim como aspectos éticos necessários. Definem-se ainda os testes estatísticos considerados apropriados para este tipo de estudo. Simulação de resultados, discussão e conclusões: Faz-se uma simulação do modo de apresentação dos resultados de acordo com os objectivos e hipóteses traçados tendo em conta a aplicação estatística considerada mais conveniente. Quanto ao ponto de discussão e conclusões dever-se-á após a realização do estudo comparar os resultados obtidos com os resultados de outros estudos análogos e no mesmo âmbito e tecer algumas considerações pertinentes sobre os mesmos. Assim seria importante sugerir novas orientações para outros estudos tendo em conta os resultados mais significativos que possam ser apurados e ainda ser reflectido e até apontado algumas respostas em termos de intervenção neste contexto.