SAFE AND EXPLAINABLE CRITICAL EMBEDDED SYSTEMS BASED ON AI

Digital, Industry & SpaceHORIZON-RIAID: 101069595
EC Contribution
€38,919
Consortium Size
6 orgs
Start Year
2022
Summary

Deep Learning (DL) techniques are key for most future advanced software functions in Critical Autonomous AI-based Systems (CAIS) in cars, trains and satellites. Hence, those CAIS industries depend on their ability to design, implement, qualify, and certify DL-based software products under bounded effort/cost. There is a fundamental gap between Functional Safety (FUSA) requirements of CAIS and the nature of DL solutions needed to satisfy those requirements. The lack of transparency (mainly explainability and traceability), and the data-dependent and stochastic nature of DL software clash against the need for deterministic, verifiable and pass/fail test-based software solutions for CAIS.SAFEXPLAIN tackles this challenge by providing a novel and flexible approach to allow the certification – hence adoption – of DL-based solutions in CAIS by (1) architecting transparent DL solutions that allow explaining why they satisfy FUSA requirements, with end-to-end traceability, with specific approaches to explain whether predictions can be trusted, and with strategies to reach (and prove) correct operation, in accordance with certification standards. SAFEXPLAIN will also (2) devise alternative and increasingly complex FUSA design safety patterns for different DL usage levels (i.e. with varying safety requirements) that will allow using DL in any CAIS functionality, for varying levels of criticality and fault tolerance.SAFEXPLAIN brings together a highly skilled and complementary consortium to successfully tackle this endeavor including 3 research centers, RISE (AI expertise), IKR (FUSA expertise), and BSC (platform expertise); and 3 CAIS case studies, automotive (NAV), space (AIKO), and railway (IKR). SAFEXPLAIN DL-based solutions are assessed in an industrial toolset (EXI). Finally, to prove that transparency levels are fully compliant with FUSA, solutions are reviewed by internal certification experts (EXI), and external ones subcontracted for an independent assessment.

Consortium (6)

Project Results (37)

Source: CORDIS, the EU research results database.

Publications (12)
Detecting Low-Density Mixtures in High-Quantile Tails for pWCET Estimation
37th Euromicro Conference on Real-Time Systems (ECRTS 2025)· 2025DOI
Blau Manau, Sergi Vilardell, Isabel Serra, Enrico Mezzetti, Jaume Abella, and Francisco J. Cazorla
Differentiating Adversial Attacks from Natural Sensory Anomalies in Object Detection
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases 2025· 2025DOI
Robert Lowe, Maria Ulan, Thanh Bui, Gabriele Giordana, Tobia Giani, Francesco Rossi
Leveraging image-based transformations to mitigate adversarial attacks in AI-based safety-critical systems
2025 IEEE 31th International Symposium on On-line Testing and Robust System Design (IOLTS)· 2025
Marti Carlo, Axel Brando, Jaume Abella
Managing Sources of Uncertainty in Utilizing AI in Development and Deployment of Safety-Critical Autonomous Systems
2025 IEEE 22nd International Conference on Software Architecture Companion (ICSA-C)· 2025DOI
Robert Lowe, Maria Ulan, Thanh Hai Bui, Ana Adell, Jokin Labaien, Axel Brando
Probabilistic Timing Estimates in Scenarios Under Testing Constraints
Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing· 2025
Sergi Vilardell; Francesco Rossi; Gabriele Giordana; Isabel Serra; Enrico Mezzetti; Jaume Abella; Francisco J. Cazorla
Semantic diverse DMR and TMR for high-integrity AI-based function efficiency
ACM transactions on cyber-physical systems· 2025
Marti Caro, Axel, Brando, Jaume Abella
AI-FSM: Towards Functional Safety Management for Artificial Intelligence-based Critical Systems
CARS@EDCC2024 Workshop - Critical Automotive applications: Robustness & Safety· 2024
Javier Fernández, Irune Agirre, Jon Perez-Cerrolaza, Lorea Belategi, Ana Adell, Carlo Donzella, Jaume Abella
Safety-Relevant AI-Based System Robustification with Neural Network Ensembles
2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS)· 2024DOI
Aldomà Coll, Adrià; Brando Guillaumes, Axel; Cazorla Almeida, Francisco Javier; Abella Ferrer, Jaume
Software-Only Semantic Diverse Redundancy for High-Integrity AI-Based Functionalities
ERTS2024· 2024
Martí Caro, Axel Brando, Jaume Abella.
Retrospective Uncertainties for Deep Models using Vine Copulas
Proceedings of Machine Learning Research· 2023DOI
Tagasovska, Natasa; Ozdemir, Firat; Brando Guillaumes, Axel
SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)· 2023DOI
Jaume Abella; Jon Perez; Cristofer Englund; Bahram Zonooz; Gabriele Giordana; Carlo Donzella; Francisco J. Cazorla; Enrico Mezzetti; Isabel Serra; Axel Brando; Irune Agirre; Fernando Eizaguirre; Thanh Hai Bui; Elahe Arani; Fahad Sarfraz; Ajay Balasubramaniam; Ahmed Badar; Ilaria Bloise; Lorenzo Feruglio; Ilaria Cinelli; Davide Brighenti; Davide Cunial
Standardizing the Probabilistic Sources of Uncertainty for the sake of Safety Deep Learning
Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023)· 2023
Brando, Axel; Serra, Isabel; Mezzetti, Enrico; Cazorla Almeida, Francisco Javier; Abella Ferrer, Jaume
Deliverables (24)
Other Results (1)
Periodic Reporting for period 1 - SAFEXPLAIN (SAFE AND EXPLAINABLE CRITICAL EMBEDDED SYSTEMS BASED ON AI)