Selective SWIFT-R. A Flexible Software-Based Technique for Soft Error Mitigation in Low-Cost Embedded Systems

Commercial off-the-shelf microprocessors are the core of low-cost embedded systems due to their programmability and cost-effectiveness. Recent advances in electronic technologies have allowed remarkable improvements in their performance. However, they have also made microprocessors more susceptible to transient faults induced by radiation. These non-destructive events (soft errors), may cause a microprocessor to produce a wrong computation result or lose control of a system with catastrophic consequences. Therefore, soft error mitigation has become a compulsory requirement for an increasing number of applications, which operate from the space to the ground level. In this context, this paper uses the concept of selective hardening, which is aimed to design reduced-overhead and flexible mitigation techniques. Following this concept, a novel flexible version of the software-based fault recovery technique known as SWIFT-R is proposed. Our approach makes possible to select different registers subsets from the microprocessor register file to be protected on software. Thus, design space is enriched with a wide spectrum of new partially protected versions, which offer more flexibility to designers. This permits to find the best trade-offs between performance, code size, and fault coverage. Three case studies have been developed to show the applicability and flexibility of the proposal.

Moisture Distribution in Partially Saturated Concrete Studied by Impedance Spectroscopy

The moisture content and its spatial distribution has a great influence on the durability properties of concrete structures. Several non-destructive techniques have been used for the determination of the total water content, but moisture distribution is difficult to determine. In this paper impedance spectroscopy is used to study the water distribution in concrete samples with controlled and homogeneously distributed moisture contents. The technique is suitable for the determination of water distribution inside the sample, using the appropriate equivalent circuits. It is shown that using the selected drying procedures there is no change in the solid phase of the samples, although the technique can only be used for the qualitative study of variations in the solid phase when samples are too thick. The results of this work show that for a wide range of concrete percentages of saturation, from full to 18 % saturation, practically all the pores keep at least a thin layer of electrolyte covering their walls, since the capacitance measurement results are practically independent of the saturation degree.

Optimal model through identified frequencies of a masonry building structure with wooden floors

The paper presents the analysis of an important historical building: the Saint James Theater in the city of Corfù (Greece) actually used as the Municipality House. The building, located in the center of the city, is made of carves stones and is characterized by a stocky shape and by the presence of wooden floors. The study deals with the structural identification of such structure through the analysis of its ambient vibrations recorded by means of accelerometers with high accuracy. A full dynamic testing was developed using ambient vibrations to identify the main modal parameters and to make a non-destructive characterization of this building. The results of these dynamic tests are compared with the modal analysis of a complex finite element (FE) simulation of the structure. This analysis may present several problems and uncertainties for this stocky building. Due to the presence of wooden floors, the local modes can be highly excited and, as a consequence, the evaluation of the structural modal parameters presents some difficulties.

Termografía infrarroja aplicada en cúpulas históricas: identificación y análisis de sistemas constructivos

El uso específico de la termografía infrarroja como técnica no destructiva permite el estudio de sistemas constructivos en edificios históricos (caracterización de materiales, disposición constructiva o identificación de elementos originales). Así, se muestra una aplicación práctica en templos en la provincia de Alicante construidos entre finales del siglo XVII y principios del xix, donde se analiza la complementariedad de las imágenes termográficas de 140 cúpulas (junto con datos recopilados in situ, dibujos originales y levantamiento de planos) como herramienta de estudio en fases de análisis previas a una restauración. En conclusión, la investigación detalla una aplicación termográfica al estudio de distintos aspectos como el reconocimiento de materiales empleados (90,71 % ladrillo macizo, 6,43 % ladrillo hueco y 2,86 % piedra), variaciones de espesor interior y exterior (75,71 % perfil apuntado, 17,86 % perfil semiesférico y 6,43 % perfil rebajado), caracterización de grietas/fisuras (estado de conservación) e identificación de cúpulas originales (96,43 %) o restauradas (3,57 %).

A Hardware-Software Approach for On-Line Soft Error Mitigation in Interrupt-Driven Applications

Integrity assurance of configuration data has a significant impact on microcontroller-based systems reliability. This is especially true when running applications driven by events which behavior is tightly coupled to this kind of data. This work proposes a new hybrid technique that combines hardware and software resources for detecting and recovering soft-errors in system configuration data. Our approach is based on the utilization of a common built-in microcontroller resource (timer) that works jointly with a software-based technique, which is responsible to periodically refresh the configuration data. The experiments demonstrate that non-destructive single event effects can be effectively mitigated with reduced overheads. Results show an important increase in fault coverage for SEUs and SETs, about one order of magnitude.