EXFI: a low cost Fault Injection System for embedded Microprocessor-based Boards

Evaluating the faulty behavior of low-cost embedded microprocessor-based boards is an increasingly important issue, due to their adoption in many safety critical systems. The architecture of a complete Fault Injection environment is proposed, integrating a module for generating a collapsed list of faults, and another for performing their injection and gathering the results. To address this issue, the paper describes a software-implemented Fault Injection approach based on the Trace Exception Mode available in most microprocessors. The authors describe EXFI, a prototypical system implementing the approach, and provide data about some sample benchmark applications. The main advantages of EXFI are the low cost, the good portability, and the high efficienc

Enabling onshore CO2 storage in Europe: fostering international cooperation around pilot and test sites

To meet the ambitious EC target of an 80% reduction in greenhouse gas emissions by 2050, CO2 Capture and Storage (CCS) needs to move rapidly towards full scale implementation with geological storage solutions both on and offshore. Onshore storage offers increased flexibility and reduced infrastructure and monitoring costs. Enabling onshore storage will support management of decarbonisation strategies at territory level while enhancing security of energy supply and local economic activities, and securing jobs across Europe. However, successful onshore storage also requires overcoming some unique technical and societal challenges. ENOS will provide crucial advances to help foster onshore CO2 storage across Europe through: 1. Developing, testing and demonstrating in the field, under "real-life conditions", key technologies specifically adapted to onshore storage. 2. Contributing to the creation of a favourable environment for onshore storage across Europe. The ENOS site portfolio will provide a great opportunity for demonstration of technologies for safe and environmentally sound storage at relevant scale. Best practices will be developed using experience gained from the field experiments with the participation of local stakeholders and the lay public. This will produce improved integrated research outcomes and increase stakeholder understanding and confidence in CO2 storage. In this improved framework, ENOS will catalyse new onshore pilot and demonstration projects in new locations and geological settings across Europe, taking into account the site-specific and local socio-economic context. By developing technologies from TRL4/5 to TRL6 across the storage lifecycle, feeding the resultant knowledge and experience into training and education and cooperating at the pan-European and global level, ENOS will have a decisive impact on innovation and build the confidence needed for enabling onshore CO2 storage in Europe. ENOS is initiating strong international collaboration between European researchers and their counterparts from the USA, Canada, South Korea, Australia and South Africa for sharing experience worldwide based on real-life onshore pilots and field experiments. Fostering experience-sharing and research alignment between existing sites is key to maximise the investment made at individual sites and to support the efficient large scale deployment of CCS. ENOS is striving to promote collaboration between sites in the world through a programme of site twinning, focus groups centered around operative issues and the creation of a leakage simulation alliance

The Art of Fault Injection

Classical greek philosopher considered the foremost virtues to be temperance, justice, courage, and prudence. In this paper we relate these cardinal virtues to the correct methodological approaches that researchers should follow when setting up a fault injection experiment. With this work we try to understand where the "straightforward pathway" lies, in order to highlight those common methodological errors that deeply influence the coherency and the meaningfulness of fault injection experiments. Fault injection is like an art, where the success of the experiments depends on a very delicate balance between modeling, creativity, statistics, and patience

Experimental analysis of computer system dependability

This paper reviews an area which has evolved over the past 15 years: experimental analysis of computer system dependability. Methodologies and advances are discussed for three basic approaches used in the area: simulated fault injection, physical fault injection, and measurement-based analysis. The three approaches are suited, respectively, to dependability evaluation in the three phases of a system's life: design phase, prototype phase, and operational phase. Before the discussion of these phases, several statistical techniques used in the area are introduced. For each phase, a classification of research methods or study topics is outlined, followed by discussion of these methods or topics as well as representative studies. The statistical techniques introduced include the estimation of parameters and confidence intervals, probability distribution characterization, and several multivariate analysis methods. Importance sampling, a statistical technique used to accelerate Monte Carlo simulation, is also introduced. The discussion of simulated fault injection covers electrical-level, logic-level, and function-level fault injection methods as well as representative simulation environments such as FOCUS and DEPEND. The discussion of physical fault injection covers hardware, software, and radiation fault injection methods as well as several software and hybrid tools including FIAT, FERARI, HYBRID, and FINE. The discussion of measurement-based analysis covers measurement and data processing techniques, basic error characterization, dependency analysis, Markov reward modeling, software-dependability, and fault diagnosis. The discussion involves several important issues studies in the area, including fault models, fast simulation techniques, workload/failure dependency, correlated failures, and software fault tolerance

Transient fault behavior in a microprocessor: A case study

An experimental analysis is described which studies the susceptibility of a microprocessor based jet engine controller to upsets caused by current and voltage transients. A design automation environment which allows the run time injection of transients and the tracing from their impact device to the pin level is described. The resulting error data are categorized by the charge levels of the injected transients by location and by their potential to cause logic upsets, latched errors, and pin errors. The results show a 3 picoCouloumb threshold, below which the transients have little impact. An Arithmetic and Logic Unit transient is most likely to result in logic upsets and pin errors (i.e., impact the external environment). The transients in the countdown unit are potentially serious since they can result in latched errors, thus causing latent faults. Suggestions to protect the processor against these errors, by incorporating internal error detection and transient suppression techniques, are also made

Expert-based development of a standard in CO2 sequestration monitoring technology

Bureau of Economic Geolog

Prognostic Reasoner based adaptive power management system for a more electric aircraft

This research work presents a novel approach that addresses the concept of an adaptive power management system design and development framed in the Prognostics and Health Monitoring(PHM) perspective of an Electrical power Generation and distribution system(EPGS).PHM algorithms were developed to detect the health status of EPGS components which can accurately predict the failures and also able to calculate the Remaining Useful Life(RUL), and in many cases reconfigure for the identified system and subsystem faults. By introducing these approach on Electrical power Management system controller, we are gaining a few minutes lead time to failures with an accurate prediction horizon on critical systems and subsystems components that may introduce catastrophic secondary damages including loss of aircraft. The warning time on critical components and related system reconfiguration must permits safe return to landing as the minimum criteria and would enhance safety. A distributed architecture has been developed for the dynamic power management for electrical distribution system by which all the electrically supplied loads can be effectively controlled.A hybrid mathematical model based on the Direct-Quadrature (d-q) axis transformation of the generator have been formulated for studying various structural and parametric faults. The different failure modes were generated by injecting faults into the electrical power system using a fault injection mechanism. The data captured during these studies have been recorded to form a “Failure Database” for electrical system. A hardware in loop experimental study were carried out to validate the power management algorithm with FPGA-DSP controller. In order to meet the reliability requirements a Tri-redundant electrical power management system based on DSP and FPGA has been develope

Frio pilot in CO2 sequestration in brine-bearing sandstones: The University of Texas at Austin, Bureau of Economic Geology, report to the Texas Commission on Environmental Quality to accompany a class V application for an experimental technology pilot injection well.

GEOSEQ project (LBNL, LLNL, ORNL), NETL, Schlumberger–Doll Research Center, Transpetco, Sandia TechnologiesJackson School of Geoscience