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.

Artificial antibodies for troponin T by its imprinting on the surface of multiwalled carbon nanotubes: Its use as sensory surfaces

A novel artificial antibody for troponin T (TnT) was synthesized by molecular imprint (MI) on the surface of multiwalled carbon nanotubes (MWCNT). This was done by attaching TnT to the MWCNT surface, and filling the vacant spaces by polymerizing under mild conditions acrylamide (monomer) in N,N′-methylenebisacrylamide (cross-linker) and ammonium persulphate (initiator). After removing the template, the obtained biomaterial was able to rebind TnT and discriminate it among other interfering species. Stereochemical recognition of TnT was confirmed by the non-rebinding ability displayed by non-imprinted (NI) materials, obtained by imprinting without a template. SEM and FTIR analysis confirmed the surface modification of the MWCNT. The ability of this biomaterial to rebind TnT was confirmed by including it as electroactive compound in a PVC/plasticizer mixture coating a wire of silver, gold or titanium. Anionic slopes of 50 mV decade−1 were obtained for the gold wire coated with MI-based membranes dipped in HEPES buffer of pH 7. The limit of detection was 0.16 μg mL−1. Neither the NI-MWCNT nor the MWCNT showed the ability to recognize the template. Good selectivity was observed against creatinine, sucrose, fructose, myoglobin, sodium glutamate, thiamine and urea. The sensor was tested successfully on serum samples. It is expected that this work opens new horizons on the design of new artificial antibodies for complex protein structures.

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.

Minimal Criteria for the Diagnosis of Avulsion of the Puborectalis Muscle by Tomographic Ultrasound

Introduction and hypothesis Puborectalis avulsion is a likely etiological factor for female pelvic organ prolapse(FPOP). We performed a study to establish minimal sonographic criteria for the diagnosis of avulsion. Methods We analysed datasets of 764 women seen at a urogynecological service. Offline analysis of ultrasound datasets was performed blinded to patient data. Tomographic ultrasound imaging (TUI) was used to diagnose avulsion of the puborectalis muscle. Results Logistic regression modelling of TUI data showed that complete avulsion is best diagnosed by requiring the three central tomographic slices to be abnormal. This finding was obtained in 30% of patients and was associated with symptoms and signs of FPOP (P<0.001). Lesser degrees of trauma (‘partial avulsion’) were not associated with symptoms or signs of pelvic floor dysfunction. Conclusions Complete avulsion of the puborectalis muscle is best diagnosed on TUI by requiring all three central slices to be abnormal. Partial trauma seems of limited clinical relevance.

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.

Artefacts induced on c-type haem proteins by electrode surfaces

J Biol Inorg Chem (2011) 16:209–215 DOI 10.1007/s00775-010-0717-z

BIOFILM FORMATION OF Vibrio cholerae ON STAINLESS STEEL USED IN FOOD PROCESSING

Vibrio cholerae represents a significant threat to human health in developing countries. This pathogen forms biofilms which favors its attachment to surfaces and its survival and transmission by water or food. This work evaluated the in vitro biofilm formation of V. cholerae isolated from clinical and environmental sources on stainless steel of the type used in food processing by using the environmental scanning electron microscopy (ESEM). Results showed no cell adhesion at 4 h and scarce surface colonization at 24 h. Biofilms from the environmental strain were observed at 48 h with high cellular aggregations embedded in Vibrio exopolysaccharide (VPS), while less confluence and VPS production with microcolonies of elongated cells were observed in biofilms produced by the clinical strain. At 96 h the biofilms of the environmental strain were released from the surface leaving coccoid cells and residual structures, whereas biofilms of the clinical strain formed highly organized structures such as channels, mushroom-like and pillars. This is the first study that has shown the in vitro ability of V. cholerae to colonize and form biofilms on stainless steel used in food processing.

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

Schottky principal G-bundles over compact Riemann surfaces

Fundação para a Ciência e a Tecnologia (FCT)- PhD grant SFRH/BD/37151/2007; projects PTDC/MAT/099275/2008; PTDC/MAT/119689/2010; PTDC/MAT/120411/2010; PTDC/MAT-GEO/0675/2012