Research

My research concerns the reliability and functional safety of digital systems: how to measure whether a design will fail, how to show that it meets a safety standard, and how to do both without waiting for silicon. This has meant model-based safety assessment, automated extraction of dysfunctional models, software reliability metrics, and radiation testing of components under neutron beams.

Publications

• Fiorucci, T., Jacquet, T., Daveau, J.-M., Di Natale, G., Arbaretier, E., Roche, P. "MBSA Approaches Applied to Next Decade Digital System-On-a-Chip Components". Lambda Mu 2022, September 2022.
• Fiorucci, T., Daveau, J.-M., Di Natale, G., Roche, P. "Software Product Reliability Based on Basic Block Metrics Recomposition". IOLTS 2022, July 2022.
• Fiorucci, T., Daveau, J.-M., Di Natale, G., Roche, P. "Automated dysfunctional model extraction for model based safety assessment of digital systems". IOLTS 2021, July 2021.
• Ottavi, M., Asciolla, D., Fiorucci, T., Furano, G., Senesi, R., et al. "Setup and experimental results analysis of CCD and COTS SRAMs tests at the ISIS facility". DTIS 2018, October 2018.

Talks

• "Technology and Infrastructure for Balloons", oral presentation, 24th ESA Symposium, 2019.

Theses

• Qualification methodology for ISO 26262 certification of automotive SoC systems. Ph.D., Grenoble INP, 2023.
• Achieving Fault Tolerance Through Time Redundancy in the RISC-V Based KLESSYDRA Core. M.Sc., University of Rome Tor Vergata, 2019.