The Challenge of Detection and Diagnosis of Fugacious Hardware Faults in VLSI Designs

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-38789-0_7Current integration scales are increasing the number and types of faults that embedded systems must face. Traditional approaches focus on dealing with those transient and permanent faults that impact the state or output of systems, whereas little research has targeted those faults being logically, electrically or temporally masked -which we have named fugacious. A fast detection and precise diagnosis of faults occurrence, even if the provided service is unaffected, could be of invaluable help to determine, for instance, that systems are currently under the influence of environmental disturbances like radiation, suffering from wear-out, or being affected by an intermittent fault. Upon detection, systems may react to adapt the deployed fault tolerance mechanisms to the diagnosed problem. This paper explores these ideas evaluating challenges and requirements involved, and provides an outline of potential techniques to be applied.This work has been funded by Spanish Ministry of Economy ARENES project (TIN2012-38308-C02-01)Espinosa García, J.; Andrés Martínez, DD.; Ruiz, JC.; Gil, P. (2013). The Challenge of Detection and Diagnosis of Fugacious Hardware Faults in VLSI Designs. En Dependable Computing. Springer. 76-87. https://doi.org/10.1007/978-3-642-38789-0_7S7687Narayanan, V., Xie, Y.: Reliability concerns in embedded systems design. IEEE Computer 1(39), 118–120 (2006)Hannius, O., Karlsson, J.: Impact of soft errors in a jet engine controller. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 223–234. Springer, Heidelberg (2012)Borkar, S.: Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. IEEE Micro 25(6), 10–16 (2005)JEDEC: Measurement and reporting of alpha particle and terrestrial cosmic ray-induced soft errors in semiconductor devices. JEDEC Standard JESD89A. JEDEC (2006)Gracia-Moran, J., Gil-Tomas, D., Saiz-Adalid, L.J., Baraza, J.C., Gil-Vicente, P.J.: Experimental validation of a fault tolerant microcomputer system against intermittent faults. In: DSN, pp. 413–418 (2010)Constantinescu, C.: Intermittent faults and effects on reliability of integrated circuits. In: Proceedings of the 2008 Annual Reliability and Maintainability Symposium, pp. 370–374. IEEE Computer Society, Washington, DC (2008)Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1, 11–33 (2004)Johnson, C., Holloway, C.: The dangers of failure masking in fault-tolerant software: Aspects of a recent in-flight upset event. In: 2007 2nd Institution of Engineering and Technology International Conference on System Safety, pp. 60–65 (October 2007)Bolchini, C., Salice, F., Sciuto, D.: Fault analysis for networks with concurrent error detection. IEEE Des. Test 15(4), 66–74 (1998)Goessel, M., Ocheretny, V., Sogomonyan, E., Marienfeld, D.: New Methods of Concurrent Checking (Frontiers in Electronic Testing), 1st edn. Springer Publishing Company, Incorporated (2008)Iyer, R.K., Rossetti, D.J.: A statistical load dependency model for cpu errors at slac. In: Twenty-Fifth International Symposium on Fault-Tolerant Computing, ‘Highlights from Twenty-Five Years’, p. 373 (June 1995)Dodd, P.E., Shaneyfelt, M.R., Felix, J.A., Schwank, J.R.: Production and propagation of single-event transients in high-speed digital logic ics. IEEE Transactions on Nuclear Science 51, 3278–3284 (2004)Nightingale, E.B., Douceur, J.R., Orgovan, V.: Cycles, cells and platters: an empirical analysisof hardware failures on a million consumer pcs. In: Proceedings of the Sixth Conference on Computer Systems, EuroSys 2011, pp. 343–356. ACM, New York (2011)Kimseng, K., Hoit, M., Tiwari, N., Pecht, M.: Physics-of-failure assessment of a cruise control module. Microelectronics Reliability 39(10), 1423–1444 (1999)Savir, J.: Detection of single intermittent faults in sequential circuits. IEEE Trans. Comput. 29(7), 673–678 (1980)Correcher, A., Garcia, E., Morant, F., Quiles, E., Rodriguez, L.: Intermittent failure dynamics characterization. IEEE Transactions on Reliability 61(3), 649–658 (2012)Sorensen, B., Kelly, G., Sajecki, A., Sorensen, P.: An analyzer for detecting intermittent faults in electronic devices. In: AUTOTESTCON 1994. IEEE Systems Readiness Technology Conference. ‘Cost Effective Support Into the Next Century’, Conference Proceedings, pp. 417–421 (September 1994)Sosnowski, J.: Transient fault tolerance in digital systems. IEEE Micro 14(1), 24–35 (1994)Bondavalli, A., Chiaradonna, S., Di Giandomenico, F., Grandoni, F.: Threshold-based mechanisms to discriminate transient from intermittent faults. IEEE Trans. Comput. 49(3), 230–245 (2000)Rashid, L., Pattabiraman, K., Gopalakrishnan, S.: Intermittent hardware errors and recovery: modelling and evaluation. In: International Conference on Quantitative Evaluation of Systems, QEST (2012)Touba, N.A., McCluskey, E.J.: Logic synthesis of multilevel circuits with concurrent error detection. IEEE Trans. CAD 16(7), 783–789 (1997)Nicolaidis, M., Manich, S., Figueras, J.: Achieving fault secureness in parity prediction arithmetic operators: General conditions and implementations. In: Proceedings of the 1996 European conference on Design and Test, EDTC 1996, pp. 186–193. IEEE Computer Society, Washington, DC (1996)Ko, S.B., Lo, J.C.: Efficient realization of parity prediction functions in fpgas. J. Electron. Test. 20(5), 489–499 (2004)D’Angelo, S., Sechi, G.R., Metra, C.: Transient and permanent fault diagnosis for fpga-based tmr systems. In: Proceedings of the 14th International Symposium on Defect and Fault-Tolerance in VLSI Systems, DFT 1999, pp. 330–338. IEEE Computer Society, Washington, DC (1999)Kim, C.: Detection and location of intermittent faults by monitoring carrier signal channel behavior of electrical interconnection system. In: Electric Ship Technologies Symposium, ESTS 2009, pp. 449–455. IEEE (April 2009

