scholarly journals Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation

2014 ◽  
Vol 2014 ◽  
pp. 1-15 ◽  
Author(s):  
Antonio da Silva ◽  
Pablo Parra ◽  
Óscar R. Polo ◽  
Sebastián Sánchez
Keyword(s):  
Fault Tolerance ◽  
Energetic Particle ◽  
Fault Injection ◽  
Source Code ◽  
Control Unit ◽  
Particle Detector ◽  
Instrument Control ◽  
Requirements Verification ◽  
Protocol Compliance ◽  
System Properties

This paper presents the design of a SystemC transaction level modelling wrapping library that can be used for the assertion of system properties, protocol compliance, or fault injection. The library uses C++ virtual table hooks as a dynamic binary instrumentation technique to inline wrappers in the TLM2 transaction path. This technique can be applied after the elaboration phase and needs neither source code modifications nor recompilation of the top level SystemC modules. The proposed technique has been successfully applied to the robustness verification of the on-board boot software of the Instrument Control Unit of the Solar Orbiter’s Energetic Particle Detector.

scholarly journals ARINC653 Channel Robustness Verification Using LeonViP-MC, a LEON4 Multicore Virtual Platform

Electronics ◽  
2021 ◽  
Vol 10 (10) ◽  
pp. 1179
Author(s):  
Jonatan Sánchez ◽  
Antonio da Silva ◽  
Pablo Parra ◽  
Óscar R. Polo ◽  
Agustín Martínez Hellín ◽  
...  
Keyword(s):  
Fault Tolerance ◽  
Architectural Design ◽  
Fault Injection ◽  
Control Unit ◽  
Tolerance Mechanisms ◽  
Efficient Data ◽  
Instrument Control ◽  
Virtual Platform ◽  
Hardware Platforms ◽  
The University

Multicore hardware platforms are being incorporated into spacecraft on-board systems to achieve faster and more efficient data processing. However, such systems lead to increased complexity in software development and represent a considerable challenge, especially concerning the runtime verification of fault-tolerance requirements. To address the ever-challenging verification of this kind of requirement, we introduce a LEON4 multicore virtual platform called LeonViP-MC. LeonViP-MC is an evolution of a previous development called Leon2ViP, carried out by the Space Research Group of the University of Alcalá (SRG-UAH), which has been successfully used in the development and testing of the flight software of the instrument control unit (ICU) of the energetic particle detector (EPD) on board the Solar Orbiter. This paper describes the LeonViP-MC architectural design decisions oriented towards fault-injection campaigns to verify software fault-tolerance mechanisms. To validate the simulator, we developed an ARINC653 communications channel that incorporates fault-tolerance mechanisms and is currently being used to develop a hypervisor level for the GR740 platform.

HW/SW Co-design of the Instrument Control Unit for the Energetic Particle Detector on-board Solar Orbiter

2013 ◽  
Vol 52 (6) ◽  
pp. 989-1007 ◽  
Author(s):  
Sebastián Sánchez ◽  
Manuel Prieto ◽  
Óscar R. Polo ◽  
Pablo Parra ◽  
Antonio da Silva ◽  
...  
Keyword(s):  
Energetic Particle ◽  
Control Unit ◽  
Particle Detector ◽  
Instrument Control

The instrument control unit of SPICA SAFARI: a macro-unit to host all the digital control functionalities of the spectrometer

2012 ◽  
Author(s):  
Anna Maria Di Giorgio ◽  
David Biondi ◽  
Bortolino Saggin ◽  
Irina Shatalina ◽  
Maurizio Viterbini ◽  
...  
Keyword(s):  
Digital Control ◽  
Control Unit ◽  
Instrument Control

First Results from Solar Orbiter’s Energetic Particle Detector

2021 ◽  
Author(s):  
Javier Rodriguez-Pacheco ◽  
Keyword(s):  
Energetic Particle ◽  
Wide Energy Range ◽  
High Temporal Resolution ◽  
The Sun ◽  
Particle Detector ◽  
First Results ◽  
Wide Energy ◽  
Spatio Temporal ◽  
Inner Heliosphere

<p>In this presentation, we will show the first measurements performed by EPD since the end of the commissioning phase until the latest results obtained. During these months EPD has been scanning the inner heliosphere at different heliocentric distances and heliolongitues allowing - together with other spacecraft - to investigate the spatio-temporal behavior of the particle populations in the inner heliosphere during solar minimum conditions. Solar Orbiter was launched from Cape Canaveral on February 10th, 2020, thus beginning the journey to its encounter with the Sun. Solar Orbiter carries ten scientific instruments, six remote sensing and four in situ, that will allow the mission main goal: how the Sun creates and controls the heliosphere. Among the in situ instruments, the Energetic Particle Detector (EPD) measures electrons, protons and heavy ions with high temporal resolution over a wide energy range, from suprathermal energies up to several hundreds of MeV/nucleon.</p>

A Method to Support Fault Tolerance Design in Service Oriented Computing Systems

2012 ◽  
pp. 362-376
Author(s):  
Domenico Cotroneo ◽  
Antonio Pecchia ◽  
Roberto Pietrantuono ◽  
Stefano Russo
Keyword(s):  
Fault Tolerance ◽  
Common Ground ◽  
Fault Injection ◽  
Failure Behavior ◽  
Tolerance Design ◽  
System Failure ◽  
Computing Systems ◽  
Service Oriented Computing ◽  
Service Oriented ◽  
Tailored Design

