A framework for memory contention analysis in multi-core platforms

The last decade has witnessed a major shift towards the deployment of embedded applications on multi-core platforms. However, real-time applications have not been able to fully benefit from this transition, as the computational gains offered by multi-cores are often offset by performance degradation due to shared resources, such as main memory. To efficiently use multi-core platforms for real-time systems, it is hence essential to tightly bound the interference when accessing shared resources. Although there has been much recent work in this area, a remaining key problem is to address the diversity of memory arbiters in the analysis to make it applicable to a wide range of systems. This work handles diverse arbiters by proposing a general framework to compute the maximum interference caused by the shared memory bus and its impact on the execution time of the tasks running on the cores, considering different bus arbiters. Our novel approach clearly demarcates the arbiter-dependent and independent stages in the analysis of these upper bounds. The arbiter-dependent phase takes the arbiter and the task memory-traffic pattern as inputs and produces a model of the availability of the bus to a given task. Then, based on the availability of the bus, the arbiter-independent phase determines the worst-case request-release scenario that maximizes the interference experienced by the tasks due to the contention for the bus. We show that the framework addresses the diversity problem by applying it to a memory bus shared by a fixed-priority arbiter, a time-division multiplexing (TDM) arbiter, and an unspecified work-conserving arbiter using applications from the MediaBench test suite. We also experimentally evaluate the quality of the analysis by comparison with a state-of-the-art TDM analysis approach and consistently showing a considerable reduction in maximum interference.

Towards the Certification of Multicore Platforms in the Avionics Domain

Poster presented in Work in Progress Session, The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Paper/Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Towards the Certification of Multicore Platforms in the Avionics Domain

Presented at Work in Progress Session, The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.

Simulação de Robôs Quadrúpedes Utilizando o SimMechanics

Desde sempre o Homem procurou automatizar tarefas repetitivas. Tanto na indústria como no sector doméstico ou de comércio estão constantemente a surgir novos equipamentos procurando aumentar o nível de automação de diversas tarefas. A necessidade de empresas criadoras de produtos inovadores se manterem concorrenciais obrigou à adopção de métodos de projecto e planeamento mais estruturados e eficientes que eliminem os desperdícios tanto de material como de tempo. Diversas construções em termos orçamentais e o aumento da procura de produtos de alta qualidade a baixo custo deu origem a um novo tipo de programas, os programas de simulação virtual. Tal como na indústria, também na investigação nas Instituições de Ensino Superior se procuram adoptar os métodos de trabalho mais eficientes possíveis. Uma parte dos programas de simulação robótica utilizados hoje em dia na investigação no Instituto Superior de Engenharia do Porto estão concebidos em linguagem C. Embora esta linguagem seja extremamente capaz, existem métodos mais adequados de simulação que aceleram o processo de modelação permitindo a visualização do movimento e simulação de diversas situações potencialmente criticas sem existir a necessidade de construção de um protótipo funcional do robô. Durante o último ano, este projecto permitiu construir um modelo de um robô quadrúpede num programa de simulação virtual chamado Simmechanics™. Embora haja já algum trabalho desenvolvido nesta área, constatou-se que a informação existente possuía algumas lacunas. Com o trabalho desenvolvido preparou-se esta dissertação que pretende clarificar algumas questões que surgem na modelação de um robô. Neste documento explica-se como modelar um robô de corpo flexível, modelar as pernas e as respectivas juntas da anca e do joelho assim como também se apresenta a modelação de um contacto com o solo recorrendo a um modelo descrito na literatura. Este documento foi escrito a pensar no leitor, procurando-se explicar de forma simples mas concisa os diversos passos necessários para construir um modelo virtual de um robô. O autor espera, desta forma, ajudar futuros colegas que pretendam trabalhar com o Simmechanics™ a mais facilmente se integrarem com o programa aumentando desta forma o declive da curva de aprendizagem e permitindo um maior aproveitamento desta ferramenta.

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Occurrence of antibodies against Leptospira spp. in horses of the urban area of Londrina, Paraná, Brazil

