Speakers: Filomena Decuzzi (ESA), Carlo Cazzaniga (STFC)
09:50
Addressing Emerging Fault Modes with Testing and Reliability (See Full Details)
Speaker: Vilas Sridharan (AMD)
10:50 - 11:10: Coffee Break
Session Chair: Gianluca Furano
11:10
Range restriction to harden CNNs against hardware faults: a broad empirical analysis.
Antonio Miele, Cristiana Bolchini, Luca Cassano and Dario Passarello.
11:30
Impact of Image Faults on Pruned Neural Networks for Object Detection.
Yizhi Chen, Wenyao Zhu, Dejiu Chen, Omar Mohammed, Parthib Khound and Zhonghai Lu.
11:50
Towards Biology-Inspired Fault Tolerance of Neuromorphic Hardware for Space Applications.
Shadi Matinizadeh, Sarah Johari, Arghavan Mohammadhassani and Anup Das.
12:10
An AI-Assisted Connection Weight Prediction for Regression Testing of Integrated Circuits.
Abishaan Ravikumar, Xiaohan Yang, Rajendra Prasad, Rajanataraj Sivaraj, Alexander Rast and Abusaleh Jabir.
12:30
BayWatch: Leveraging Bayesian Neural Networks for Hardware Fault Tolerance and Monitoring.
Julian Hoefer, Matthias Stammler, Fabian Kreß, Tim Hotfilter, Tanja Harbaum and Juergen Becker. (SHORT PRESENTATION)
12:40
Zero-Memory-Overhead Clipping-Based Fault Tolerance for LSTM Deep Neural Networks.
Bahram Parchekani, Samira Nazari, Mohammad Hasan Ahmadilivani, Ali Azarpeyvand, Jaan Raik, Tara Ghasempouri and Masoud Daneshtalab. (SHORT PRESENTATION)
12:50 - 14:30: Lunch
Session Chair: Prof. Masayuki Arai
14:30
Inferred Fault Models for RISC-V and Arm: A Comparative Study.
Ihab Alshaer, Ahmed Al-Kaf, Valentin Egloff and Vincent Beroulle.
14:50
Image Degradation due to Interacting Hot Pixels and SEUs.
Glenn Chapman, Israel Koren and Zahava Koren.
15:10
A Novel Digitisation Method for Pulse Switchable Memristive Chemical Sensors.
Meenakshi Devi, Saurabh Khandelwal, Marek Vidis, Tomas Plecenik and Abusaleh Jabir.
15:30
Implementation and Reliability Evaluation of a ChaCha20 Stream Cipher Hardware Accelerator.
Wesley Grignani, Khalil Santana, Douglas Santos, Luigi Dilillo and Douglas Melo. (SHORT PRESENTATION)
14:30
Malware and hardware attack detection. Static/Dynamic, supervised and unsupervised.
Stefano Di Carlo, Juan José Costa.
15:40 - 16:00: Coffee Break
Session Chair: Prof. Jaan Ralk
16:00
Digital generation of RF phase-modulated test stimuli: application to BPSK modulation scheme.
Kamilia Tahraoui, Richard Burelle, Thibault Vayssade, François Lefevre, Laurent Latorre and Florence Azais.
16:20
A Flexible FPGA-based Test Equipment for Enabling Out-of-Production Manufacturing Test Flow of Digital Systems.
Nicola di Gruttola Giardino, Francesco Angione, Paolo Bernardi, Tommaso Foscale, Claudia Bertani and Vincenzo Tancorre.
16:40
Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties.
Denis Schwachhofer, Peter Domanski, Steffen Becker, Stefan Wagner, Matthias Sauer, Dirk Pflüger and Ilia Polian.
17:00
An Automated and Effective Approach for SBST Generation Targeting RISC-V CPUs.
Endri Kaja, Nicolas Gerlin, Jad Al Halabi, Ares Tahiraga, Sebastian Prebeck, Dominik Stoffel, Wolfgang Kunz and Wolfgang Ecker. (SHORT PRESENTATION)
17:10
A Low Power Oriented Multiple Target Test Generation Method for 2-Cycle Gate-Exhaustive Faults.
Toshinori Hosokawa, Momona Mizota, Masayoshi Yoshimura and Masayuki Arai. (SHORT PRESENTATION)
17:20
A Structural Testing Approach for SRAM Address Decoders using Cell-Aware Methodology .
Xhesila Xhafa, Eric Faehn, Patrick Girard and Arnaud Virazel. (SHORT PRESENTATION)
16:00
RAS at the computing continuum.
Dimitris Gizopoulos.
17:30 - 18:00: Interactive Session
19:00 - 23:00: Welcome drink and Gala Dinner
Wednesday, Oct 9
Click to expand and see details
08:45
High Performance 64-bit HPSC Microprocessor (MPU) for a New Era of Autonomous Space Computing. (See Full Details)
Speaker: Nicolas Ganry (Microchip)
09:45 - 10:05: Coffee Break
Session Chair: Luca Cassano
10:05
RAPPER: Robust and APProximate ERror Tolerating Communication.
Somayeh Sadeghi-Kohan, Sybille Hellbrand and Hans-Joachim Wunderlich.
10:25
Optimizing Waveform Accurate Fault Attacks Using Formal Methods.
Devanshi Upadhyaya and Ilia Polian.
10:45
Malware Detection on Linux Using Runtime Opcode Tracing.
Martí Alonso, Juan.José Costa and Enric Morancho.
11:05 - 11:25: Coffee Break
Session Chair: Juan José Costa
11:25
Impact of Compiler Optimizations on the Reliability of a RISC-V-based Core.
Pegdwende Romaric Nikiema, Marcello Traiola, Angeliki Kritikakou.
11:45
An experimental comparison of RISC-V processors: performance, power, area and security.
Elia Lazzeri, Bruno Endres Forlin, Gianluca Furano, Marco Ottavi, Luca Cassano.
12:05
Reliability and Performance Evaluation of a RISC-V Vector Extension Unit for Vector Multiplication .
Carolina Imianosky, Douglas A. Santos, Douglas R. Melo, Felipe Viel, Luigi Dilillo.
12:25 - 13:25: Lunch
13:25
Benefits of Using Functional Safety in Commercial Space Applications. (See Full Details)
Speaker: Michael Seidl
14:25 - 14:45: Coffee Break
Session Chair: Bruno Endres Forlin
14:45
Software-Based Self-Test Generation for RISC-V.
Tobias Faller, Nikolaos I. Deligiannis, Riccardo Cantor, Matteo Sonza Reorda† Bernd Becker.
15:05
A mixed simulation-, emulation-, and formal-based fault analysis methodology for RISC-V.
Endri Kaja, Nicolas Gerlin, Ares Tahiraga, Jad Al Halabi, Sebastian Prebeck , Dominik Stoffel, Wolfgang Kunz, Wolfgang Ecker.
15:25
In-Field ML-Assisted Intermittent Fault Localization and Management in RISC-V SoCs.
Hardi Selg, Konstantin Shibin, Anton Tsertov, Maksim Jenihhin, Peeter Ellervee, Jaan Raik.
15:45 - 16:15: Interactive Session
16:15 - 18:00: Social Event - Visit of ISIS Facility
Thursday, Oct 10
Click to expand and see details
08:45
Preventing Silent Data Corruption in a Hyper-scale Database. (See Full Details)
Speaker: David Bacon (Google)
09:45 - 10:05: Coffee Break
Session Chair: Prof. Sandip Kundu
10:05
Exploring Total Ionizing Dose Radiation Effects Across Generations of NVIDIA Jetson Devices: A Comparative Analysis.
Ivan Rodiguez-Ferrandez, Maris Tali, Leonidas Kosmidis, Alessandra Costantino and David Steenar.
10:25
An Enhanced Fault Injection Framework for FPGA-Based Soft-Cores.
Tijmen T. Smit, Bruno Endres Forlin, Kuan-Hsun Chen, Ioanna Souvatzoglou, Mihalis Psarakis and Marco Ottavi.
10:45
Using High-Level Profiling Data to Early Assess the Robustness of Digital Systems.
Luc Noizette, Florent Miller, Youri Helen and Régis Leveugle.
11:05
Reliability Analysis of a Low-Cost CCSDS 123 Hyperspectral Image Compressor.
Wesley Grignani, Douglas Santos, Luigi Dilillo and Douglas Melo. (SHORT PRESENTATION)
10:05
Dependable Systems and AI in Critical Infrastructures: A Case Study in European Earth Observation Missions.
Valentina Zancan, Gianluca Furano, Filomena Decuzzi, Lorenzo Canese.
10:25
Safe Satellite Electronics Design utilizing COTS Components, FDIR Techniques, LCL Protections, and Thorough Qualifications.
Bojan Kotnik, David Selčan, Matic Erker, Tomaž Rotovnik, Dejan Gačnik, Gianluca Furano, Iztok Kramberger.
10:45
Exploring the Potential of Versal ACAP: Advancing Onboard Edge AI for Spacecraft .
Carlo Ciancarelli, Davide di Ienno, Renato Trois, Luca Scandelli, Catriel de Biase, Paolo Serri, Antonio Leboffe, Dario Pascucci, David Steenari and Gianluca Furano .
11:05
SE-UVM: An Integrated Simulation Environment for Single Event Induced Failures Characterization and its Application to the CV32E40P Processor .
Marcello Barbirotta, Antonio Mastrandrea, Marco Angioli, Francesco Menichelli, Abdallah Cheikh and Mauro Olivieri.
11:15 - 11:35: Coffee Break
11:35
Testing of Digital Computing-In Memories with MAC Function.
Jin-Fu Li.
11:50
Overcoming Transient Faults and Aging Effects in Digital Computing-in-Memory Architectures: Detection, Tolerance, and Mitigation Strategies.
Yu-Guang Chen, Ting-Yi Wu.
12:05
Enhancing Reliability in Digital Computing-In-Memory Architectures through Approximation and Fault Tolerance.
Shih-Hsu Huang, Chih-Li Hsiao and Wei-Che Cheng.
12:20
Architecture-Level DCIM Technologies for Edge AI Computing Applications.
Chun-Lung Hsu, Hsuan-Yu Chen and Yi-Lin Chen.
12:35 - 13:50: Lunch
Session Chair: Bruno Endres Forlin
13:50
Dual-Modular-Redundancy Voting Circuits for Single-Event-Transient Mitigation.
Marcello Barbirotta, Marco Angioli, Antonio Mastrandrea, Francesco Menichelli, Abdallah Cheikh and Mauro Olivieri.
14:10
A Novel Self-Repair Mechanism for Tiled Matrix Multiplication Unit.
Sandeep Bal, Chandra Sekhar Mummidi and Sandip Kundu.
14:30
An Effective TMR Approach for Low-Latency Configurable-Accuracy Adders.
Ioannis Tsounis, Dimitris Agiakatsikas and Mihalis Psarakis. (SHORT PRESENTATION)
14:40 - 15:00: Closing Remarks and Best Paper Awards