Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Detection of parvovirus B19 infection in formalin-fixed and paraffin-embedded placenta and fetal tissues

Parvovirus B19 infection was first discovered in 1975 and it is implicated in fetal death from hydrops fetalis the world over. Diagnosis is usually made through histological identification of the intranuclear inclusion in placenta and fetal organs. However, these cells may be scarce or uncharacteristic, making definitive diagnosis difficult. We analyzed histologically placentas and fetal organs from 34 cases of non-immune hydrops fetalis, stained with Hematoxylin and Eosin (HE) and submitted to immunohistochemistry and polymerase chain reaction (PCR). Of 34 tissue samples, two (5.9%) presented typical intranuclear inclusion in circulating normoblasts seen in Hematoxylin and Eosin stained sections, confirmed by immunohistochemistry and PCR. However, PCR of fetal organs was negative in one case in which the placenta PCR was positive. We concluded that parvovirus B19 infection frequency is similar to the literature and that immunohistochemistry was the best detection method. It is highly specific and sensitive, preserves the morphology and reveals a larger number of positive cells than does HE with the advantage of showing cytoplasmic and nuclear positivity, making it more reliable. Although PCR is more specific and sensitive in fresh or ideally fixed material it is not so in formalin-fixed paraffin-embedded tissues, frequently the only one available in such cases.

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.

Dependable Embedded Wireless Infrastructure

DEWI will provide key solutions for wireless seamless connectivity and interoperability in the everyday physical environment of citizens, thereby significantly contributing to the emerging smart home and smart public space.

Effects of tissue handling and processing steps on PCR for detection of Mycobacterium tuberculosis in formalin-fixed paraffin-embedded samples

Development and standardization of reliable methods for detection of Mycobacterium tuberculosis in clinical samples is an important goal in laboratories throughout the world. In this work, lung and spleen fragments from a patient who died with the diagnosis of miliary tuberculosis were used to evaluate the influence of the type of fixative as well as the fixation and paraffin inclusion protocols on PCR performance in paraffin embedded specimens. Tissue fragments were fixed for four h to 48 h, using either 10% non-buffered or 10% buffered formalin, and embedded in pure paraffin or paraffin mixed with bee wax. Specimens were submitted to PCR for amplification of the human beta-actin gene and separately for amplification of the insertion sequence IS6110, specific from the M. tuberculosis complex. Amplification of the beta-actin gene was positive in all samples. No amplicons were generated by PCR-IS6110 when lung tissue fragments were fixed using 10% non-buffered formalin and were embedded in paraffin containing bee wax. In conclusion, combined inhibitory factors interfere in the detection of M. tuberculosis in stored material. It is important to control these inhibitory factors in order to implement molecular diagnosis in pathology laboratories.

HIGH SENSITIVE PCR METHOD FOR DETECTION OF PATHOGENIC Leptospira spp. IN PARAFFIN-EMBEDDED TISSUES

This study describes the development and application of a new PCR assay for the specific detection of pathogenic leptospires and its comparison with a previously reported PCR protocol. New primers were designed for PCR optimization and evaluation in artificially-infected paraffin-embedded tissues. PCR was then applied to post-mortem, paraffin-embedded samples, followed by amplicon sequencing. The PCR was more efficient than the reported protocol, allowing the amplification of expected DNA fragment from the artificially infected samples and from 44% of the post-mortem samples. The sequences of PCR amplicons from different patients showed >99% homology with pathogenic leptospires DNA sequences. The applicability of a highly sensitive and specific tool to screen histological specimens for the detection of pathogenic Leptospira spp. would facilitate a better assessment of the prevalence and epidemiology of leptospirosis, which constitutes a health problem in many countries.

Analysis of the Generators of Epileptic Activity in Early-Onset Childhood Benign Occipital Lobe Epilepsy

Objective: The Panayiotopoulos type of idiopathic occipital epilepsy has peculiar and easily recognizable ictal symptoms, which are associated with complex and variable spike activity over the posterior scalp areas. These characteristics of spikes have prevented localization of the particular brain regions originating clinical manifestations. We studied spike activity in this epilepsy to determine their brain generators. Methods: The EEG of 5 patients (ages 7–9) was recorded, spikes were submitted to blind decomposition in independent components (ICs) and those to source analysis (sLORETA), revealing the spike generators. Coherence analysis evaluated the dynamics of the components. Results: Several ICs were recovered for posterior spikes in contrast to central spikes which originated a single one. Coherence analysis supports a model with epileptic activity originating near lateral occipital area and spreading to cortical temporal or parietal areas. Conclusions: Posterior spikes demonstrate rapid spread of epileptic activity to nearby lobes, starting in the lateral occipital area. In contrast, central spikes remain localized in the rolandic fissure. Significance: Rapid spread of posterior epileptic activity in the Panayitopoulos type of occipital lobe epilepsy is responsible for the variable and poorly localized spike EEG. The lateral occipital cortex is the primary generator of the epileptic activity.

Production of aluminium based composites reinforced with embedded NiTi by friction stir welding

Dissertação para a obtenção do grau de Mestre em Engenharia Mecânica

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Quadrature generators based on ring oscillators and shift registers

