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

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.

Optimization of the Sybr Green real time PCR for the detection of Human Herpes Virus type 6 (HHV-6)

HHV-6 is the etiological agent of Exanthem subitum which is considered the sixth most frequent disease in infancy. In immuno-compromised hosts, reactivation of latent HHV-6 infection may cause severe acute disease. We developed a Sybr Green Real Time PCR for HHV-6 and compared the results with nested conventional PCR. A 214 pb PCR derived fragment was cloned using pGEM-T easy from Promega system. Subsequently, serial dilutions were made in a pool of negative leucocytes from 10-6 ng/µL (equivalent to 2465.8 molecules/µL) to 10-9 (equivalent to 2.46 molecules/µL). Dilutions of the plasmid were amplified by Sybr Green Real Time PCR, using primers HHV3 (5' TTG TGC GGG TCC GTT CCC ATC ATA 3)'and HHV4 (5' TCG GGA TAG AAA AAC CTA ATC CCT 3') and by conventional nested PCR using primers HHV1 (outer): 5'CAA TGC TTT TCT AGC CGC CTC TTC 3'; HHV2 (outer): 5' ACA TCT ATA ATT TTA GAC GAT CCC 3'; HHV3 (inner) and HHV4 (inner) 3'. The detection threshold was determined by plasmid serial dilutions. Threshold for Sybr Green real time PCR was 24.6 molecules/µL and for the nested PCR was 2.46 molecules/µL. We chose the Real Time PCR for diagnosing and quantifying HHV-6 DNA from samples using the new Sybr Green chemistry due to its sensitivity and lower risk of contamination.

mRPL: Boosting mobility in the Internet of Things

The 6loWPAN (the light version of IPv6) and RPL (routing protocol for low-power and lossy links) protocols have become de facto standards for the Internet of Things (IoT). In this paper, we show that the two native algorithms that handle changes in network topology – the Trickle and Neighbor Discovery algorithms – behave in a reactive fashion and thus are not prepared for the dynamics inherent to nodes mobility. Many emerging and upcoming IoT application scenarios are expected to impose real-time and reliable mobile data collection, which are not compatible with the long message latency, high packet loss and high overhead exhibited by the native RPL/6loWPAN protocols. To solve this problem, we integrate a proactive hand-off mechanism (dubbed smart-HOP) within RPL, which is very simple, effective and backward compatible with the standard protocol. We show that this add-on halves the packet loss and reduces the hand-off delay dramatically to one tenth of a second, upon nodes’ mobility, with a sub-percent overhead. The smart-HOP algorithm has been implemented and integrated in the Contiki 6LoWPAN/RPL stack (source-code available on-line mrpl: smart-hop within rpl, 2014) and validated through extensive simulation and experimentation.

Zero-Time Kidney Histology Predicts Early Graft Function

Our purposes are to determine the impact of histological factors observed in zero-time biopsies on early post transplant kidney allograft function. We specifically want to compare the semi-quantitative Banff Classification of zero time biopsies with quantification of % cortical area fibrosis. Sixty three zero-time deceased donor allograft biopsies were retrospectively semiquantitatively scored using Banff classification. By adding the individual chronic parameters a Banff Chronic Sum (BCS) Score was generated. Percentage of cortical area Picro Sirius Red (%PSR) staining was assessed and calculated with a computer program. A negative linear regression between %PSR/ GFR at 3 year post-transplantation was established (Y=62.08 +-4.6412X; p=0.022). A significant negative correlation between arteriolar hyalinosis (rho=-0.375; p=0.005), chronic interstitial (rho=0.296; p=0.02) , chronic tubular ( rho=0.276; p=0.04) , chronic vascular (rho= -0.360;P=0.007), BCS (rho=-0.413; p=0.002) and GFR at 3 years were found. However, no correlation was found between % PSR, Ci, Ct or BCS. In multivariate linear regression the negative predictive factors of 3 years GFR were: BCS in histological model; donor kidney age, recipient age and black race in clinical model. The BCS seems a good and easy to perform tool, available to every pathologist, with significant predictive short-term value. The %PSR predicts short term kidney function in univariate study and involves extra-routine and expensive-time work. We think that %PSR must be regarded as a research instrument.

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.

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.

Non-linear time series models

The last three decades have seen quite dramatic changes the way we modeled time dependent data. Linear processes have been in the center stage in modeling time series. As far as the second order properties are concerned, the theory and the methodology are very adequate.However, there are more and more evidences that linear models are not sufficiently flexible and rich enough for modeling purposes and that failure to account for non-linearities can be very misleading and have undesired consequences.

Tradução com adaptação cultural para portugês e determinação da reprodutibilidade do questionnaire on respiratory symptoms in preschool children

RESUMO: Introdução: A asma brônquica é uma entidade frequente em idade pediátrica, apresentando uma grande heterogeneidade clínica e significativa morbilidade quando não controlada. A identificação de crianças sintomáticas pode atrasar ou até mesmo diminuir a ocorrência de algumas alterações estruturais. Reconhece-se a necessidade de questionários sobre sintomas respiratórios em língua portuguesa, devidamente validados, que tenham como população-alvo os grupos etários inferiores a 3 anos. Deste modo, será possível não só um conhecimento mais rigoroso da asma e da sibilância infantil mas também a uniformização de metodologias para o desenvolvimento de estratégias a nível nacional. Objetivos: Tradução com adaptação cultural para português e determinação da reprodutibilidade do Questionnaire on respiratory symptoms in preschool children de Strippoli e colaboradores. Material e métodos: A escolha do questionário obedeceu a vários critérios, entre os quais o grupo etário, o tipo e número de perguntas. O Questionnaire on respiratory symptoms in preschool children de Strippoli e colaboradores é um questionário de autopreenchimento, dirigido a crianças entre os 12 e os 24 meses de idade e destinado a estudos epidemiológicos ao nível da comunidade. Aborda aspetos referentes a sintomas respiratórios (sibilância, tosse crónica, sintomas das vias aéreas superiores), cuidados médicos, terapêutica, características ambientais, história familiar e situação social. Procedemos à sua tradução, com especial atenção para a adaptação do ponto de vista cultural e linguístico, utilizando o método da tradução / retroversão, amplamente utilizado e descrito na literatura internacional. Seguidamente determinámos a reprodutibilidade da versão final em língua portuguesa – Questionário de sintomas respiratórios em idade pré-escolar – utilizando o teste-reteste. Para tal, incluíram-se crianças entre os 12 e os 36 meses de idade recrutadas num Centro de Saúde e em creches de Lisboa. A distribuição dos questionários decorreu em duas fases: na primeira fase foram entregues pessoalmente nos locais de recrutamento e na segunda fase foram enviados por correio para os domicílios das crianças, respeitando-se um intervalo mínimo de 2 semanas entre ambos. Resultados: Na primeira fase foram distribuídos 180 questionários, com uma taxa de reposta de 41% (n=74). Na segunda fase enviaram-se para os respetivos domicílios 70 questionários,obtendo-se uma taxa de resposta de 66% (n=46). Para a análise de reprodutibilidade foram incluídos apenas os questionários preenchidos em ambos os momentos pelo mesmo indivíduo (mãe, pai ou representante legal) (n=41). A idade média das crianças foi, na primeira fase, de 22,5 meses e, na segunda fase, de 23,7 meses, com um predomínio do sexo feminino (F:M =1:0,6). A mediana do tempo decorrido entre os dois momentos de preenchimento dos questionários foi de 26 dias. Obtivemos valores de concordância globalmente bons a muito bons, à semelhança do sucedido no trabalho original. Conclusões: Procedemos à tradução e avaliação da reprodutibilidade do Questionnaire on respiratory symptoms in preschool children. Pretende-se que venha a ser uma ferramenta útil para estudos epidemiológicos e programas de rastreio na comunidade, contribuindo deste modo para uma otimização da abordagem da asma / sibilância infantil a nível nacional. -------------ABSTRACT: Background: Asthma is a very common feature in childhood, with important clinical heterogeneity and morbidity if not properly controlled. Identifying symptomatic children may delay or even reduce several structural changes. The development of questionnaires on respiratory symptoms in Portuguese for children under 3 years old will allow not only a more accurate knowledge of infantile asthma and recurrent wheezing but also the standardization of methodologies to develop nationwide strategies. Objectives: The aim of this study was to translate and adapt to the Portuguese culture and to determine the repeatability of the Questionnaire on respiratory symptoms in preschool children by Strippoli et al. Material and methods: The choice of the questionnaire took in consideration several criteria, among which the target age, the type and the number of questions. The Questionnaire on respiratory symptoms in preschool children by Strippoli et al is a parent-completed questionnaire for assessment of respiratory symptoms in 1 to 2-year-old children, developed for cross-sectional and longitudinal studies. It contains sections on respiratory symptoms (wheezing, chronic cough and upper airways symptoms), healthcare utilization, treatment, environmental exposure, family history and social situation. For the process of translation we used the method of translation and back-translation, with particular concern to cultural and linguistic adaptation. To assess the repeatability of the final Portuguese version - Questionário de sintomas respiratórios em idade pré-escolar - we used the test–retest analyses. The questionnaires were distributed to parents of children between 12 and 36 months old attending nurseries and a Primary Care Center of Lisbon. The distribution took place in two phases: the first questionnaires were delivered in person (phase one) and an identical questionnaire was posted to the families that participated in the first phase, 2 weeks after the first one was returned (phase two). Results: The response rates were 41% (180/74) in the first phase and 66% (70/46) in the second phase. For test–retest analyses, we included the 41 children with the same respondent (mother, father or legal representative) in both occasions. The median age of the children was 22,5 months at the first phase and 23,7 months at the second phase, with a predominance of girls (F:M = 1:0,6). The median time between the fillings of both questionnaires was 26 days. Globally, agreement values were good to excellent, similarly to the original work. Conclusion: In the present study we translated the Questionnaire on respiratory symptoms in preschool children and assessed its repeatability. Overall, we expect it to be a valuable tool for epidemiological studies and community-based screening programs, thus contributing to improve the management of infantile asthma / recurrent wheezing nationwide.

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