A total of 320 horses were studied in this paper, both male and female, between two and 17 years of age, which were used for traction of wagons in the urban area of the municipality of Londrina (PR). These animals were kept, after their daily work, in abandoned areas or plots, in the outskirts of the urban area of the city. When these animals were attended by the veterinarians, between 1996 and 2005, none of them presented symptoms suggesting leptospirosis. The most frequent reasons for the visit were loss of weight, unwillingness for work, parasitism, laminess, and wounds. Microscopic Seroagglutination Test (SAM), with 22 Leptospira serovars, was performed in sera sample from all these animals. The aim of this study was to investigate the occurrence of antibodies against Leptospira spp. in horses from the urban area of Londrina (PR). From the samples tested, 214 (66.88%) were considered positive, with titers between 100 and 3200, being that 49 (22.90%) presented antibodies against a single serovar of Leptospira, and 165 (77.10%) samples presented antibodies against two or more serovars simultaneously, where in 88 (53.33%) it was possible to characterize the most likely probable serovar. Antibodies against the serovar Icterohaemorrhagiae were detected in 32 (23.36%) animals.

Effects of Exercise on Physical and Mental Health, and Cognitive and Brain Functions in Schizophrenia: Clinical and Experimental Evidence

Exercise promotes several health benefits, such as cardiovascular, musculoskeletal and cardiorespiratory improvements. It is believed that the practice of exercise in individuals with psychiatric disorders, e.g. schizophrenia, can cause significant changes. Schizophrenic patients have problematic lifestyle habits compared with general population; this may cause a high mortality rate, mainly caused by cardiovascular and metabolic diseases. Thus, the aim of this study is to investigate changes in physical and mental health, cognitive and brain functioning due to the practice of exercise in patients with schizophrenia. Although still little is known about the benefits of exercise on mental health, cognitive and brain functioning of schizophrenic patients, exercise training has been shown to be a beneficial intervention in the control and reduction of disease severity. Type of training, form of execution, duration and intensity need to be better studied as the effects on physical and mental health, cognition and brain activity depend exclusively of interconnected factors, such as the combination of exercise and medication. However, one should understand that exercise is not only an effective nondrug alternative, but also acts as a supporting linking up interventions to promote improvements in process performance optimization. In general, the positive effects on mental health, cognition and brain activity as a result of an exercise program are quite evident. Few studies have been published correlating effects of exercise in patients with schizophrenia, but there is increasing evidence that positive and negative symptoms can be improved. Therefore, it is important that further studies be undertaken to expand the knowledge of physical exercise on mental health in people with schizophrenia, as well as its dose-response and the most effective type of exercise.

Metodologia BIM, aplicada à preparação, controlo e gestão de obra