Temperature responses of Rubisco from Paniceae grasses provide opportunities for improving C3 photosynthesis.

Enhancing the catalytic properties of the CO2-fixing enzyme Rubisco is a target for improving agricultural crop productivity. Here, we reveal extensive diversity in the kinetic response between 10 and 37 °C by Rubisco from C3 and C4 species within the grass tribe Paniceae. The CO2 fixation rate (kcatc) for Rubisco from the C4 grasses with nicotinamide adenine dinucleotide (NAD) phosphate malic enzyme (NADP-ME) and phosphoenolpyruvate carboxykinase (PCK) photosynthetic pathways was twofold greater than the kcatc of Rubisco from NAD-ME species across all temperatures. The declining response of CO2/O2 specificity with increasing temperature was less pronounced for PCK and NADP-ME Rubisco, which would be advantageous in warmer climates relative to the NAD-ME grasses. Modelled variation in the temperature kinetics of Paniceae C3 Rubisco and PCK Rubisco differentially stimulated C3 photosynthesis relative to tobacco above and below 25 °C under current and elevated CO2. Amino acid substitutions in the large subunit that could account for the catalytic variation among Paniceae Rubisco are identified; however, incompatibilities with Paniceae Rubisco biogenesis in tobacco hindered their mutagenic testing by chloroplast transformation. Circumventing these bioengineering limitations is critical to tailoring the properties of crop Rubisco to suit future climates

Conformational Proofreading: The Impact of Conformational Changes on the Specificity of Molecular Recognition

To perform recognition, molecules must locate and specifically bind their targets within a noisy biochemical environment with many look-alikes. Molecular recognition processes, especially the induced-fit mechanism, are known to involve conformational changes. This raises a basic question: Does molecular recognition gain any advantage by such conformational changes? By introducing a simple statistical-mechanics approach, we study the effect of conformation and flexibility on the quality of recognition processes. Our model relates specificity to the conformation of the participant molecules and thus suggests a possible answer: Optimal specificity is achieved when the ligand is slightly off target; that is, a conformational mismatch between the ligand and its main target improves the selectivity of the process. This indicates that deformations upon binding serve as a conformational proofreading mechanism, which may be selected for via evolution

