Cyber-Physical and IoT Systems Design · University of Verona

Research interests

Electronic design automation · Fault modelling and injection · Cyber-physical systems · Digital twins · Smart manufacturing

Enrico Fraccaroli is a postdoctoral researcher in ESD whose work connects electronic design automation, cyber-physical systems and industrial digitalisation. He received his PhD in Computer Science from the University of Verona with a thesis on a holistic approach to functional safety for networked cyber-physical systems, after earlier work on virtual-platform integration for smart-system simulation.

His research has addressed the modelling and simulation of heterogeneous systems across several abstraction levels. This includes manipulation and abstraction of analog and mixed-signal descriptions, transistor-level and HDL tooling, multi-domain fault models spanning electrical, mechanical and thermal behaviour, fault injection, network synthesis and simulation-based functional-safety analysis. A central goal is to make faults and cross-domain effects observable early enough that they can be studied before a system reaches physical deployment.

Enrico has also worked on wearable IoT for Parkinson’s disease and on distributed embedded-system design. He was awarded a Marie Skłodowska-Curie Global Fellowship for STRATEGUS, carried out between the University of Verona and the University of North Carolina at Chapel Hill. His current industrial research uses digital twins and deterministic simulation to validate and optimise cyber-physical production systems, bringing together models of machinery, communication and control software.

Projects

  1. STRATEGUS

    2023 – 2026

    STRATEgic GUide to Smart manufacturing

    A Horizon Europe MSCA Global Fellowship developing digital-twin, simulation and scheduling methods for safely integrating new technologies into existing manufacturing plants, in collaboration with the University of North Carolina at Chapel Hill.

    ESD

  2. Bip-Bip

    2018 – 2019

    Bip-Bip: a wearable smart system to prevent freezing of gait in people affected by Parkinson’s disease.

    A Veneto FSE research project on wearable sensing and machine-learning support for anticipating freezing of gait in Parkinson’s disease, with the goal of triggering assistance before or during a freezing episode.

    IoT4Care

Publications

2024

  1. A Data Fusion Service-Oriented Infrastructure for Production Line Monitoring

    Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Franco Fummi, Santa Di Cataldo, Sara Vinco

    ICIT

  2. Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review

    Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, Renaud Gillon, Franco Fummi

    IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

  3. Multidomain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System

    Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi

    IEEE Trans. Computers

2023

  1. Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper

    Luigi Capogrosso, Alessio Mascolini, Federico Girella, Geri Skenderi, Sebastiano Gaiardelli, Nicola Dall'Ora, Francesco Ponzio, Enrico Fraccaroli, Santa Di Cataldo, Sara Vinco, Enrico Macii, Franco Fummi, Marco Cristani

    FDL

  2. Thermal Digital Twin of a Multi-Domain System for Discovering Mechanical Faulty Behaviors

    Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi

    INDIN

  3. Verilog-A Implementation of Generic Defect Templates for Analog Fault Injection

    Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, Renaud Gillon, Franco Fummi

    ACM Great Lakes Symposium on VLSI

2022

  1. A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS

    Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi

    FDL

  2. Digital Transformation of a Production Line: Network Design, Online Data Collection and Energy Monitoring

    Nicola Dall'Ora, Khaled Alamin, Enrico Fraccaroli, Massimo Poncino, Davide Quaglia, Sara Vinco

    IEEE Trans. Emerg. Top. Comput.

  3. Functional Level Abstraction and Simulation of Verilog-AMS Piecewise Linear Models

    Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi

    ISQED

  4. Inferring Mechanical Fault Models from the Electrical Domain

    Nicola Dall'Ora, Francesco Tosoni, Enrico Fraccaroli, Franco Fummi

    ICPS

  5. Investigation on Realistic Stuck-on/off Defects to Complement IEEE P2427 Draft Standard

    Sadia Azam, Nicola Dall'Ora, Enrico Fraccaroli, André Alberts, Renaud Gillon, Franco Fummi

    ISQED

  6. The Challenges of Coupling Digital-Twins with Multiple Classes of Faults

    Francesco Tosoni, Nicola Dall'Ora, Enrico Fraccaroli, Franco Fummi

    LATS

2021

  1. A Common Manipulation Framework for Transistor-Level Languages

    Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi

    FDL

  2. Digital Twin Extension with Extra-Functional Properties

    Khaled Alamin, Sara Vinco, Massimo Poncino, Nicola Dall'Ora, Enrico Fraccaroli, Davide Quaglia

    DATE

  3. Multi-Discipline Fault Modeling with Verilog-AMS

    Nicola Dall'Ora, Enrico Fraccaroli, Sara Vinco, Franco Fummi

    ICPS

  4. Predictive Fault Grouping based on Faulty AC Matrices

    Nicola Dall'Ora, Sadia Azam, Enrico Fraccaroli, André Alberts, Franco Fummi

    DDECS

2020

  1. Automatic Generation of Analog/Mixed Signal Virtual Platforms for Smart Systems

    Enrico Fraccaroli, Michele Lora, Franco Fummi

    IEEE Trans. Computers

  2. Network Synthesis for Industry 4.0

    Enrico Fraccaroli, Alan Michael Padovani, Davide Quaglia, Franco Fummi

    DATE

News

  1. Publication

    Recent ESD research in digital twins and manufacturing systems

    Recent ESD work spans human-centred digital twins, early validation of manufacturing software, and machine-dynamics-aware scheduling for cyber-physical production systems.

  2. Publication

    ESD Group: Paper Published at IEEE Transactions on Computers 2023

    "Multi-Domain Fault Models Covering the Analog Side of a Smart or Cyber-Physical System" derives mechanical fault models from their electrical equivalents to support system-level safety analysis.

  3. Publication

    ESD Group: Paper Published at IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

    "Analog Defect Injection and Fault Simulation Techniques: A Systematic Literature Review" surveys the state of the art of analog defect injection and fault simulation.

  4. Award

    ESD Group: Group member awarded with Marie Skłodowska-Curie Postdoctoral Fellowship

    The European Commission awarded Enrico Fraccaroli a three-year Marie Skłodowska-Curie Postdoctoral Fellowship (Global Fellowship) for the STRATEGUS project.

← All people