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.

Aplicação do Ensaio de Porta Ventiladora ao Regulamento das Características de Comportamento Térmico dos Edifícios

Com a crescente sensibilização mundial relativa ao aquecimento global, provocado pela alta quantidade de emissão de gases com efeito de estufa, torna-se imperativa a redução de consumos de combustíveis fósseis e consecutivas emissões. Ao nível da construção civil, uma intervenção eficaz na prevenção de perdas de ar aquecido poderá levar a diminuições superiores a 50% na utilização de energia. Este trabalho pretende estudar a importância da eficiência energética nos edifícios, com especial enfoque na sua permeabilidade ao ar. O ensaio de porta ventiladora permite avaliar esta permeabilidade e identificar os locais onde se dão as infiltrações, nomeadamente com auxílio da câmara térmica. O principal objectivo é estudar a aplicação deste ensaio na legislação em desenvolvimento no âmbito da certificação energética, através da comparação dos resultados de quatro habitações distintas. Também ao nível da eficiência energética, será obtida a classe energética, segundo a legislação em vigor à corrente data em Portugal, de uma das habitaçãoes ensaiadas e propostas medidas de melhoria para o desempenho energético desta. Do estudo efectuado é destacado o facto de o valor de renovações horárias do ar interior de uma fracção ser sempre inferior quando obtido unicamente através da legislação em desenvolvimento, em comparação com a obtenção deste através da legislação com auxílio do ensaio da porta ventiladora, o que leva a um grande desincentivo na utilização deste.