Architecture Level Safety Analyses for Safety-Critical Systems

The dependency of complex embedded Safety-Critical Systems across Avionics and Aerospace domains on their underlying software and hardware components has gradually increased with progression in time. Such application domain systems are developed based on a complex integrated architecture, which is modular in nature. Engineering practices assured with system safety standards to manage the failure, faulty, and unsafe operational conditions are very much necessary. System safety analyses involve the analysis of complex software architecture of the system, a major aspect in leading to fatal consequences in the behaviour of Safety-Critical Systems, and provide high reliability and dependability factors during their development. In this paper, we propose an architecture fault modeling and the safety analyses approach that will aid in identifying and eliminating the design flaws. The formal foundations of SAE Architecture Analysis & Design Language (AADL) augmented with the Error Model Annex (EMV) are discussed. The fault propagation, failure behaviour, and the composite behaviour of the design flaws/failures are considered for architecture safety analysis. The illustration of the proposed approach is validated by implementing the Speed Control Unit of Power-Boat Autopilot (PBA) system. The Error Model Annex (EMV) is guided with the pattern of consideration and inclusion of probable failure scenarios and propagation of fault conditions in the Speed Control Unit of Power-Boat Autopilot (PBA). This helps in validating the system architecture with the detection of the error event in the model and its impact in the operational environment. This also provides an insight of the certification impact that these exceptional conditions pose at various criticality levels and design assurance levels and its implications in verifying and validating the designs

Strain-induced Evolution of Electronic Band Structures in a Twisted Graphene Bilayer

Here we study the evolution of local electronic properties of a twisted graphene bilayer induced by a strain and a high curvature. The strain and curvature strongly affect the local band structures of the twisted graphene bilayer; the energy difference of the two low-energy van Hove singularities decreases with increasing the lattice deformations and the states condensed into well-defined pseudo-Landau levels, which mimic the quantization of massive Dirac fermions in a magnetic field of about 100 T, along a graphene wrinkle. The joint effect of strain and out-of-plane distortion in the graphene wrinkle also results in a valley polarization with a significant gap, i.e., the eight-fold degenerate Landau level at the charge neutrality point is splitted into two four-fold degenerate quartets polarized on each layer. These results suggest that strained graphene bilayer could be an ideal platform to realize the high-temperature zero-field quantum valley Hall effect.Comment: 4 figure

Parity-Violating Electron Scattering from 4He and the Strange Electric Form Factor of the Nucleon

We have measured the parity-violating electroweak asymmetry in the elastic scattering of polarized electrons from ^4He at an average scattering angle = 5.7 degrees and a four-momentum transfer Q^2 = 0.091 GeV^2. From these data, for the first time, the strange electric form factor of the nucleon G^s_E can be isolated. The measured asymmetry of A_PV = (6.72 +/- 0.84 (stat) +/- 0.21 (syst) parts per million yields a value of G^s_E = -0.038 +/- 0.042 (stat) +/- 0.010 (syst), consistent with zero

Display of probability densities for data from a continuous distribution

Based on cumulative distribution functions, Fourier series expansion and Kolmogorov tests, we present a simple method to display probability densities for data drawn from a continuous distribution. It is often more efficient than using histograms.Comment: 5 pages, 4 figures, presented at Computer Simulation Studies XXIV, Athens, GA, 201

Installing hydrolytic activity into a completely <i>de novo </i>protein framework

The design of enzyme-like catalysts tests our understanding of sequence-to-structure/function relationships in proteins. Here we install hydrolytic activity predictably into a completely de novo and thermostable α-helical barrel, which comprises seven helices arranged around an accessible channel. We show that the lumen of the barrel accepts 21 mutations to functional polar residues. The resulting variant, which has cysteine–histidine–glutamic acid triads on each helix, hydrolyses p-nitrophenyl acetate with catalytic efficiencies that match the most-efficient redesigned hydrolases based on natural protein scaffolds. This is the first report of a functional catalytic triad engineered into a de novo protein framework. The flexibility of our system also allows the facile incorporation of unnatural side chains to improve activity and probe the catalytic mechanism. Such a predictable and robust construction of truly de novo biocatalysts holds promise for applications in chemical and biochemical synthesis

The impact of antiretroviral therapy on HPV and cervical intraepithelial neoplasia: current evidence and directions for future research

Increasing numbers of human immunodeficiency virus (HIV)-infected women are now accessing life-prolonging highly active antiretroviral therapy (HAART) in developing countries. There is a need for better understanding of interactions of human papillomavirus (HPV) and HIV, especially in the context of increasing life expectancy due to HAART. The data regarding the impact of HAART on reducing the incidence and progression and facilitating the regression of HPV infection and cervical abnormalities is largely inconsistent. Published studies differ in their study designs (prospective or retrospective cohorts or record linkage studies), screening and diagnostic protocols, duration and type of HAART use, recruitment and referral strategies, and definitions of screening test and disease positivity. Due to the ethical and resource limitations in conducting randomized trials of the impact of HAART on incidence of HPV, CIN, and cervical cancer among HIV-infected women, it is important to consider innovative study designs, including quasi-experimental trials and operations research in sentinel populations to answer the critical research questions in this area

Quantum coherent control of a hybrid superconducting circuit made with graphene-based van der Waals heterostructures

Quantum coherence and control is foundational to the science and engineering of quantum systems. In van der Waals (vdW) materials, the collective coherent behavior of carriers has been probed successfully by transport measurements. However, temporal coherence and control, as exemplified by manipulating a single quantum degree of freedom, remains to be verified. Here we demonstrate such coherence and control of a superconducting circuit incorporating graphene-based Josephson junctions. Furthermore, we show that this device can be operated as a voltage-tunable transmon qubit, whose spectrum reflects the electronic properties of massless Dirac fermions traveling ballistically. In addition to the potential for advancing extensible quantum computing technology, our results represent a new approach to studying vdW materials using microwave photons in coherent quantum circuits

Control of the induction of type I interferon by Peste des petits ruminants virus.

Peste des petits ruminants virus (PPRV) is a morbillivirus that produces clinical disease in goats and sheep. We have studied the induction of interferon-β (IFN-β) following infection of cultured cells with wild-type and vaccine strains of PPRV, and the effects of such infection with PPRV on the induction of IFN-β through both MDA-5 and RIG-I mediated pathways. Using both reporter assays and direct measurement of IFN-β mRNA, we have found that PPRV infection induces IFN-β only weakly and transiently, and the virus can actively block the induction of IFN-β. We have also generated mutant PPRV that lack expression of either of the viral accessory proteins (V&C) to characterize the role of these proteins in IFN-β induction during virus infection. Both PPRV_ΔV and PPRV_ΔC were defective in growth in cell culture, although in different ways. While the PPRV V protein bound to MDA-5 and, to a lesser extent, RIG-I, and over-expression of the V protein inhibited both IFN-β induction pathways, PPRV lacking V protein expression can still block IFN-β induction. In contrast, PPRV C bound to neither MDA-5 nor RIG-I, but PPRV lacking C protein expression lost the ability to block both MDA-5 and RIG-I mediated activation of IFN-β. These results shed new light on the inhibition of the induction of IFN-β by PPRV