System-level dependability analysis with RT-level fault injection accuracy

2004 ◽  
Author(s):  
R. Leveugle ◽  
D. Cimonnet ◽  
A. Ammari
Keyword(s):  
Fault Injection ◽  
System Level ◽  
Dependability Analysis

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.

scholarly journals Error control scheme for malicious and natural faults in cryptographic modules

2020 ◽  
Vol 10 (4) ◽  
pp. 321-336
Author(s):  
Mael Gay ◽  
Batya Karp ◽  
Osnat Keren ◽  
Ilia Polian
Keyword(s):  
Error Control ◽  
Fault Injection ◽  
Experimental Results ◽  
System Level ◽  
Electronic Systems ◽  
Minimal Distance ◽  
Outer Code ◽  
Injection Attacks ◽  
Control Scheme ◽  
Fault Injection Attacks

Abstract Today’s electronic systems must simultaneously fulfill strict requirements on security and reliability. In particular, their cryptographic modules are exposed to faults, which can be due to natural failures (e.g., radiation or electromagnetic noise) or malicious fault-injection attacks. We present an architecture based on a new class of error-detecting codes that combine robustness properties with a minimal distance. The new architecture guarantees (with some probability) the detection of faults injected by an intelligent and strategic adversary who can precisely control the disturbance. At the same time it supports automatic correction of low-multiplicity faults. To this end, we discuss an efficient technique to correct single nibble/byte errors while avoiding full syndrome analysis. We also examine a Compact Protection Code (CPC)-based system level fault manager that considers this code an inner code (and the CPC as its outer code). We report experimental results obtained by physical fault injection on the SAKURA-G FPGA board. The experimental results reconfirm the assumption that faults may cause an arbitrary number of bit flips. They indicate that a combined inner–outer coding scheme can significantly reduce the number of fault events that go undetected due to erroneous corrections of the inner code.

Sign in / Sign up

Export Citation Format

Share Document