O âmbito deste trabalho envolve o teste do modelo BIM numa obra em construção pela Mota-Engil – Engenharia, na extração experimental de peças desenhadas de preparação e apoio à execução de obra. No capítulo 1 deste relatório são definidos o âmbito e os objetivos deste trabalho, é feito um enquadramento histórico do tema e abordados conceitos e atividades da preparação de obra, na sua forma tradicional. O estado do conhecimento da preparação de obras e mais em concreto da tecnologia BIM a nível nacional e internacional é abordado no capítulo 2. Nesse sentido procura-se definir os conceitos principais inerentes a esta nova metodologia, que passa por identificar e caraterizar a tecnologia envolvida e o seu nível de desenvolvimento. Com suporte em casos práticos de preparação de obra na sua forma tradicional, identificados e desenvolvidos no capítulo 3, foi compilado um processo tipo de peças desenhadas de suporte identificadas e caracterizadas no capítulo 4, frequentes e comuns à execução de diversos tipos de obras de edifícios. Assente na compilação baseada em casos práticos e no estudo do projeto de execução da empreitada que sustenta o presente trabalho, com base no qual o modelo BIM foi concebido, identificou-se um conjunto de peças desenhadas de preparação e apoio à execução dos trabalhos, em 2D, a extrair do modelo. No capítulo 5, é feita uma descrição do modo como foi estudado o projeto da obra, com evidência para os fatores mais relevantes, especificando os desenhos a extrair. Suportada pelo programa de modelação ArchiCAD, a extração do conjunto de desenhos identificados anteriormente foi conseguida com recurso às funcionalidades disponíveis no software, que permite a criação de desenhos 2D atualizáveis ou não automaticamente a partir do modelo. Qualquer alteração introduzida no modelo virtual é automaticamente atualizada nos desenhos bidimensionais, caso o utilizador assim o pretenda. Ao longo desse trabalho foram detetados e analisados os condicionalismos inerentes ao processo de extração, referidos no capítulo 6, para estabelecimento de regras de modelação padrão a adotar em futuras empreitadas, que possam simplificar a obtenção dos elementos desenhados de preparação necessários à sua execução. No ponto 6.3 são identificadas melhorias a introduzir no modelo. Em conclusão no capítulo 7 são abordadas especificidades do setor da construção que sustentam e evidenciam cada vez mais a necessidade de utilizar as novas tecnologias com vista à adoção de práticas e ferramentas padrão de apoio à execução de obras. Sendo a tecnologia BIM, transversal a todo o setor, a sua utilização com regras padrão na conceção dos modelos e na extração de dados, potencia a otimização dos custos, do tempo, dos recursos e da qualidade final de um empreendimento, ao longo de todo o seu ciclo de vida, para além de apoiar com elevada fiabilidade as tomadas de decisão ao longo desse período. A tecnologia BIM, possibilita a antevisão do edifício a construir com um elevado grau de pormenor, com todas as vantagens que daí advêm.

Relatório de estágio em educação pré-escolar e ensino do 1º ciclo do ensino básico

O presente documento, intitulado Relatório de Estágio de Qualificação Profissional, constitui uma reflexão crítica, em relação à experiência vivenciada nos contextos educativos de Educação Pré-Escolar e Ensino do 1. Ciclo do Ensino Básico, no âmbito da unidade curricular de Prática Pedagógica Supervisionada. Este relatório resulta de um quadro teórico conceptual rigoroso, visando o alcance dos objetivos delineados no programa da unidade curricular supramencionada, assim como o desenvolvimento de competência e de saberes, designadamente do perfil específico de desempenho do professor de 1.º Ciclo do Ensino Básico e do Educador de Infância. A ação pedagógica desenvolvida pela formanda, nos centros educativos, foi pautada pela metodologia de investigação-ação, que deve ser a base da prática de qualquer educador/professor na medida em que figurou-se improrrogável a ocorrência de momentos de observação intencional, de planificação e de intervenção no terreno, de reflexão crítica e sistemática, visível nas narrativas individuais e colaborativas, de avaliação individualizada dos alunos, estimulando diferentes momentos de diferenciação pedagógica, bem como de adequação da ação aos contextos educativos, levando a uma presente reflexão crítica sistemática. A pesquisa constituiu, também, uma referência eloquente para encontrar soluções eficazes aos desafios quotidianos. Importa, ainda salvaguardar que a referida, para além de sustentar o desenvolvimento da ação educativa, alicerçou o processo construtivista de crescimento pessoal e profissional da formanda, que assumiu uma atitude indagadora, crítica e reflexiva. De relevar o trabalho colaborativo em díade pela mais-valia neste processo de formação, uma vez que potenciou a partilha de saberes, de experiências, e reflexões importantes para o aperfeiçoamento da prática pedagógica. Assim, este relatório espelha o processo dinâmico de formação contribuindo para a construção da identidade profissional da futura educadora e professora.

A Communication Intervention for Training Southern European Oncologists to Recognize Psychosocial Morbidity in Cancer. I - Development of the Model and Preliminary Results on Physicians' Satisfaction

