Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

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..

Buildings Sustainability: The HVAC Contribution

A very important part of the globally produced energy is consumed in buildings, being an important share frequently used in the HVAC systems. These ones are increasing both in performance and in complexity, taking advantage from the use of the recent advances in mechanical and power electronic devices, particularly in the speed variation field. However the improved efficiency only occurs while the HVAC unit is working in the conditions specified by the manufacturer, otherwise the energy consumption raises to values considerably higher than the nominal ones. The adequate maintenance enforces the system to run on its nominal performance and the contrary has undesirable impact both in the performance and in the system expected life time. Therefore, HVAC field maintenance assumes a very important role in the global building sustainability concept. This work presents some results of an incorrect use of HVAC and the associated electric energy overconsumption that can assume values 50% higher than those that occur when the installation is operated according to the adequate maintenance plan.

Real-time Parallel Applications on Many-core Architectures

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Run-time Monitoring Architecture for RealTime Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

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.

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

Evaluating vehicle painting plans in an automobile assembly plant using an integrated AHP-PROMETHEE approach

The painting activity is one of the most complex and important activities in automobile manufacturing. The inherent complexity of the painting activity and the frequent need for repainting usually turn the painting process into a bottleneck in automobile assembly plants, which is reflected in higher operating costs and longer overall cycle times. One possible approach for optimizing the performance of the paint shop is to improve the efficiency of the color planning. This can be accomplished by evaluating the relative merits of a set of vehicle painting plans. Since this problem has a multicriteria nature, we resort to the multicriteria decision analysis (MCDA) methodology to tackle it. A recent trend in the MCDA field is the development of hybrid approaches that are used to achieve operational synergies between different methods. Here we apply, for the first time, an integrated approach that combines the strengths of the analytic hierarchy process (AHP) and the Preference Ranking Organization METHod for Enrichment Evaluations (PROMETHEE), aided by Geometrical Analysis for Interactive Aid (GAIA), to the problem of assessing alternative vehicle painting plans. The management of the assembly plant found the results of value and is currently using them in order to schedule the painting activities such that an enhancement of the operational efficiency of the paint shop is obtained. This efficiency gain has allowed the management to bid for a new automobile model to be assembled at this specific plant.

The characteristic time of glucose diffusion measured for muscle tissue at optical clearing

The study of agent diffusion in biological tissues is very important to understand and characterize the optical clearing effects and mechanisms involved: tissue dehydration and refractive index matching. From measurements made to study the optical clearing, it is obvious that light scattering is reduced and that the optical properties of the tissue are controlled in the process. On the other hand, optical measurements do not allow direct determination of the diffusion properties of the agent in the tissue and some calculations are necessary to estimate those properties. This fact is imposed by the occurrence of two fluxes at optical clearing: water typically directed out of and agent directed into the tissue. When the water content in the immersion solution is approximately the same as the free water content of the tissue, a balance is established for water and the agent flux dominates. To prove this concept experimentally, we have measured the collimated transmittance of skeletal muscle samples under treatment with aqueous solutions containing different concentrations of glucose. After estimating the mean diffusion time values for each of the treatments we have represented those values as a function of glucose concentration in solution. Such a representation presents a maximum diffusion time for a water content in solution equal to the tissue free water content. Such a maximum represents the real diffusion time of glucose in the muscle and with this value we could calculate the corresponding diffusion coefficient.

Cross-Layer Admission Control to Enhance the Support of Real-Time Applications in WSN

Real-time monitoring applications may be used in a wireless sensor network (WSN) and may generate packet flows with strict quality of service requirements in terms of delay, jitter, or packet loss. When strict delays are imposed from source to destination, the packets must be delivered at the destination within an end-to-end delay (EED) hard limit in order to be considered useful. Since the WSN nodes are scarce both in processing and energy resources, it is desirable that they only transport useful data, as this contributes to enhance the overall network performance and to improve energy efficiency. In this paper, we propose a novel cross-layer admission control (CLAC) mechanism to enhance the network performance and increase energy efficiency of a WSN, by avoiding the transmission of potentially useless packets. The CLAC mechanism uses an estimation technique to preview packets EED, and decides to forward a packet only if it is expected to meet the EED deadline defined by the application, dropping it otherwise. The results obtained show that CLAC enhances the network performance by increasing the useful packet delivery ratio in high network loads and improves the energy efficiency in every network load.

Fractional State Space Analysis of Temperature Time Series

Atmospheric temperatures characterize Earth as a slow dynamics spatiotemporal system, revealing long-memory and complex behavior. Temperature time series of 54 worldwide geographic locations are considered as representative of the Earth weather dynamics. These data are then interpreted as the time evolution of a set of state space variables describing a complex system. The data are analyzed by means of multidimensional scaling (MDS), and the fractional state space portrait (fSSP). A centennial perspective covering the period from 1910 to 2012 allows MDS to identify similarities among different Earth’s locations. The multivariate mutual information is proposed to determine the “optimal” order of the time derivative for the fSSP representation. The fSSP emerges as a valuable alternative for visualizing system dynamics.

