Efficient schedulability tests for real-time embedded systems with urgent routines

Task scheduling is one of the key mechanisms to ensure timeliness in embedded real-time systems. Such systems have often the need to execute not only application tasks but also some urgent routines (e.g. error-detection actions, consistency checkers, interrupt handlers) with minimum latency. Although fixed-priority schedulers such as Rate-Monotonic (RM) are in line with this need, they usually make a low processor utilization available to the system. Moreover, this availability usually decreases with the number of considered tasks. If dynamic-priority schedulers such as Earliest Deadline First (EDF) are applied instead, high system utilization can be guaranteed but the minimum latency for executing urgent routines may not be ensured. In this paper we describe a scheduling model according to which urgent routines are executed at the highest priority level and all other system tasks are scheduled by EDF. We show that the guaranteed processor utilization for the assumed scheduling model is at least as high as the one provided by RM for two tasks, namely 2(2√−1). Seven polynomial time tests for checking the system timeliness are derived and proved correct. The proposed tests are compared against each other and to an exact but exponential running time test.

Inovação no modelo de negócio: o caso do setor grossista alimentar em Portugal

Dissertação apresentada ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Empreendedorismo e Internacionalização Orientada por Professor Doutor José de Freitas Santos

Factores de rentabilização do processo de serragem de granitos com engenhos multi-lâminas

Este trabalho visa apresentar um enquadramento da realidade económica e industrial do sector transformador de granitos ornamentais em Portugal e fazer uma análise do processo de serragem, com engenhos multi-lâminas e granalha de aço, na medida em que este é o método de seccionamento de blocos de granito mais utilizado pelas grandes indústrias do sector. Tendo em conta a importância económica desta operação produtiva na indústria em causa, foi definido como fito deste projecto a análise estatística dos custos de produção; a definição de fórmulas de cálculo que permitam prever o custo médio de serragem; e o estudo de soluções economicamente viáveis e ambientalmente sustentáveis para o problema das lamas resultantes do expurgo dos engenhos. Para a persecução deste projecto foi realizada uma recolha de dados implementando rotinas de controlo e registo dos mesmos, em quadros de produção normalizados e de fácil preenchimento, pelos operadores destes equipamentos. Esta recolha de dados permitiu isolar, quantificar e formular os factores de rentabilização do processo de serragem selecionando, dentro da amostra de estudo obtida, um conjunto de serragens com características similares e com valores próximos dos valores da média estatística. Apartir dos dados destas serragens foram geradas curvas de tendência polinomial com as quais se analisaram as variações provocadas no custo médio de serragem, pelas variações do factor em estudo. A formulação dos factores de rentabilização e os dados estatísticos obtidos permitiram depois o desenvolvimento de fórmulas de cálculo do custo médio de serragem que establecem o custo de produção diferenciado em função das espessuras com, ou sem, a incorporação dos factores de rentabilização. Como consequência do projecto realizado obteve-se um conjunto de conclusões util, para o sector industrial em causa, que evidencia a importancia da Ocupação dos engenhos e rentabilização de um espaço confinado, da Resistência oferecida à serragem pelos granitos, e da Diferença de altura entre os blocos de uma mesma carga, nos custos de transformação.

Voices in search of a reader: the polyphonic writing of António Lobo Antunes

This paper aims at analysing the writing of the Portuguese author António Lobo Antunes, considered one of the major writers in European Literature with 26 books published, by focusing on the strategies deployed in his texts of creating micro-narratives within the main frame, and conveying the elements of individual and collective memory, past and present, the self and the others, using various voices and silences. Lobo Antunes incorporates in his writing his background as a psychiatrist at a Mental Hospital in Lisbon, until 1985 (when he decided to commit exclusively to writing), his experience as a doctor in the Portuguese Colonial War battlefield, but also the daily routines of the pre and post 25th of April 1974 (Portuguese Revolution) with subtle and ironic details of the life of the middle and upper class of Lisbon‘s society: from the traumas of the war to the simple story of the janitor, or the couple who struggles to keep their marriage functional, everything serves as material to develop and interweave a complex plot, that a lot of readers find too enwrapped and difficult to follow through. Some excerpts taken from his first three novels and books of Chronicles and his later novel – Ontem não te Vi em Babilónia (2006) – will be put forward to exemplify the complexity of the writing and the main difficulties of the reader, lost in a multitude of narrators‘ voices. Recently, Lobo Antunes has commented on his work stating: What I write can be read in the darkness. This paper aims at throwing some light by unfolding some of the strategies employed to defy new borders in the process of reading.