Optimizing the Design of Oligonucleotides for Homology Directed Gene Targeting

BACKGROUND: Gene targeting depends on the ability of cells to use homologous recombination to integrate exogenous DNA into their own genome. A robust mechanistic model of homologous recombination is necessary to fully exploit gene targeting for therapeutic benefit. METHODOLOGY/PRINCIPAL FINDINGS: In this work, our recently developed numerical simulation model for homology search is employed to develop rules for the design of oligonucleotides used in gene targeting. A Metropolis Monte-Carlo algorithm is used to predict the pairing dynamics of an oligonucleotide with the target double-stranded DNA. The model calculates the base-alignment between a long, target double-stranded DNA and a probe nucleoprotein filament comprised of homologous recombination proteins (Rad51 or RecA) polymerized on a single strand DNA. In this study, we considered different sizes of oligonucleotides containing 1 or 3 base heterologies with the target; different positions on the probe were tested to investigate the effect of the mismatch position on the pairing dynamics and stability. We show that the optimal design is a compromise between the mean time to reach a perfect alignment between the two molecules and the stability of the complex. CONCLUSION AND SIGNIFICANCE: A single heterology can be placed anywhere without significantly affecting the stability of the triplex. In the case of three consecutive heterologies, our modeling recommends using long oligonucleotides (at least 35 bases) in which the heterologous sequences are positioned at an intermediate position. Oligonucleotides should not contain more than 10% consecutive heterologies to guarantee a stable pairing with the target dsDNA. Theoretical modeling cannot replace experiments, but we believe that our model can considerably accelerate optimization of oligonucleotides for gene therapy by predicting their pairing dynamics with the target dsDNA

Positively selected amino acid replacements within the RuBisCO enzyme of oak trees are associated with ecological adaptations

Phylogenetic analysis by maximum likelihood (PAML) has become the standard approach to study positive selection at the molecular level, but other methods may provide complementary ways to identify amino acid replacements associated with particular conditions. Here, we compare results of the decision tree (DT) model method with ones of PAML using the key photosynthetic enzyme RuBisCO as a model system to study molecular adaptation to particular ecological conditions in oaks (Quercus). We sequenced the chloroplast rbcL gene encoding RuBisCO large subunit in 158 Quercus species, covering about a third of the global genus diversity. It has been hypothesized that RuBisCO has evolved differentially depending on the environmental conditions and leaf traits governing internal gas diffusion patterns. Here, we show, using PAML, that amino acid replacements at the residue positions 95, 145, 251, 262 and 328 of the RuBisCO large subunit have been the subject of positive selection along particular Quercus lineages associated with the leaf traits and climate characteristics. In parallel, the DT model identified amino acid replacements at sites 95, 219, 262 and 328 being associated with the leaf traits and climate characteristics, exhibiting partial overlap with the results obtained using PAML

Early Treatment with Fumagillin, an Inhibitor of Methionine Aminopeptidase-2, Prevents Pulmonary Hypertension in Monocrotaline-Injured Rats

Pulmonary Hypertension (PH) is a pathophysiologic condition characterized by hypoxemia and right ventricular strain. Proliferation of fibroblasts, smooth muscle cells, and endothelial cells is central to the pathology of PH in animal models and in humans. Methionine aminopeptidase-2 (MetAP2) regulates proliferation in a variety of cell types including endothelial cells, smooth muscle cells, and fibroblasts. MetAP2 is inhibited irreversibly by the angiogenesis inhibitor fumagillin. We have previously found that inhibition of MetAP2 with fumagillin in bleomycin-injured mice decreased pulmonary fibrosis by selectively decreasing the proliferation of lung myofibroblasts. In this study, we investigated the role of fumagillin as a potential therapy in experimental PH. In vivo, treatment of rats with fumagillin early after monocrotaline injury prevented PH and right ventricular remodeling by decreasing the thickness of the medial layer of the pulmonary arteries. Treatment with fumagillin beginning two weeks after monocrotaline injury did not prevent PH but was associated with decreased right ventricular mass and decreased cardiomyocyte hypertrophy, suggesting a direct effect of fumagillin on right ventricular remodeling. Incubation of rat pulmonary artery smooth muscle cells (RPASMC) with fumagillin and MetAP2-targeting siRNA inhibited proliferation of RPASMC in vitro. Platelet-derived growth factor, a growth factor that is important in the pathogenesis of PH and stimulates proliferation of fibroblasts and smooth muscle cells, strongly increased expression of MetP2. By immunohistochemistry, we found that MetAP2 was expressed in the lesions of human pulmonary arterial hypertension. We propose that fumagillin may be an effective adjunctive therapy for treating PH in patients

