A framework for the development of parallel and distributed real-time embedded systems

Embedded real-time applications increasingly present high computation requirements, which need to be completed within specific deadlines, but that present highly variable patterns, depending on the set of data available in a determined instant. The current trend to provide parallel processing in the embedded domain allows providing higher processing power; however, it does not address the variability in the processing pattern. Dimensioning each device for its worst-case scenario implies lower average utilization, and increased available, but unusable, processing in the overall system. A solution for this problem is to extend the parallel execution of the applications, allowing networked nodes to distribute the workload, on peak situations, to neighbour nodes. In this context, this report proposes a framework to develop parallel and distributed real-time embedded applications, transparently using OpenMP and Message Passing Interface (MPI), within a programming model based on OpenMP. The technical report also devises an integrated timing model, which enables the structured reasoning on the timing behaviour of these hybrid architectures.

An improved preemption delay upper bound for floating non-preemptive region

In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.

A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

Determinant factors of turnover versus permanence of portuguese repatriates: an exploratory study

The study seeks to identify the determinant factors of the repatriate’s decision to remain or leave the company after repatriation, in a convenience sample of 40 Portuguese returnees working in companies based in Portugal. The main results were as follows: (1) there are seven factor categories: (a) salaries and benefits; (b) possibility of promotion, development, professional development; (c) organizational support (during and after the international mission) recognition of work; (d) economic and social atmosphere of the company, (e) good relationship with leadership; (f) convenience and/or personal / family well-being and; (g) external alternatives; (2) the main factors leading to permanence are (a) possibility of promotion, development and professional development and; (b) the existence of personal and family well-being / convenience; (3) the main factors leading to abandonment are (a) lack of organizational support and recognition of work performed; (b) lack of possibility of promotion, development and professional development and; (c) lack of personal / family well-being / convenience. Globally, the study suggests that the factors leading to permanence are very similar to those that lead to abandonment, although in reverse.

Inovação de técnicas administrativas para o melhoramento de desempenho das atividades organizacionais

Dissertação apresentada ao Instituto Politécnico do Porto - Instituto Superior de Contabilidade e Administração do Porto, para obtenção do Grau de Mestre em Assessoria e Administração de Organizações, sob orientação de Anabela Mesquita, PhD

Fiscalização de obras e vistorias técnicas no âmbito da reabilitação urbana no centro histórico do Porto

O presente trabalho enquadra-se no âmbito da unidade curricular Dissertação/Projeto/Estágio (DIPRE), do 2º ano do Mestrado em Engenharia Civil no ramo das Construções do Instituto Superior de Engenharia do Porto. O estágio foi realizado na empresa Porto Vivo, SRU- Sociedade de Reabilitação Urbana da Baixa Portuense, SA, com a duração de seis meses, com início a 24 de fevereiro de 2014 e término a 24 de agosto de 2014. O estágio obedeceu a uma carga horária de 40 horas semanais, de segunda a sexta-feira, no horário normal de expediente das 9h as 18h. Com a realização deste estágio curricular pretende-se que os alunos tenham contacto direto com a realidade de trabalho duma determinada Organização, e que após o período de estágio o aluno elabore um relatório final referente ao mesmo. Assim, o presente relatório descreve as atividades realizadas e observadas, os conhecimentos aplicados durante o estágio, bem como a apresentação e o funcionamento da empresa de acolhimento, e tratando-se de uma empresa cuja atividade profissional centra-se na reabilitação urbana será também abordada a temática da reabilitação Urbana no centro Histórico do Porto. Por último será desenvolvido um caso de estudo onde se apresenta uma metodologia possível de reabilitação proposta a um edifício.

Ensino de contabilidade geral nas instituições de ensino superior

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação da Professora Doutora Alcina Augusta de Sena Portugal Dias

Intervenção centrada no brincar: um estudo de caso em criança institucionalizada

