FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools

Aliabadi, Maryam Raiyat; Pattabiraman, Karthik

doi:10.1007/978-3-319-45477-1_2

Cited by 5 publications

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In current state-of-the-art studies, fault injection description language (FIDL) is a compile-time fault injection tool that provides a description language for software fault injection. FIDL enables the creation of source code for new fault models 6 . Furthermore, library-level fault injector (LFI) tool is presented for extracting errors in restricted libraries and LFI generates faults for libraries by analyzing faulty profiles of libraries and runs exhaustive injection 7 .…”

Section: State-of-the-artmentioning

confidence: 99%

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

Kanak¹,

Ergün²,

Yazıcı³

et al. 2021

Open Res Europe

View full text Add to dashboard Cite

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.

show abstract

Section: State-of-the-artmentioning

confidence: 99%

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

Kanak¹,

Ergün²,

Yazıcı³

et al. 2021

Open Res Europe

View full text Add to dashboard Cite

show abstract

ProFIPy: Programmable Software Fault Injection as-a-Service

Cotroneo

Simone

Liguori

et al. 2020

2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

View full text Add to dashboard Cite

A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection

Sangchoolie

Folkesson

Vinter

2018

2018 14th European Dependable Computing Conference (EDCC)

View full text Add to dashboard Cite

The combination of high mobility and wireless communication in many safety-critical systems have increased their exposure to malicious security threats. Consequently, many works in the past have proposed solutions to ensure safety and security of these systems. However, not much attention has been given to the interplay between these two groups of nonfunctional requirements. This is a concern as safety solutions may negatively impact system security and vice versa. This paper addresses the interplay between safety and security by proposing an attack injection framework, based on model-implemented fault injection, suitable for model-based design. The framework enables us to study and evaluate the impact of cybersecurity attacks on system safety early in the development process. To this end, we have implemented six attack injection models and conducted experiments on Simulink models of a CAN bus and a brake-by-wire controller. The results show that the security attacks modeled could successfully impact the system safety by violating our defined safety requirements.

show abstract

FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools

Cited by 5 publications

References 14 publications

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

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

ProFIPy: Programmable Software Fault Injection as-a-Service

A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection

Contact Info

Product

Resources

About