English
Related papers

Related papers: New categories of Safe Faults in a processor-based…

200 papers

Although an ever-growing number of applications employ deep learning based systems for prediction, decision-making, or state estimation, almost no certification processes have been established that would allow such systems to be deployed in…

Machine Learning · Computer Science 2024-03-25 Romeo Valentin

Reliability and availability analysis are essential in dependable critical embedded systems. The classical implementation of dependability for an embedded system relies on merging both fundamental structures with the required dependability…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-01-14 Mahmoud I. Banat , Belal H. Sababha , Sami Al-Hamdan

Handling faults is a growing concern in HPC. In future exascale systems, it is projected that silent undetected errors will occur several times a day, increasing the occurrence of corrupted results. In this article, we propose SEDAR, which…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-07-29 Diego Montezanti , Enzo Rucci , Armando De Giusti , Marcelo Naiouf , Dolores Rexachs , Emilio Luque

This paper proposes a novel framework for active fault diagnosis and parameter estimation in linear systems operating in closed-loop, subject to unknown but bounded faults. The approach integrates set-membership identification with a cost…

Optimization and Control · Mathematics 2025-08-19 Annalena Daniels , Johannes Teutsch , Fabian Kleindienst , Marion Leibold , Dirk Wollherr

Fault attacks against embedded circuits enabled to define many new attack paths against secure circuits. Every attack path relies on a specific fault model which defines the type of faults that the attacker can perform. On embedded…

Cryptography and Security · Computer Science 2014-02-27 Nicolas Moro , Karine Heydemann , Emmanuelle Encrenaz , Bruno Robisson

Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be…

Software Engineering · Computer Science 2016-12-12 Asim Abdulkhaleq , Stefan Wagner

Radiation-induced soft errors are one of the most challenging issues in Safety Critical Real-Time Embedded System (SACRES) reliability, usually handled using different flavors of Double Modular Redundancy (DMR) techniques. This solution is…

Hardware Architecture · Computer Science 2023-08-31 Deniz Kasap , Alessio Carpegna , Alessandro Savino , Stefano Di Carlo

Data analysis for scientific experiments and enterprises, large-scale simulations, and machine learning tasks all entail the use of complex computational pipelines to reach quantitative and qualitative conclusions. If some of the activities…

Databases · Computer Science 2020-04-15 Raoni Lourenço , Juliana Freire , Dennis Shasha

With the advent of modern embedded systems, logging as a process is becoming more and more prevalent for diagnostic and analytic services. Traditionally, storage and managing of the logged data are generally kept as a part of one entity…

Cryptography and Security · Computer Science 2023-11-10 Fikret Basic , Christian Steger , Robert Kofler

Fault detection is crucial for ensuring the safety and reliability of modern industrial systems. However, a significant scientific challenge is the lack of rigorous risk control and reliable uncertainty quantification in existing diagnostic…

Artificial Intelligence · Computer Science 2025-08-05 Mingchen Mei , Yi Li , YiYao Qian , Zijun Jia

This paper presents the design of a diagnosis system for the detection, identification and reconstruction of faults in pipelines. The design of such diagnosis system is based on redundant relations and nonlinear observers, taking into…

Optimization and Control · Mathematics 2017-06-21 L. Torres

Embedded devices are omnipresent in modern networks including the ones operating inside critical environments. However, due to their constrained nature, novel mechanisms are required to provide external, and non-intrusive anomaly detection.…

Cryptography and Security · Computer Science 2023-02-07 Kurt A. Vedros , Georgios Michail Makrakis , Constantinos Kolias , Robert C. Ivans , Craig Rieger

Autonomous vehicles (AV) depend on the sensors like RADAR and camera for the perception of the environment, path planning, and control. With the increasing autonomy and interactions with the complex environment, there have been growing…

Systems and Control · Computer Science 2021-06-22 Abu Hasnat Mohammad Rubaiyat , Yongming Qin , Homa Alemzadeh

Trusted Execution Environments (TEEs) have emerged at the forefront of edge computing to combat the lack of trust between system components. Field Programmable Gate Arrays (FPGAs) are commonly used as edge computers but were not created…

Cryptography and Security · Computer Science 2025-03-24 Garrett Perkins , Benjamin Macht , Lucas Ritzdorf , Tristan Running Crane , Brock LaMeres , Clemente Izurieta , Ann Marie Reinhold

Predicting and classifying faults in electricity networks is crucial for uninterrupted provision and keeping maintenance costs at a minimum. Thanks to the advancements in the field provided by the smart grid, several data-driven approaches…

Cryptography and Security · Computer Science 2024-07-16 Emad Efatinasab , Francesco Marchiori , Alessandro Brighente , Mirco Rampazzo , Mauro Conti

Security vulnerability analysis of Integrated Circuits using conventional design-time validation and verification techniques (like simulations, emulations, etc.) is generally a computationally intensive task and incomplete by nature,…

Cryptography and Security · Computer Science 2021-04-22 Faiq Khalid , Imran Hafeez Abbassi , Semeen Rehman , Awais Mehmood Kamboh , Osman Hasan , Muhammad Shafique

The hardware security community relies on databases of known vulnerabilities and open-source designs to develop formal verification methods for identifying hardware security flaws. While there are plenty of open-source designs and…

Cryptography and Security · Computer Science 2024-12-17 Jayden Rogers , Niyaz Shakeel , Divya Mankani , Samantha Espinosa , Cade Chabra , Kaki Ryan , Cynthia Sturton

The constant growth in the number of malware - software or code fragment potentially harmful for computers and information networks - and the use of sophisticated evasion and obfuscation techniques have seriously hindered classic…

Cryptography and Security · Computer Science 2021-06-11 Nicola Loi , Claudio Borile , Daniele Ucci

EMFI has become a popular fault injection (FI) technique due to its ability to inject faults precisely considering timing and location. Recently, ARM, RISC-V, and even x86 processing units in different packages were shown to be vulnerable…

Cryptography and Security · Computer Science 2022-09-21 Niclas Kühnapfel , Robert Buhren , Hans Niklas Jacob , Thilo Krachenfels , Christian Werling , Jean-Pierre Seifert

With the ubiquity of IoT devices there is a growing demand for confidentiality and integrity of data. Solutions based on reconfigurable logic (CPLD or FPGA) have certain advantages over ASIC and MCU/SoC alternatives. Programmable logic…

Cryptography and Security · Computer Science 2019-10-14 Sergei Skorobogatov