BACKGROUND: The detection of psychosocial distress is a significant communication problem in Southern Europe and other countries. Work in this area is hampered by a lack of data. Because not much is known about training aimed at improving the recognition of psychosocial disorders in cancer patients, we developed a basic course model for medical oncology professionals. METHODS: A specific educational and experiential model (12 hours divided into 2 modules) involving formal teaching (ie, journal articles, large-group presentations), practice in small groups (ie, small-group exercises and role playing), and discussion in large groups was developed with the aim of improving the ability of oncologists to detect emotional disturbances in cancer patients (ie, depression, anxiety, and adjustment disorders). RESULTS: A total of 30 oncologists from 3 Southern European countries (Italy, Portugal, and Spain) participated in the workshop. The training course was well accepted by most participants who expressed general satisfaction and a positive subjective perception of the utility of the course for clinical practice. Of the total participants, 28 physicians (93.3%) thought that had they been exposed to this material sooner, they would have incorporated the techniques received in the workshop into their practices; 2 participants stated they would likely have done so. Half of the doctors (n = 15) believed that their clinical communication techniques were improved by participating in the workshop, and the remaining half thought that their abilities to communicate with cancer patients had improved. CONCLUSIONS: This model is a feasible approach for oncologists and is easily applicable to various oncology settings. Further studies will demonstrate the effectiveness of this method for improving oncologists skills in recognizing emotional disorders in their patients with cancer.

Insights into human carboxylesterase 2 stability and activity in vivo and in vitro

Dissertation to obtain a Master Degree in Biotechnology

Impacto do funcionamento do sistema AVAC nos Consumos Específicos de Energia no fabrico de Massas

O estágio descrito por este relatório efetuou-se na fábrica Massas 1 da empresa Cerealis Produtos Alimentares S.A., situada em Águas Santas e teve como principal objetivo o estudo do impacto energético da instalação de um sistema de Aquecimento, Ventilação e Ar Condicionado (AVAC) nos Consumos Específicos de Energia (CEE) da fábrica. Com o intuito de promover a familiarização com o ambiente da empresa e com o próprio processo produtivo efetuaram-se várias visitas à fábrica Massas 1. Acompanhou-se a produção diária realizada e o funcionamento do equipamento, e pôde-se questionar os colaboradores da fábrica sobre o processo. Ao longo do tempo de estágio recolheram-se vários dados, nomeadamente valores de temperatura e de humidade relativa do ar da fábrica, consumos de energia elétrica e de gás natural, volumes de produção e dados relativos à qualidade da massa. Relativamente ao CEE, fez-se uma comparação entre quatro meses abrangidos pelo presente trabalho, nos quais o novo sistema AVAC já se encontrava em funcionamento, e os meses homólogos do ano anterior. Confrontando os valores obtidos verificou-se uma diminuição de 2,6% no valor global de CEE, apresentando este um valor de 82,51 kgep/ton até ao mês de Setembro do presente ano. Analisando os valores de CEE da energia elétrica e do gás natural separadamente, constatou-se igualmente uma diminuição dos seus valores em 1,4% e 4,2%, respetivamente. Efetuou-se também uma comparação entre o antigo e o novo sistema AVAC no que respeita às condições de temperatura e de humidade do ar interior da fábrica. Para isso efetuaram-se medições de temperatura e de humidade relativa do ar interior da fábrica, tendo-se concluído que após a instalação do novo AVAC ocorreu uma diminuição da temperatura e um aumento da humidade relativa do ar, tal como desejado. Antes da instalação do novo AVAC a gama de temperaturas no interior da fábrica era de 32,4°C a 39,7°C e a gama de humidades de 39,7% a 58,6%. Já depois da instalação, a gama de temperaturas e de humidades passou a ser de 26,6°C a 33,5°C e de 45,8% a 59,1%, respetivamente Realizou-se ainda uma comparação relativa à qualidade do produto final, tendose para isso analisado ensaios de cozedura e de teor de humidade. Desta comparação, concluiu-se que de uma forma geral houve um aumento dos teores de humidade dos diferentes tipos de massa, encontrando-se agora uma maior percentagem dentro da gama de valores pretendida que se situa entre os 11,5% e os 12,5%.