Quadrature oscillators are key elements in modern radio frequency (RF) transceivers and very useful nowadays in wireless communications, since they can provide: low quadrature error, low phase-noise, and wide tuning range (useful to cover several bands). RC oscillators can be fully integrated without the need of external components (external high Q-inductors), optimizing area, cost, and power consumption. The conventional structure of ring oscillator offers poor frequency stability and phasenoise, low quality factor (Q), and besides being vulnerable to process, voltage and temperature (PVT) variations, its performance degrades as the frequency of operation increases. This thesis is devoted to quadrature oscillators and presents a detailed comparative study of ring oscillator and shift register (SR) approaches. It is shown that in SRs both phase-noise and phase error are reduced, while ring oscillators have the advantage of occupying less area and less consumption due to the reduced number of components in the circuit. Thus, although ring oscillators are more suitable for biomedical applications, SRs are more appropriate for wireless applications, especially when specification requirements are more stringent and demanding. The first architecture studied consists in a simple CMOS ring oscillator employing an odd number of static single-ended inverters as delay cells. Subsequently, the quadrature 4-stage ring oscillator concept is shown and post-layout simulations are presented. The 3 and 4-phase single-frequency local oscillator (LO) generators employing SRs are presented, the latter with 50% and 25% duty-cycles. The circuits operate at 600 MHz and 900 MHz, and were designed in a 130 nm standard CMOS technology with a voltage supply of 1.2 V.

Masonry infill walls under blast loading using confined underwater blast wave generators (WBWG)

The vulnerability of the masonry envelop under blast loading is considered critical due to the risk of loss of lives. The behaviour of masonry infill walls subjected to dynamic out-of-plane loading was experimentally investigated in this work. Using confined underwater blast wave generators (WBWG), applying the extremely high rate conversion of the explosive detonation energy into the kinetic energy of a thick water confinement, allowed a surface area distribution avoiding also the generation of high velocity fragments and reducing atmospheric sound wave. In the present study, water plastic containers, having in its centre a detonator inside a cylindrical explosive charge, were used in unreinforced masonry infills panels with 1.7m by 3.5m. Besides the usage of pressure and displacement transducers, pictures with high-speed video cameras were recorded to enable processing of the deflections and identification of failure modes. Additional numerical studies were performed in both unreinforced and reinforced walls. Bed joint reinforcement and grid reinforcement were used to strengthen the infill walls, and the results are presented and compared, allowing to obtain pressure-impulse diagrams for design of masonry infill walls.

Embedded Through-Section shear strengthening technique using steel and CFRP bars in RC beams of different percentage of existing stirrups

The Embedded Through-Section (ETS) technique is a promising technique for the shear strengthening of existing (RC) elements. According to this technique, holes are drilled through the beam section, and bars of steel or FRP material are introduced into these holes and bonded to the concrete with adhesive materials. An experimental program was carried out with RC T-cross section beams strengthened in shear using the ETS steel bars and ETS CFRP rods. The research is focused on the evaluation of the ETS efficiency on beams with different percentage of existing internal transverse reinforcement (ρsw=0.0%, ρsw=0.1% and ρsw=0.17%). The effectiveness of different ETS strengthening configurations was also investigated. The good bond between the strengthening ETS bars and the surrounding concrete allowed the yield initiation of the ETS steel bars and the attainment of high tensile strains in the ETS CFPR rods, leading to significant increase of shear capacity, whose level was strongly influenced by the inclination of the ETS bars and the percentage of internal transverse reinforcement.

Modelling Z→ττ processes in ATLAS with τ-embedded Z→μμ data

This paper describes the concept, technical realisation and validation of a largely data-driven method to model events with Z→ττ decays. In Z→μμ events selected from proton-proton collision data recorded at s√=8 TeV with the ATLAS experiment at the LHC in 2012, the Z decay muons are replaced by τ leptons from simulated Z→ττ decays at the level of reconstructed tracks and calorimeter cells. The τ lepton kinematics are derived from the kinematics of the original muons. Thus, only the well-understood decays of the Z boson and τ leptons as well as the detector response to the τ decay products are obtained from simulation. All other aspects of the event, such as the Z boson and jet kinematics as well as effects from multiple interactions, are given by the actual data. This so-called τ-embedding method is particularly relevant for Higgs boson searches and analyses in ττ final states, where Z→ττ decays constitute a large irreducible background that cannot be obtained directly from data control samples.

Experimental and numerical studies of hybrid PCM embedded in plastering mortar for enhanced thermal behaviour of buildings

This paper proposes a methodology for improvement of energy efficiency in buildings through the innovative simultaneous incorporation of three distinct phase change materials (here termed as hybrid PCM) in plastering mortars for façade walls. The thermal performance of a hybrid PCM mortar was experimentally evaluated by comparing the behaviour of a prototype test cell (including hybrid PCM plastering mortar) subjected to realistic daily temperature profiles, with the behaviour of a similar prototype test cell, in which no PCM was added. A numerical simulation model was employed (using ANSYS-FLUENT) to validate the capacity of simulating temperature evolution within the prototype containing hybrid PCM, as well as to understand the contribution of hybrid PCM to energy efficiency. Incorporation of hybrid PCM into plastering mortars was found to have the potential to significantly reduce heating/cooling temperature demands for maintaining the interior temperature within comfort levels when compared to normal mortars (without PCM), or even mortars comprising a single type of PCM.