Aspect-oriented technology for dependable operating systems

Modern computer devices exhibit transient hardware faults that disturb the electrical behavior but do not cause permanent physical damage to the devices. Transient faults are caused by a multitude of sources, such as fluctuation of the supply voltage, electromagnetic interference, and radiation from the natural environment. Therefore, dependable computer systems must incorporate methods of fault tolerance to cope with transient faults. Software-implemented fault tolerance represents a promising approach that does not need expensive hardware redundancy for reducing the probability of failure to an acceptable level. This thesis focuses on software-implemented fault tolerance for operating systems because they are the most critical pieces of software in a computer system: All computer programs depend on the integrity of the operating system. However, the C/C++ source code of common operating systems tends to be already exceedingly complex, so that a manual extension by fault tolerance is no viable solution. Thus, this thesis proposes a generic solution based on Aspect-Oriented Programming (AOP). To evaluate AOP as a means to improve the dependability of operating systems, this thesis presents the design and implementation of a library of aspect-oriented fault-tolerance mechanisms. These mechanisms constitute separate program modules that can be integrated automatically into common off-the-shelf operating systems using a compiler for the AOP language. Thus, the aspect-oriented approach facilitates improving the dependability of large-scale software systems without affecting the maintainability of the source code. The library allows choosing between several error-detection and error-correction schemes, and provides wait-free synchronization for handling asynchronous and multi-threaded operating-system code. This thesis evaluates the aspect-oriented approach to fault tolerance on the basis of two off-the-shelf operating systems. Furthermore, the evaluation also considers one user-level program for protection, as the library of fault-tolerance mechanisms is highly generic and transparent and, thus, not limited to operating systems. Exhaustive fault-injection experiments show an excellent trade-off between runtime overhead and fault tolerance, which can be adjusted and optimized by fine-grained selective placement of the fault-tolerance mechanisms. Finally, this thesis provides evidence for the effectiveness of the approach in detecting and correcting radiation-induced hardware faults: High-energy particle radiation experiments confirm improvements in fault tolerance by almost 80 percent

Molecular biology of glutathione peroxidase 4: from genomic structure to developmental expression and neural function

Selenoproteins have been recognized as modulators of brain function and signaling. Phospholipid hydroperoxide glutathione peroxidase (GPx4/PHGPx) is a unique member of the selenium-dependent glutathione peroxidases in mammals with a pivotal role in brain development and function. GPx4 exists as a cytosolic, mitochondrial, and nuclear isoform derived from a single gene. In mice, the GPx4 gene is located on chromosome 10 in close proximity to a functional retrotransposome that is expressed under the control of captured regulatory elements. Elucidation of crystallographic data uncovered structural peculiarities of GPx4 that provide the molecular basis for its unique enzymatic properties and substrate specificity. Monomeric GPx4 is multifunctional: it acts as a reducing enzyme of peroxidized phospholipids and thiols and as a structural protein. Transcriptional regulation of the different GPx4 isoforms requires several isoform-specific cis-regulatory sequences and trans-activating factors. Cytosolic and mitochondrial GPx4 are the major isoforms exclusively expressed by neurons in the developing brain. In stark contrast, following brain trauma, GPx4 is specifically upregulated in non-neuronal cells, i.e., reactive astrocytes. Molecular approaches to genetic modification in mice have revealed an essential and isoform-specific function for GPx4 in development and disease. Here we review recent findings on GPx4 with emphasis on its molecular structure and function and consider potential mechanisms that underlie neural development and neuropathological condition

Benchmarking in a rotating annulus: a comparative experimental and numerical study of baroclinic wave dynamics

The differentially heated rotating annulus is a widely studied tabletop-size laboratory model of the general mid-latitude atmospheric circulation. The two most relevant factors of cyclogenesis, namely rotation and meridional temperature gradient are quite well captured in this simple arrangement. The radial temperature difference in the cylindrical tank and its rotation rate can be set so that the isothermal surfaces in the bulk tilt, leading to the formation of baroclinic waves. The signatures of these waves at the free water surface have been analyzed via infrared thermography in a wide range of rotation rates (keeping the radial temperature difference constant) and under different initial conditions. In parallel to the laboratory experiments, five groups of the MetStr\"om collaboration have conducted numerical simulations in the same parameter regime using different approaches and solvers, and applying different initial conditions and perturbations. The experimentally and numerically obtained baroclinic wave patterns have been evaluated and compared in terms of their dominant wave modes, spatio-temporal variance properties and drift rates. Thus certain ``benchmarks'' have been created that can later be used as test cases for atmospheric numerical model validation

Design of Polymer-Embedded Heterogeneous Fenton Catalysts for the Conversion of Organic Trace Compounds

Advanced oxidation processes are the main way to remove persistent organic trace compounds from water. For these processes, heterogeneous Fenton catalysts with low iron leaching and high catalytic activity are required. Here, the preparation of such catalysts consisting of silica-supported iron oxide (Fe2O3/SiOx) embedded in thermoplastic polymers is presented. The iron oxide catalysts are prepared by a facile sol–gel procedure followed by thermal annealing (calcination). These materials are mixed in a melt compounding process with modified polypropylenes to stabilize the Fe2O3 catalytic centers and to further reduce the iron leaching. The catalytic activity of the composites is analyzed by means of the Reactive Black 5 (RB5) assay, as well as by the conversion of phenol which is used as an example of an organic trace compound. It is demonstrated that embedding of silica-supported iron oxide in modified polypropylene turns the reaction order from pseudo-first order (found for Fe2O3/SiOx catalysts), which represents a mainly homogeneous Fenton reaction, to pseudo-zeroth order in the polymer composites, indicating a mainly heterogeneous, surface-diffusion-controlled process

