[HTML][HTML] Reliability engineering applications in electronic, software, nuclear and aerospace industries: A 20 year review (2000–2020)

AKM Nor, SR Pedapati, M Muhammad - Ain Shams Engineering Journal, 2021 - Elsevier
A review on reliability engineering applications in 4 industrial domains namely electronic,
software, nuclear and aerospace from the 2000′ s to the present day is compiled. The …

Random additive signature monitoring for control flow error detection

J Vankeirsbilck, N Penneman, H Hallez… - IEEE transactions on …, 2017 - ieeexplore.ieee.org
Due to harsher working environments, soft errors or erroneous bit-flips occur more frequently
in microcontrollers during execution. Without mitigation, such errors result in data corruption …

A three-step hybrid specification approach to error prevention

S Liu - Journal of Systems and Software, 2021 - Elsevier
Effectively preventing errors in requirements analysis and design is extremely important for
enhancing software productivity and reliability, but how to fulfill this goal remains an open …

Guaranteeing performance in a fault tolerant architecture solution using software agent's coordination

FO Oliha - Journal of Information and Communication …, 2022 - e-journal.uum.edu.my
Performance is a critical attribute in evaluating the quality and dependability of service-
oriented systems dependent on fault-tolerant architectures. Fault-tolerant architectures have …

Formal parameter synthesis for energy-utility-optimal fault tolerance

L Herrmann, C Baier, C Fetzer, S Klüppelholz… - … Workshop, EPEW 2018 …, 2018 - Springer
Fault-tolerance techniques are widely used to improve the resiliency of hardware/software
systems. An important step for the deployment of such techniques in a concrete setting is to …

The DeSyRe runtime support for fault-tolerant embedded MPSoCs

D Pnevmatikatos, S Tzilis… - 2014 IEEE International …, 2014 - ieeexplore.ieee.org
Semiconductor technology scaling makes chips moresensitive to faults. This paper
describes the DeSyRe designapproach and its runtime management for future reliable …

A Study on Software Based Fault-Tolerance Techniques for Flight Control Computer

HS Yoon, YG Kim - Journal of the Korean Society for Aeronautical & …, 2016 - koreascience.kr
Software based fault tolerance techniques are designed to allow a system to tolerate
software faults in the system. Fault tolerance techniques are divided into two groups …

Safety and security of cyber-physical systems

F Abdi Taghi Abad - 2019 - ideals.illinois.edu
The number of embedded controllers in charge of physical systems has rapidly increased
over the past years. Embedded controllers are present in every aspect of our lives, from our …

Configuration of inter-process communication with probabilistic model checking

L Herrmann, M Küttler, T Stumpf, C Baier… - International Journal on …, 2019 - Springer
Ever-increasing bit flip rates caused by shrinking hardware tiles increase the demand for
resilient systems. In particular, safety-and functionality-critical system parts need to be …

Formal Configuration of Fault-Tolerant Systems

IL Herrmann - 2018 - tud.qucosa.de
Abstract (EN) Bit flips are known to be a source of strange system behavior, failures, and
crashes. They can cause dramatic financial loss, security breaches, or even harm human …