Service Oriented Computing relies on the integration of heterogeneous software technologies and infrastructures that provide developers with a common ground for composing services and producing applications flexibly. However, this approach eases software development but makes dependability a big challenge. Integrating such diverse software items raise issues that traditional testing is not able to exhaustively cope with. In this context, tolerating faults, rather than attempt to detect them solely by testing, is a more suitable solution. This paper proposes a method to support a tailored design of fault tolerance actions for the system being developed. This paper describes system failure behavior through an extensive fault injection campaign to figure out its criticalities and adopt the most appropriate countermeasures to tolerate operational faults. The proposed method is applied to two distinct SOC-enabling technologies. Results show how the achieved findings allow designers to understand the system failure behavior and plan fault tolerance.

A Method to Support Fault Tolerance Design in Service Oriented Computing Systems

2010 ◽  
Vol 1 (3) ◽  
pp. 75-89
Author(s):  
Domenico Cotroneo ◽  
Antonio Pecchia ◽  
Roberto Pietrantuono ◽  
Stefano Russo
Keyword(s):  
Fault Tolerance ◽  
Common Ground ◽  
Fault Injection ◽  
Failure Behavior ◽  
Tolerance Design ◽  
System Failure ◽  
Computing Systems ◽  
Service Oriented Computing ◽  
Service Oriented ◽  
Tailored Design

Service Oriented Computing relies on the integration of heterogeneous software technologies and infrastructures that provide developers with a common ground for composing services and producing applications flexibly. However, this approach eases software development but makes dependability a big challenge. Integrating such diverse software items raise issues that traditional testing is not able to exhaustively cope with. In this context, tolerating faults, rather than attempt to detect them solely by testing, is a more suitable solution. This paper proposes a method to support a tailored design of fault tolerance actions for the system being developed. This paper describes system failure behavior through an extensive fault injection campaign to figure out its criticalities and adopt the most appropriate countermeasures to tolerate operational faults. The proposed method is applied to two distinct SOC-enabling technologies. Results show how the achieved findings allow designers to understand the system failure behavior and plan fault tolerance.

scholarly journals Proposal of an Adaptive Fault Tolerance Mechanism to Tolerate Intermittent Faults in RAM

Electronics ◽  
2020 ◽  
Vol 9 (12) ◽  
pp. 2074
Author(s):  
J.-Carlos Baraza-Calvo ◽  
Joaquín Gracia-Morán ◽  
Luis-J. Saiz-Adalid ◽  
Daniel Gil-Tomás ◽  
Pedro-J. Gil-Vicente
Keyword(s):  
Fault Tolerance ◽  
Error Correction ◽  
Error Detection ◽  
Fault Injection ◽  
Error Correction Codes ◽  
Transient Faults ◽  
Tolerance Mechanism ◽  
Intermittent Faults ◽  
Risc Processor ◽  
Simulation Based

Due to transistor shrinking, intermittent faults are a major concern in current digital systems. This work presents an adaptive fault tolerance mechanism based on error correction codes (ECC), able to modify its behavior when the error conditions change without increasing the redundancy. As a case example, we have designed a mechanism that can detect intermittent faults and swap from an initial generic ECC to a specific ECC capable of tolerating one intermittent fault. We have inserted the mechanism in the memory system of a 32-bit RISC processor and validated it by using VHDL simulation-based fault injection. We have used two (39, 32) codes: a single error correction–double error detection (SEC–DED) and a code developed by our research group, called EPB3932, capable of correcting single errors and double and triple adjacent errors that include a bit previously tagged as error-prone. The results of injecting transient, intermittent, and combinations of intermittent and transient faults show that the proposed mechanism works properly. As an example, the percentage of failures and latent errors is 0% when injecting a triple adjacent fault after an intermittent stuck-at fault. We have synthesized the adaptive fault tolerance mechanism proposed in two types of FPGAs: non-reconfigurable and partially reconfigurable. In both cases, the overhead introduced is affordable in terms of hardware, time and power consumption.

scholarly journals Automated Testing of Ultrawideband Positioning for Autonomous Driving

2020 ◽  
Vol 2020 ◽  
pp. 1-15
Author(s):  
Benjamin Vedder ◽  
Bo Joel Svensson ◽  
Jonny Vinter ◽  
Magnus Jonsson
Keyword(s):  
Fault Tolerance ◽  
Real Time ◽  
Autonomous Vehicles ◽  
Fault Injection ◽  
Autonomous Driving ◽  
Automated Testing ◽  
Test Cases ◽  
Positioning System ◽  
Novel Approach ◽  
Driving Model

Autonomous vehicles need accurate and dependable positioning, and these systems need to be tested extensively. We have evaluated positioning based on ultrawideband (UWB) ranging with our self-driving model car using a highly automated approach. Random drivable trajectories were generated, while the UWB position was compared against the Real-Time Kinematic Satellite Navigation (RTK-SN) positioning system which our model car also is equipped with. Fault injection was used to study the fault tolerance of the UWB positioning system. Addressed challenges are automatically generating test cases for real-time hardware, restoring the state between tests, and maintaining safety by preventing collisions. We were able to automatically generate and carry out hundreds of experiments on the model car in real time and rerun them consistently with and without fault injection enabled. Thereby, we demonstrate one novel approach to perform automated testing on complex real-time hardware.

Measuring and Assessing Tools

2009 ◽  
pp. 301-325
Author(s):  
Vincenzo De Florio
Keyword(s):  
Fault Injection ◽  
Source Code ◽  
Field Testing ◽  
Verification And Validation ◽  
Code Instrumentation

As mentioned in Chapter I, a service’s dependability must be justified in a quantitative way and proved through extensive on-field testing and fault injection, verification and validation techniques, simulation, source-code instrumentation, monitoring, and debugging. An exhaustive treatment of all these techniques falls outside the scope of this book, nevertheless the author feels important to include in this text an analysis of the effect on dependability of some of the methods that have been introduced in previous chapters.

Sign in / Sign up

Export Citation Format

Share Document