Dentro dos vários processos de Intervenção Precoce, elegemos o brincar, enquanto ato sempre presente na criança. Na revisão de literatura verifica-se uma quase inexistência de estudos de Intervenções centradas no jogo em crianças institucionalizadas desde os 0 anos. Assim, partimos de duas questões fulcrais: quais os riscos associados à institucionalização prolongada e precoce, e de que modo o jogo e o brincar potenciam o desenvolvimento e a aprendizagem da criança em risco biológico e sociocultural. O presente estudo tem como objetivo promover, através de um estudo de caso, a relação do lúdico com o desenvolvimento e a aprendizagem, imprescindíveis numa criança em situação de institucionalização. Partimos da problemática da institucionalização infantil, expondo os diversos trabalhos apresentados pela revisão bibliográfica relativamente aos riscos associados à condição de institucionalização. Os diversos estudos sublinham que, efetivamente, não será a única solução para as crianças em risco, apontando para a legislação atual que prevê o acolhimento familiar como solução viável e mais ajustada às necessidades das crianças. Apresentamos ainda a teoria do desenvolvimento de Vygotsky como fundamento teórico-prático deste trabalho de intervenção centrada no brincar.

Ensemble: an innovative approach to practice computer programming

Currently, the teaching-learning process in domains, such as computer programming, is characterized by an extensive curricula and a high enrolment of students. This poses a great workload for faculty and teaching assistants responsible for the creation, delivery, and assessment of student exercises. The main goal of this chapter is to foster practice-based learning in complex domains. This objective is attained with an e-learning framework—called Ensemble—as a conceptual tool to organize and facilitate technical interoperability among services. The Ensemble framework is used on a specific domain: computer programming. Content issues are tacked with a standard format to describe programming exercises as learning objects. Communication is achieved with the extension of existing specifications for the interoperation with several systems typically found in an e-learning environment. In order to evaluate the acceptability of the proposed solution, an Ensemble instance was validated on a classroom experiment with encouraging results.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Dimensionar a logística interna da fábrica Toyota Ovar para a produção de nova viatura

O projeto foi realizado na Toyota (divisão fabril de Ovar), no ano letivo 2014/2015, teve por base um estágio extracurricular que foi realizado para que desta forma tomasse contacto com uma realidade concreta e absoluta no contexto empresarial. O estágio serviu, principalmente, como uma experiência na compreensão do funcionamento de uma indústria de automóveis. Este projeto desenvolve-se no âmbito do 2ºano do Mestrado de Logística e apresenta os contributos desenvolvidos no departamento de logística para a reorganização da mesma para a produção de um novo modelo automóvel. Atualmente, a Toyota, para os modelos de automóveis que produz, recebe os componentes em CKD (Completed Knocked Down) provenientes do Japão em lotes de cinco unidades. Estes lotes são armazenados no armazém, de onde só saem quando for dada ordem para serem produzidos. Cada lote tem várias caixas, que são colocadas à vez numa zona comum de abertura. São retidos os componentes das caixas CKD e colocados nos transportadores próprios dos postos correspondentes (supermercado de linha). Isto significa que sempre que é solicitado uma viatura de um determinado lote, são obrigados a produzir as cinco unidades. Isto significa que as restantes unidades do lote terão que ficar em parque aberto a aguardar venda futura, para além de ter um stock desnecessário, estas unidades ficam vulneráveis e sofrem desgaste, pois estão expostas à intempérie, causando graves problemas de qualidade e respetivos custos associados. Recentemente, foi decidida a produção do modelo Land Cruiser 70 na unidade industrial de Ovar, Portugal, o que obrigou a uma reorganização da produção e processos logísticos para a sua produção. Os objetivos que a empresa pretende com a entrada de um novo projeto Land Cruiser 70, são os seguintes: Alterar o sistema de abastecimento, implementando o abastecimento unitário em toda a fábrica para o novo modelo, garantindo o “one by one production”; Definir o funcionamento do processo logístico desde a chegada dos componentes até ficarem disponíveis no supermercado de linha. Para isso será necessário dimensionar armazém e zona de abertura, definir layouts e quantidade de stocks, bem como definir sistemas de comunicação entre abertura e supermercado; Verificar as peças que vão fazer parte do chassi por posto e contabilizar os dolly´s1 necessários; Fazer o layout de abastecimento da linha do chassi; Calcular o tempo de abertura, de abastecimento e de picking do chassi e de triming. Este projeto tem em conta a política de melhoria contínua de forma a conseguir satisfazer o cliente (ser eficaz) utilizando cada vez menos recursos quer físicos quer humanos (ser eficiente, detetar e eliminar os desperdícios). O presente projeto foi inserido na equipa de melhoria contínua da logística, maioritariamente no chassi. Em termos globais, os objetivos propostos neste estágio foram atingidos com êxito.

Ser intérprete em Portugal

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação da Doutora Sara Cerqueira Pascoal