SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AIShow others and affiliations
2023 (English)In: Proceedings -Design, Automation and Test in Europe, DATE, Institute of Electrical and Electronics Engineers Inc. , 2023Conference paper, Published paper (Refereed)
Abstract [en]
Deep Learning (DL) techniques are at the heart of most future advanced software functions in Critical Autonomous AI-based Systems (CAIS), where they also represent a major competitive factor. Hence, the economic success of CAIS industries (e.g., automotive, space, railway) depends on their ability to design, implement, qualify, and certify DL-based software products under bounded effort/cost. However, there is a fundamental gap between Functional Safety (FUSA) requirements on CAIS and the nature of DL solutions. This gap stems from the development process of DL libraries and affects high-level safety concepts such as (1) explainability and traceability, (2) suitability for varying safety requirements, (3) FUSA-compliant implementations, and (4) real-time constraints. As a matter of fact, the data-dependent and stochastic nature of DL algorithms clashes with current FUSA practice, which instead builds on deterministic, verifiable, and pass/fail test-based software. The SAFEXPLAIN project tackles these challenges and targets by providing a flexible approach to allow the certification - hence adoption - of DL-based solutions in CAIS building on: (1) DL solutions that provide end-to-end traceability, with specific approaches to explain whether predictions can be trusted and strategies to reach (and prove) correct operation, in accordance to certification standards; (2) alternative and increasingly sophisticated design safety patterns for DL with varying criticality and fault tolerance requirements; (3) DL library implementations that adhere to safety requirements; and (4) computing platform configurations, to regain determinism, and probabilistic timing analyses, to handle the remaining non-determinism.
Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2023.
Keywords [en]
Deep learning, Embedded systems, Product design, Software testing, Stochastic systems, Advanced softwares, Automotives, Competitive factor, Economic success, Embedded-system, Functional Safety, Learning techniques, Safety requirements, Software functions, Software products, Fault tolerance
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:ri:diva-65679DOI: 10.23919/DATE56975.2023.10137128Scopus ID: 2-s2.0-85162662708ISBN: 9783981926378 (electronic)OAI: oai:DiVA.org:ri-65679DiVA, id: diva2:1787152
Conference
2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023. Antwerp. 17 April through 19 April, 2023
Note
ACKNOWLEDGEMENTS The research leading to these results has received funding from the Horizon Europe Programme under the SAFEXPLAIN Project (www.safexplain.eu), grant agreement num. 101069595. BSC authors have also been supported by the Spanish Ministry of Science and Innovation under grant PID2019-107255GBC21/AEI/10.13039/501100011033.
2023-08-112023-08-112023-08-11Bibliographically approved