Problemática associada à utilização de diferentes tipos de mochila para transporte de material escolar

O transporte de cargas é uma tarefa comum para crianças, adolescentes e adultos, pela necessidade de transferência diária de objetos pessoais, livros e artigos de papelaria para os locais de trabalho ou escolas. Diversos autores apontam que o peso carregado durante transporte de material é o principal responsável pelo aparecimento de dor lombar. Deste modo é importante o constante estudo da temática para a definição recomendações e limites. O presente estudo teve como principais objetivos a caraterização da problemática associada à utilização de mochilas e a determinação do Peso Máximo Aceitável (PMA) e do Índice de Esforço Percebido (IEP) para a tarefa de transporte de mochilas, através da abordagem psicofísica. O estudo foi desenvolvido com estudantes do 7º, 8º e 9º ano de escolaridade e, foi dividido em duas fases. Na 1ª fase foram aplicados questionários para a análise da problemática associada à utilização de diferentes tipos de mochilas escolares. Nesta fase, foram incluídos aspetos associados à identificação do tipo de mochila mais utilizada, as rotinas e hábitos dos estudantes e as características da mochila utilizada. Verificou-se que os estudantes utilizam, maioritariamente, a mochila de duas alças para transporte de material escolar. Posteriormente foram efetuadas medições de peso da mochila, altura e peso aos 131 estudantes que constituíram a amostra da 1º fase. O principal objetivo deste ponto foi identificar o tipo de mochila habitualmente utilizada pelos estudantes assim como, o peso transportado nas mochilas. Na 2ª fase foi efetuado um estudo para a determinação do PMA e do IEP, através da abordagem psicofísica, para a tarefa de transporte de mochila, considerando-se uma amostra constituída por 10 estudantes. Para este estudo, apenas foi considerada a mochila mais frequentemente utilizada, identificada na 1º fase. A tarefa consistiu no transporte da mochila nos dois ombros e com as alças devidamente ajustadas ao corpo, num percurso pré-definido, de acordo com o procedimento experimental. Os resultados indicaram que nem todos os estudantes transportam mochilas com pesos dentro das recomendações da Organização Mundial de Saúde. O PMA determinado pelos estudantes foi de 6.8 kg para a mochila de duas alças e a região dos ombros foi identificada durante todo o estudo como sendo a que apresentava maior intensidade de dor durante o transporte da mochila.

Compositional multiprocessor scheduling: the GMPR interface

Composition is a practice of key importance in software engineering. When real-time applications are composed, it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface typically contains information about the amount of computing capacity needed by the application. For multiprocessor platforms, the interface should also present information about the degree of parallelism. Several interface proposals have recently been put forward in various research works. However, those interfaces are either too complex to be handled or too pessimistic. In this paper we propose the generalized multiprocessor periodic resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We then derive a method to compute the interface from the application specification. This method has been implemented in Matlab routines that are publicly available.

Práticas de contabilidade e controlo de gestão no setor automóvel

Dissertação apresentada para obtenção do Grau de Mestre em Contabilidade e Finanças, sob orientação de: Amélia Ferreira da Silva José António Fernandes Lopes Oliveira Vale

Famílias de filhos com incapacidades: desafios e redes de suporte

