Efficient Mitigation of Data and Control Flow Errors in Microprocessors

The use of microprocessor-based systems is gaining importance in application domains where safety is a must. For this reason, there is a growing concern about the mitigation of SEU and SET effects. This paper presents a new hybrid technique aimed to protect both the data and the control-flow of embedded applications running on microprocessors. On one hand, the approach is based on software redundancy techniques for correcting errors produced in the data. On the other hand, control-flow errors can be detected by reusing the on-chip debug interface, existing in most modern microprocessors. Experimental results show an important increase in the system reliability even superior to two orders of magnitude, in terms of mitigation of both SEUs and SETs. Furthermore, the overheads incurred by our technique can be perfectly assumable in low-cost systems.

Bienes muebles de mudéjares castellonenses. Siglo XV

Transcripción y estudio de 23 inventarios de bienes muebles de mudéjares castellonenses a través de los libros del Corte de Justicia para Castellón, Segorbe y Onda, fuente de muchos datos de diverso tipo sobre la vida de estos mudéjares y que generalmente se redactan post mortem para satisfacer deudas del fallecido. Se centra el análisis en la propiedad de animales de tiro y transporte, el trabajo de las fibras textiles y los elementos externos que los diferencian de los cristianos.