Error injection aimed at fault removal in fault tolerance mechanisms-criteria for error selection using field data on software faults

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

Electronics ◽

10.3390/electronics10101179 ◽

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.

Download Full-text

Towards On-line Adaptation of Fault Tolerance Mechanisms

2010 European Dependable Computing Conference ◽

10.1109/edcc.2010.15 ◽

2010 ◽

Cited By ~ 4

Author(s):

Jean-Charles Fabre ◽

Marc-Olivier Killijian ◽

Thomas Pareaud

Keyword(s):

Fault Tolerance ◽

Tolerance Mechanisms ◽

On Line

Download Full-text

A Design for Fault-Tolerant Communication Middleware Based on Time-Triggered

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.548-549.1326 ◽

2014 ◽

Vol 548-549 ◽

pp. 1326-1329

Author(s):

Juan Jin ◽

Qing Fan Gu

Keyword(s):

Fault Tolerance ◽

Real Time ◽

Fault Location ◽

Fault Tolerant ◽

Application Software ◽

Tolerance Mechanisms ◽

The Real ◽

Communication Middleware ◽

Fault Mechanism ◽

Health Diagnosis

Against to the unsustainable problems of health diagnosis, fault location and fault tolerance mechanisms that existing in the current avionics applications, we proposed a fault-tolerant communication middleware which is based on time-triggered in this paper. This middleware is designed to provide a support platform for applications of the real-time based on communication middleware. From the communication middleware level and also combined with time-triggered mechanism and fault-tolerant strategy, it diagnoses the general faults first, and then routes them to the appropriate fault mechanism to process it. So the middleware completely separates fault-tolerant process from the application software functions.

Download Full-text