Real-time fault injection using enhanced on-chip debug infrastructures

The rapid increase in the use of microprocessor-based systems in critical areas, where failures imply risks to human lives, to the environment or to expensive equipment, significantly increased the need for dependable systems, able to detect, tolerate and eventually correct faults. The verification and validation of such systems is frequently performed via fault injection, using various forms and techniques. However, as electronic devices get smaller and more complex, controllability and observability issues, and sometimes real time constraints, make it harder to apply most conventional fault injection techniques. This paper proposes a fault injection environment and a scalable methodology to assist the execution of real-time fault injection campaigns, providing enhanced performance and capabilities. Our proposed solutions are based on the use of common and customized on-chip debug (OCD) mechanisms, present in many modern electronic devices, with the main objective of enabling the insertion of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented starting from basic Components Off-The-Shelf (COTS) microprocessors, equipped with real-time OCD infrastructures, to improved solutions based on modified interfaces, and dedicated OCD circuitry that enhance fault injection capabilities and performance. All methodologies and configurations were evaluated and compared concerning performance gain and silicon overhead.

Geological and geotechnical surveys in tectonically active rock masses

The economic development of a region depends on the speed that people and goods can travel. The reduction of people and goods travel time can be achieved by planning smooth road layouts, which are obtained by crossing natural obstacles such as hills, by tunneling at great depths, and allowing the reduction of the road alignment length. The stress state in rock masses at such depths, either because of the overburden or due to the tectonic conditions of the rock mass induces high convergences of the tunnel walls. These high convergence values are incompatible with the supports structural performance installed in the excavation stabilization. In this article it is intended to evaluate and analyze some of the solutions already implemented in several similar geological and geotechnical situations, in order to establish a methodological principle for the design of the tunnels included in a highway section under construction in the region influenced by the Himalayas, in the state of Himachal Pradesh (India) and referenced by "four laning of Kiratpur to Ner Chowk section".

A framework for fault tolerant real time systems based on reconfigurable FPGAs

To increase the amount of logic available to the users in SRAM-based FPGAs, manufacturers are using nanometric technologies to boost logic density and reduce costs, making its use more attractive. However, these technological improvements also make FPGAs particularly vulnerable to configuration memory bit-flips caused by power fluctuations, strong electromagnetic fields and radiation. This issue is particularly sensitive because of the increasing amount of configuration memory cells needed to define their functionality. A short survey of the most recent publications is presented to support the options assumed during the definition of a framework for implementing circuits immune to bit-flips induction mechanisms in memory cells, based on a customized redundant infrastructure and on a detection-and-fix controller.

A modified debugging infrastructure to assist real time fault injection campaigns

Fault injection is frequently used for the verification and validation of the fault tolerant features of microprocessors. This paper proposes the modification of a common on-chip debugging (OCD) infrastructure to add fault injection capabilities and improve performance. The proposed solution imposes a very low logic overhead and provides a flexible and efficient mechanism for the execution of fault injection campaigns, being applicable to different target system architectures.

Tectónica da cadeia da Arrábida

Geociências, Museu Nac. Hist. Nat. Univ. Lisboa, nº 2, 35-84

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Geological control of Podocnemis expansa and Podocnemis unifilis nesting areas in Rio Javaés, Bananal Island, Brazil

The distribution of the nests of Podocnemis expansa (Amazon turtle) and Podocnemis unifilis (yellow-spotted side neck turtle) along the point bars of the Javaés River in Bananal Island, demonstrates a clear preference of these chelonians for differentiated geological environments, in respect to the morphology, grain size or height of the nests in relation to the level of the river. The topographical distribution and the differences in the grain size of the sediments that compose the point bars of the river, originated from the multiple sedimentary processes, and make possible the creation and separation of different nesting environments. Each turtle species takes advantage of the place that presents physiographic characteristics appropriate to the hatching success of their eggs. The superposition of the P. expansa and P. unifilis nest placement areas is rare. The P. expansa nests are concentrated on the central portion of the beaches where successive depositional sedimentary events produced sandy banks more than 3.3 m above the river water level. The P. unifilis nests are distributed preferentially in the upstream and downstream portions along the point bars where the sandy deposits rarely surpass 1.5 m at the moment of laying. P. expansa nests located on the beaches of fine to medium sized sand hatch in a mean of 68 days, while those incubated on beaches of medium to coarse sand size take a mean of 54 days to hatch.

Geological characteristics of the nesting areas of the giant Amazon river turtle (Podocnemis expansa) in the Crixás-Açu river in Goiás State, Brazil

A large population of the giant Amazon river turtle (Podocnemis expansa) nests along the beaches of the Crixás-Açu River in the central western region of Brazil. In spite of the existence of several point bars in the area, only a selected group of beaches is used for nesting by P. expansa. Geological aspects, such as river width and depth, beach height above 200 cm with sandy sediments, were indispensable for the choice of these nesting sites. The relatively reduced dimensions of the point bars and the great number of turtles, which nest in the same local, contributed to the existence of a high nest concentration. The rapid rise of the Crixás-Açu River caused the flooding of the beaches and the drowning of hatchlings and embryos. It is estimated that nearly all the nests were lost. The height of the nesting place and the time of flooding related to the incubation period are decisive in embryo survivorship. The Retiro, Júnior, Assombrado and Limoeiro beaches, which are situated at heights of 183 to 310 cm, were inundated on 8 November 2000. The Barreira Branca beach, with a height of up to 380 cm was completely inundated on 13 December 2000. All of these beaches were flooded before the hatchlings emerged.

Flow updating: fault-tolerant aggregation for dynamic networks

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315

Report of the United States Geological Survey of the territories. F.V. Hayden, United States geologist in charge ... [Final reports or monographs. vol. I]-III, V-XIII.

7

stochastic method for automated matching of horizons across a fault in 3D seismic data

Seismic analysis, horizon matching, fault tracking, marked point process,stochastic annealing

Report of the United States Geological Survey of the territories. F.V. Hayden, United States geologist in charge ... [Final reports or monographs. vol. I]-III, V-XIII.

9

Report of the United States Geological Survey of the territories. F.V. Hayden, United States geologist in charge ... [Final reports or monographs. vol. I]-III, V-XIII.

11