A satisfação das necessidades de apoio dos pais com filhos com incapacidades, cujo nascimento implica alterações no equilíbrio da estrutura familiar, é essencial não só para o bem-estar dos pais, mas para o desenvolvimento dos filhos. Foi sob este argumento que surgiu o interesse pelo estudo das redes de suporte, como estratégia de coping, no apoio às necessidades das famílias. O objetivo deste estudo consistiu em avaliar as necessidades de apoio de 226 pais de crianças, jovens e adultos com incapacidade que participaram no 1º nível das Oficinas de Pais – Grupo de Apoio Emocional (GAE), designadamente: (1) os tipos de apoio identificados pelos pais como alvo de maior necessidade; (2) as redes de suporte; (3) a relação entre as necessidades de apoio e as características dos pais/família e filhos com incapacidades. Pretendíamos também avaliar em que medida a oficina produziu mudanças nas suas necessidades de apoio. Para tal, administrámos, antes e após o GAE, a Escala de Funções de Apoio e a Escala de Apoio Social, (Dunst, Trivette, & Deal, 1988). Os resultados mostraram que as necessidades parecem relacionar-se com: (i) apoios nos aspetos práticos do quotidiano; (ii) apoio emocional; (iii) apoio dos serviços e dos profissionais de saúde e de educação. É ao nível do apoio emocional que os pais revelam maiores necessidades de ajuda. Os pais de crianças mais novas reportam maior necessidade de ajuda, nos aspetos práticos do quotidiano e dos serviços/profissionais de saúde e de educação. Adicionalmente, o grau de necessidade aumentou no final da formação.

Desenvolvimento de programação offline e de novos processos robotizados de lixamento

Atualmente a vantagem competitiva de uma empresa passa pela sua rápida adaptação às variações de procura do mercado, sendo necessário garantir elevados níveis de produtividade e, simultaneamente, grande flexibilidade, indispensável ao fabrico de pequenos lotes. A necessidade de ajuste do processo e a diminuição da média de vida do produto levam a paragens cada vez mais frequentes da célula de fabrico para programação e afinação, com consequentes perdas de produtividade. De forma a dar resposta a estes problemas, neste trabalho é testada a viabilidade da utilização da programação e simulação offline de tarefas de lixamento na Grohe Portugal, complementando a solução com o desenvolvimento de um novo método de afinação do programa, permitindo uma adaptação às flutuações do processo produtivo. Para isso foi necessário analisar o estado da arte dos robôs industriais na área de acabamento superficial e respetivos métodos de programação. Em seguida, após um trabalho prévio rigoroso de preparação e modelação da célula de trabalho, é possível fazer a programação offline das várias rotinas e trajetórias complexas que compõem um ciclo de lixamento de um produto, contribuindo para o aumento da qualidade do produto final sem comprometer os níveis de produtividade. Nesta dissertação são descritos e detalhados alguns dos procedimentos fulcrais no sucesso da aplicação deste método de programação. Por último é feita uma nova abordagem ao método de ajuste ponto-a-ponto convencional, desenvolvendo-se para isso um sistema de ajuste automático do programa, dotando o robô da capacidade de se adaptar às variações do processo, assegurando a consistência do mesmo. Foram realizados testes em pequena escala, extrapolando-se os resultados para a aplicação deste novo método no processo produtivo da Grohe Portugal, como forma de complemento ao método convencional de ajuste ponto-a-ponto do programa, reduzindo o tempo de paragem da célula de trabalho.

A expansão sistematizada de oportunidades de escolha como estratégia de suporte à participação

