SafeSoftDR: A Library to Enable Software-based Diverse Redundancy for Safety-Critical Tasks

10/03/2022
by   Fabio Mazzocchetti, et al.
0

Applications with safety requirements have become ubiquitous nowadays and can be found in edge devices of all kinds. However, microcontrollers in those devices, despite offering moderate performance by implementing multicores and cache hierarchies, may fail to offer adequate support to implement some safety measures needed for the highest integrity levels, such as lockstepped execution to avoid so-called common cause failures (i.e., a fault affecting redundant components causing the same error in all of them). To respond to this limitation, an approach based on a software monitor enforcing some sort of software-based lockstepped execution across cores has been proposed recently, providing a proof of concept. This paper presents SafeSoftDR, a library providing a standard interface to deploy software-based lockstepped execution across non-natively lockstepped cores relieving end-users from having to manage the burden to create redundant processes, copying input/output data, and performing result comparison. Our library has been tested on x86-based Linux and is currently being integrated on top of an open-source RISC-V platform targeting safety-related applications, hence offering a convenient environment for safety-critical applications.

READ FULL TEXT
research
07/21/2023

Envisioning a Safety Island to Enable HPC Devices in Safety-Critical Domains

HPC (High Performance Computing) devices increasingly become the only al...
research
07/28/2023

SafeLS: Toward Building a Lockstep NOEL-V Core

Safety-critical systems such as those in automotive, avionics and space,...
research
10/01/2019

Thread Homeostasis: Real-Time Anomalous Behavior Detection for Safety-Critical Software

Safety-critical systems must always have predictable and reliable behavi...
research
05/13/2020

Low Cost High Integrity Platform

Developing safety critical applications often require rare human resourc...
research
09/07/2023

NeuroCodeBench: a plain C neural network benchmark for software verification

Safety-critical systems with neural network components require strong gu...
research
06/06/2022

ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems

Embedded devices are increasingly ubiquitous and their importance is har...
research
12/03/2019

Achieving Determinism in Adaptive AUTOSAR

AUTOSAR Adaptive Platform is an emerging industry standard that tackles ...

Please sign up or login with your details

Forgot password? Click here to reset