Testbench components verification using fault injection techniques

2010 ◽  
Author(s):  
N. A. Banciu ◽  
G. Toacse
Keyword(s):  
Fault Injection ◽  
Injection Techniques

Integration and Comparison of Three Physical Fault Injection Techniques

1995 ◽  
pp. 309-327 ◽  
Author(s):  
Johan Karlsson ◽  
Peter Folkesson ◽  
Jean Arlat ◽  
Yves Crouzet ◽  
Günther Leber
Keyword(s):  
Fault Injection ◽  
Injection Techniques

Computing reliability: On the differences between software testing and software fault injection techniques

2017 ◽  
Vol 50 ◽  
pp. 102-112 ◽  
Author(s):  
Maha Kooli ◽  
Firas Kaddachi ◽  
Giorgio Di Natale ◽  
Alberto Bosio ◽  
Pascal Benoit ◽  
...  
Keyword(s):  
Software Testing ◽  
Fault Injection ◽  
Injection Techniques ◽  
Software Fault

scholarly journals Markov chain algorithms: a template for building future robust low-power systems

2014 ◽  
Vol 372 (2018) ◽  
pp. 20130277
Author(s):  
Biplab Deka ◽  
Alex A. Birklykke ◽  
Henry Duwe ◽  
Vikash K. Mansinghka ◽  
Rakesh Kumar
Keyword(s):  
Power Systems ◽  
Low Power ◽  
Fault Injection ◽  
Error Rates ◽  
Stochastic Algorithms ◽  
Significant Interest ◽  
Injection Techniques ◽  
Computational Errors ◽  
Computational Systems ◽  
Robust Systems

Although computational systems are looking towards post CMOS devices in the pursuit of lower power, the expected inherent unreliability of such devices makes it difficult to design robust systems without additional power overheads for guaranteeing robustness. As such, algorithmic structures with inherent ability to tolerate computational errors are of significant interest. We propose to cast applications as stochastic algorithms based on Markov chains (MCs) as such algorithms are both sufficiently general and tolerant to transition errors. We show with four example applications—Boolean satisfiability, sorting, low-density parity-check decoding and clustering—how applications can be cast as MC algorithms. Using algorithmic fault injection techniques, we demonstrate the robustness of these implementations to transition errors with high error rates. Based on these results, we make a case for using MCs as an algorithmic template for future robust low-power systems.

scholarly journals Verification and validation of an automated robot inspection cell for automotive body-in-white: a use case for the VALU3S ECSEL project

2021 ◽  
Vol 1 ◽  
pp. 115
Author(s):  
Alper Kanak ◽  
Salih Ergun ◽  
Ahmet Yazıcı ◽  
Metin Ozkan ◽  
Gürol Çokünlü ◽  
...  
Keyword(s):  
Fault Injection ◽  
Verification And Validation ◽  
System Level ◽  
Automated Systems ◽  
Component Level ◽  
Horizon 2020 ◽  
Automotive Body ◽  
Recent Developments ◽  
Injection Techniques ◽  
Body In White

Verification and validation (V&V) of systems, and system of systems, in an industrial context has never been as important as today. The recent developments in automated cyber-physical systems, digital twin environments, and Industry 4.0 applications require effective and comprehensive V&V mechanisms. Verification and Validation of Automated Systems' Safety and Security (VALU3S), a Horizon 2020 Electronic Components and Systems for European Leadership Joint Undertaking (ECSEL-JU) project started in May 2020, aims to create and evaluate a multi-domain V&V framework that facilitates evaluation of automated systems from component level to system level, with the aim of reducing the time and effort needed to evaluate these systems. VALU3S focuses on V&V for the requirements of safety, cybersecurity, and privacy (SCP). This paper mainly focuses on the elaboration of one of the 13 use cases of VALU3S to identify the SCP issues in an automated robot inspection cell that is being actively used for the quality control assessment of automotive body-in-white. The joint study here embarks on a collaborative approach that puts the V&V methods and workflows for the robotic arms safety trajectory planning and execution, fault injection techniques, cyber-physical security vulnerability assessment, anomaly detection, and SCP countermeasures required for remote control and inspection. The paper also presents cross-links with ECSEL-JU goals and the current advancements in the market and scientific and technological state-of-play.

Sign in / Sign up

Export Citation Format

Share Document