Baseado nos pressupostos subjacentes às práticas pedagógicas centradas na criança, este estudo tem por objetivo analisar a perspetiva dos educadores de infância sobre a promoção de oportunidades de escolha em contextos de ensino pré-escolar, tendo por referência o processo de inclusão de crianças com necessidades adicionais de suporte, bem como examinar os efeitos de um programa de intervenção, centrado na expansão de oportunidades de escolha, na participação de uma criança em situação de incapacidade. A fim de responder ao primeiro objetivo foi auscultada a opinião de 71 educadores de infância, através de uma pesquisa por inquérito. Já para o escrutínio dos efeitos do programa de intervenção, foi desenvolvido um estudo de caso único, tipo AB, avaliando o seu impacte na participação de uma criança de 4 anos com Paralisia Cerebral, através do uso de grelhas de observação e de uma entrevista semiestruturada à educadora. Os resultados sugerem que existe uma diferença significativa na facilidade de implementação de oportunidades de escolha, quando consideradas crianças com desenvolvimento típico e com necessidades adicionais de suporte, que parece também variar em função das diferentes rotinas do contexto pré-escolar e correlacionar-se com o nível de severidade da incapacidade. As características das crianças e as exigências curriculares são entendidas como as principais barreiras à implementação destas práticas. Os resultados sugerem, ainda, que o programa de intervenção – baseado no planeamento de oportunidades de escolha embebidas nos diferentes momentos da rotina do contexto pré-escolar - teve impacte positivo na participação da criança, com expansão dos indicadores de envolvimento, interação/comunicação e satisfação

Adaptação do programa PAC-Pórticos ao EC2 e sua integração com o conceito BIM

Atualmente existe uma grande variedade de programas de cálculo automático de estruturas de betão armado disponíveis no mercado, pois estes, cada vez mais, são inerentes ao desenvolvimento de cada projeto de estruturas. O PAC-Pórticos foi um dos primeiros a chegar ao mercado nacional surgindo no início da década de noventa. Foi totalmente desenvolvido em Portugal, tendo tido bastante sucesso nas suas vendas a nível nacional. O PAC-Pórticos não está preparado para operar diretamente nos mais recentes sistemas operativos nem foi programado para dimensionar os diversos elementos de betão armado seguindo os termos das normas mais recentes (Eurocódigos). O tema do presente trabalho vai de encontro aos atuais problemas do programa, assim sendo, definiu-se como primeiro objetivo a adaptação do PAC-Pórticos à regulamentação europeia para o betão armado. Numa 1ª fase, para a adaptação do PAC-Pórticos aos novos códigos, foi necessário estudar o programa em si, perceber o seu funcionamento e posteriormente realizar uma comparação entre a legislação para qual o software está programado, o Regulamento de Estruturas de Betão Armado e Pré-Esforçado (ainda em vigor) e a Norma Europeia correspondente a EN 1992-1-1 (Eurocódigo 2). Seguidamente, procedeu-se ao estudo e adaptação de todas as sub-rotinas de cálculo do PAC-Pórticos para o dimensionamento de vigas e pilares, tendo finalmente sido testado o novo código e comprovados os resultados obtidos com o mesmo. Na realização do presente trabalho, não foi ignorada a importância crescente da metodologia BIM que, nos dias de hoje, tende a ser implementada nos programas de cálculo de engenharia civil. Neste âmbito, o segundo objetivo é o de conseguir visualizar uma solução obtida do PAC-Pórticos numa qualquer ferramenta tridimensional BIM. Para tal, foram ponderadas várias hipóteses, mas optou-se por criar dois plug-in para o programa AutoCAD da Autodesk. O primeiro destes plug-in contempla o desenho das vigas e o segundo para os pilares, ambos em 3D e elaborados de forma automática.

Desenvolvimento de uma rotina em Excel para Cálculo de Perdas de Pré-Esforço de acordo com EC2

O presente trabalho teve como objetivo o desenvolvimento de uma folha de cálculo em MS-Excel para cálculo de perdas de pré-esforço, utilizando rotinas programadas em Visual Basic. Neste relatório, após o capítulo introdutório onde são descritos os conceitos teóricos que sustentam o trabalho, descreve-se a aplicação desenvolvida e apresentam-se alguns exemplos de validação da mesma. A aplicação executa o cálculo das perdas de pré-esforço por pós-tensão e calcula a geometria do cabo, disponibilizando no final a representação gráfica das perdas para o cabo em estudo. Para além dos exemplos de validação referidos, são ainda apresentados os resultados obtidos por aplicação da folha de cálculo desenvolvida a uma situação real de projeto que surgiu durante a realização do estágio. A parte final do relatório é dedicada à apresentação das conclusões assim como a algumas sugestões para desenvolvimentos futuros.