Epidemiology and recurrence rates of Clostridium difficile infections in Germany: a secondary data analysis

Clostridium difficile infection (CDI) is the most common cause of health-care-associated infectious diarrhea. Recurrence rates are as high as 20–30% after standard treatment with metronidazole or vancomycin, and appear to be reduced for patients treated with fidaxomicin. According to the literature, the risk of CDI recurrence increases after the second relapse to 30–65%. Accurate data for Germany are not yet available. Methods: Based on the research database of arvato health analytics (Munich, Germany), a secondary data analysis for the incidence, treatment characteristics and course of CDI was performed. The database included high granular accounting information of about 1.46 million medically insured patients covering the period 2006–2013, being representative for Germany. The analysis was based on new-onset CDI in 2012 in patients which either received outpatient antibiotic therapy for CDI or were hospitalized. Results: The ICD-10 coded incidence of CDI in 2012 was 83 cases per 100,000 population

The Climatology of Elevated Stratopause Events in the UA-ICON Model and the Contribution of Gravity Waves

The climatologies of the stratopause height and temperature in the UA-ICON model are examined by comparing them to 17-years (2005–2021) of Microwave Limb Sounder (MLS) observations. In addition, the elevated stratopause (ES) event occurrence, their main characteristics, and driving mechanisms in the UA-ICON model are examined using three 30-year time-slice experiments. While UA-ICON reasonably simulates the large-scale stratopause properties similar to MLS observations, at polar latitudes in the Southern Hemisphere the stratopause is ∼8 K warmer and ∼3 km higher than observed. A time lag of about two months also exists in the occurrence of the tropical semiannual oscillation of the stratopause compared to the observations. ES events occur in ∼20% of the boreal winters, after major sudden stratospheric warmings (SSWs). Compared to the SSWs not followed by ES events (SSW-only), the ES events are associated with the persistent tropospheric forcing and prolonged anomalies of the stratospheric jet. Our modeling results suggest that the contributions of both gravity waves (GW)s and resolved waves are important in explaining the enhanced residual circulation following ES events compared to the SSW-only events but their contributions vary through the lifetime of ES events. We emphasize the role of the resolved wave drag in the ES formation as in the sensitivity test when the non-orographic GW drag is absent, the anomalously enhanced resolved wave forcing in the mesosphere gives rise to the formation of the elevated stratopause at about 85 km

a comparative experimental and numerical study of baroclinic wave dynamics

The differentially heated rotating annulus is a widely studied tabletop-size laboratory model of the general mid-latitude atmospheric circulation. The two most relevant factors of cyclogenesis, namely rotation and meridional temperature gradient are quite well captured in this simple arrangement. The radial temperature difference in the cylindrical tank and its rotation rate can be set so that the isothermal surfaces in the bulk tilt, leading to the formation of baroclinic waves. The signatures of these waves at the free water surface have been analyzed via infrared thermography in a wide range of rotation rates (keeping the radial temperature difference constant) and under different initial conditions. In parallel to the laboratory experiments, five groups of the MetStröm collaboration have conducted numerical simulations in the same parameter regime using different approaches and solvers, and applying different initial conditions and perturbations. The experimentally and numerically obtained baroclinic wave patterns have been evaluated and compared in terms of their dominant wave modes, spatio-temporal variance properties and drift rates. Thus certain “benchmarks” have been created that can later be used as test cases for atmospheric numerical model validation

Vapor phase deposition of perovskite photovoltaics:Short track to commercialization?

While perovskite-based photovoltaics (PV) is progressing toward commercialization, it remains an open question which fabrication technology - solution-based, vapor-based, or combinations - will pave the way to faster economic breakthrough. The vast majority of research studies make use of solution-processed perovskite thin films, which benefit from a rapid optimization feedback and inexpensive to procure tools in modern research laboratories, but vapor phase deposition processes dominate today's established thin-film manufacturing. As research and development of vapor phase processed perovskite thin films are still strongly underrepresented in literature, their full potential is yet to be identified. In this collaborative perspective of academic influenced by industrial views, we convey a balanced viewpoint on the prospects of vapor-based processing of perovskite PV at an industrial scale. Our perspective highlights the conceptual advantages of vapor phase deposition, discusses the most crucial process parameters in a technology assessment, contains an overview about relevant global industry clusters, and provides an outlook on the commercialization perspectives of the perovskite technology in general.</p

Providing Information by Resource- Constrained Data Analysis

The Collaborative Research Center SFB 876 (Providing Information by Resource-Constrained Data Analysis) brings together the research fields of data analysis (Data Mining, Knowledge Discovery in Data Bases, Machine Learning, Statistics) and embedded systems and enhances their methods such that information from distributed, dynamic masses of data becomes available anytime and anywhere. The research center approaches these problems with new algorithms respecting the resource constraints in the different scenarios. This Technical Report presents the work of the members of the integrated graduate school