DNA Barcode Sequence Identification Incorporating Taxonomic Hierarchy and within Taxon Variability

For DNA barcoding to succeed as a scientific endeavor an accurate and expeditious query sequence identification method is needed. Although a global multiple–sequence alignment can be generated for some barcoding markers (e.g. COI, rbcL), not all barcoding markers are as structurally conserved (e.g. matK). Thus, algorithms that depend on global multiple–sequence alignments are not universally applicable. Some sequence identification methods that use local pairwise alignments (e.g. BLAST) are unable to accurately differentiate between highly similar sequences and are not designed to cope with hierarchic phylogenetic relationships or within taxon variability. Here, I present a novel alignment–free sequence identification algorithm–BRONX–that accounts for observed within taxon variability and hierarchic relationships among taxa. BRONX identifies short variable segments and corresponding invariant flanking regions in reference sequences. These flanking regions are used to score variable regions in the query sequence without the production of a global multiple–sequence alignment. By incorporating observed within taxon variability into the scoring procedure, misidentifications arising from shared alleles/haplotypes are minimized. An explicit treatment of more inclusive terminals allows for separate identifications to be made for each taxonomic level and/or for user–defined terminals. BRONX performs better than all other methods when there is imperfect overlap between query and reference sequences (e.g. mini–barcode queries against a full–length barcode database). BRONX consistently produced better identifications at the genus–level for all query types

18F-Fluciclovine PET/CT performance in biochemical recurrence of prostate cancer: a systematic review

Background A systematic literature review of the performance of 18Fluorine-fluciclovine PET/CT for imaging of men with recurrent prostate cancer was performed. Methods Scientific literature databases (MEDLINE, ScienceDirect and Cochrane Libraries) were searched systematically during Oct 2020 using PRISMA criteria. No limit was put on the date of publication. Prospective studies reporting a patient-level 18F-fluciclovine detection rate (DR) from ≥25 patients with recurrent prostate cancer were sought. Proceedings of relevant meetings held from 2018 through Oct 2020 were searched for abstracts meeting criteria. Results Searches identified 321 unique articles. In total, nine articles (six papers and three conference abstracts), comprising a total of 850 patients met inclusion criteria. Most studies (n = 6) relied on ASTRO-Phoenix Criteria, EAU-ESTRO-SIOG, and/or ASTRO-AUA guidelines to identify patients with biochemical recurrence. Patients’ PSA levels ranged from 0.02–301.7 ng/mL (median level per study, 0.34–4.10 ng/mL [n = 8]). Approximately 64% of patients had undergone prostatectomy, but three studies focused solely on post-prostatectomy patients. Adherence to imaging protocol guidelines was heterogeneous, with variance seen in administered activity, uptake and scan times. Overall patient-level DR varied between studies from 26% to 83%, with 78% of studies reporting a DR > 50%. DR was proportional to PSA, but even at PSA < 0.5 ng/mL DR of up to 53% were reported. Prostate/bed DR (n = 7) ranged from 18% to 78% and extra-prostatic rates (n = 6) from 8% to 72%. Pelvic node and bone lesion DR ranged from 8% to 47% and 0% to 26%, respectively (n = 5). 18F-Fluciclovine PET/CT was shown to impact patient management and outcomes. Two studies reported 59–63% of patients to have a management change post-scan. A further study showed significant increase in failure-free survival following 18F-fluciclovine-guided compared with conventional imaging-guided radiotherapy planning. Conclusions 18F-Fluciclovine PET/CT shows good performance in patients with recurrent prostate cancer leading to measurable clinical benefits. Careful adherence to recommended imaging protocols may help optimize DR

Improved cutting

algorith