SHõWA: A Self-healing Framework for Web-based Applications

The complexity of systems is considered an obstacle to the progress of the IT industry. Autonomic computing is presented as the alternative to cope with the growing complexity. It is a holistic approach, in which the systems are able to configure, heal, optimize, and protect by themselves. Web-based applications are an example of systems where the complexity is high. The number of components, their interoperability, and workload variations are factors that may lead to performance failures or unavailability scenarios. The occurrence of these scenarios affects the revenue and reputation of businesses that rely on these types of applications. In this article, we present a self-healing framework for Web-based applications (SHõWA). SHõWA is composed by several modules, which monitor the application, analyze the data to detect and pinpoint anomalies, and execute recovery actions autonomously. The monitoring is done by a small aspect-oriented programming agent. This agent does not require changes to the application source code and includes adaptive and selective algorithms to regulate the level of monitoring. The anomalies are detected and pinpointed by means of statistical correlation. The data analysis detects changes in the server response time and analyzes if those changes are correlated with the workload or are due to a performance anomaly. In the presence of per- formance anomalies, the data analysis pinpoints the anomaly. Upon the pinpointing of anomalies, SHõWA executes a recovery procedure. We also present a study about the detection and localization of anomalies, the accuracy of the data analysis, and the performance impact induced by SHõWA. Two benchmarking applications, exercised through dynamic workloads, and different types of anomaly were considered in the study. The results reveal that (1) the capacity of SHõWA to detect and pinpoint anomalies while the number of end users affected is low; (2) SHõWA was able to detect anomalies without raising any false alarm; and (3) SHõWA does not induce a significant performance overhead (throughput was affected in less than 1%, and the response time delay was no more than 2 milliseconds).

Relatório Final da Prática Educativa Supervisionada

O presente relatório de estágio foi elaborado no âmbito da unidade curricular de Integração Curricular: Prática Educativa e Relatório de Estágio, integrada no plano de estudos do 2.º ano do Mestrado em Ensino do 1.º e 2.º Ciclo, afigurando-se como um requisito fundamental para a obtenção do grau de mestre. O mesmo espelha o percurso trilhado pela professora estagiária, que atendeu a um quadro teórico-legal e a uma análise criteriosa e cuidada dos contextos educativos onde esteve inserida, permitindo-lhe aprofundar os seus saberes e agir de forma mais informada num contexto educativo de especial complexidade. A metodologia de investigação-ação palmilhou toda a prática pedagógica da formanda, através de uma espiral cíclica de observação, planificação, ação e reflexão, promotoras do desenvolvimento da profissionalidade docente. Não obstante, a supervisão apresentou-se como um momento de excelência de crescimento pessoal e profissional, uma vez que promoveu o desenvolvimento de uma postura reflexiva e autocrítica na professora estagiária, motivada por momentos de reflexão partilhada. Ao longo desta jornada foram cruciais os contributos dados pelo par pedagógico, orientadores cooperantes e supervisores institucionais, com vista ao aperfeiçoamento das práticas e à adoção de estratégias de trabalho inovadoras, assentes no modelo socio construtivista do conhecimento. A escrita deste documento encerra o ciclo de formação inicial, estando a mestranda consciente de que o processo de crescimento se irá prolongar ao longo da sua vida, de modo a desenvolver práticas mais ricas e significativas, promotoras do desenvolvimento integral e integrado dos educandos, preparando-os para a vida em sociedade. Palavras-chave: prática de ensino supervisionada; desenvolvimento profissional; reflexão; trabalho colaborativo.

O controlo interno na área de vendas e contas a receber

Com a sua evolução e crescimento as organizações necessitam, cada vez mais, de controlar e garantir os seus recebimentos, tendo o controlo interno um papel fundamental na consecução desse objectivo. Assim, é imperativo que estas organizações possuam um sistema de controlo interno alinhado e integrado em cada um dos processos internos, que são a base do seu negócio. Ao potenciar os seus recursos e ao garantir o controlo dos seus recebimentos, uma organização adquire uma potente ferramenta para enfrentar um mundo cada vez mais competitivo, como é o caso das empresas de informática, objeto deste trabalho. Este relatório tem como objectivo principal uma análise e caracterização das práticas de controlo interno existentes, de forma a maximizar e controlar as contas a receber, numa área de extrema importância como é a área das vendas, clientes e dívidas a receber. De forma a conseguir atingir esses objectivos, neste trabalho serão abordados e revistos, na fundamentação teórica, os principais conceitos e definições relativos ao controlo interno e ao controlo e garantia dos recebimentos de uma empresa. Este estágio teve como objeto um grupo de três empresas de comercialização de material informático de apreciável dimensão, crescimento e complexidade (em número de clientes, número de documentos tratados e formas de recebimento). O modelo de cobranças e recebimentos abordados neste relatório, ainda que não esteja a funcionar a 100%, permite concluir, desde já, uma segurança, fiabilidade e eficiência acrescidas no sistema de controlo de recebimentos da empresa.