Search: onr:"swepub:oai:DiVA.org:hh-52952" >
SAFEXPLAIN :
SAFEXPLAIN : Safe and Explainable Critical Embedded Systems Based on AI
-
- Abella, Jaume (author)
- Barcelona Supercomputing Center, Barcelona, Spain
-
- Perez, Jon (author)
- Ikerlan Technology Research Centre, Arrasate, Spain
-
- Englund, Cristofer, 1977- (author)
- RISE Research Institutes of Sweden, Gothenburg, Sweden
-
show more...
-
- Zonooz, Bahram (author)
- Navinfo Europe, Eindhoven, Netherlands
-
- Giordana, Gabriele (author)
- AIKO S.r.l., Torino, Italy
-
- Donzella, Carlo (author)
- Exida Development s.r.l.,Colleretto Giacosa, Italy
-
- Cazorla, Francisco J. (author)
- Barcelona Supercomputing Center, Barcelona, Spain
-
- Mezzetti, Enrico (author)
- Barcelona Supercomputing Center, Barcelona, Spain
-
- Serra, Isabel (author)
- Barcelona Supercomputing Center, Barcelona, Spain
-
- Brando, Axel (author)
- Barcelona Supercomputing Center, Barcelona, Spain
-
- Agirre, Irune (author)
- Ikerlan Technology Research Centre, Arrasate, Spain
-
- Eizaguirre, Fernando (author)
- Ikerlan Technology Research Centre, Arrasate, Spain
-
- Bui, Thanh Hai (author)
- RISE Research Institutes of Sweden, Lund, Sweden
-
- Arani, Elahe (author)
- Navinfo Europe, Eindhoven, Netherlands
-
- Sarfraz, Fahad (author)
- Navinfo Europe, Eindhoven, Netherlands
-
- Balasubramaniam, Ajay (author)
- Navinfo Europe, Eindhoven, Netherlands
-
- Badar, Ahmed (author)
- Navinfo Europe, Eindhoven, Netherlands
-
- Bloise, Ilaria (author)
- AIKO S.r.l., Torino, Italy
-
- Feruglio, Lorenzo (author)
- AIKO S.r.l., Torino, Italy
-
- Cinelli, Ilaria (author)
- AIKO S.r.l., Torino, Italy
-
- Brighenti, Davide (author)
- Exida Engineering S.r.l., Rovereto, Italy
-
- Cunial, Davide (author)
- Exida Engineering S.r.l., Rovereto, Italy
-
show less...
-
(creator_code:org_t)
- 2023
- 2023
- English.
-
In: DATE 23: Design, Automation And Test In Europe. - 9783981926378 ; , s. 1-6
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.2...
-
show less...
Abstract
Subject headings
Close
- 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. © 2023 EDAA.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- Deep learning
- Embedded systems
- Product design
- Software testing
- Stochastic systems
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database
- By the author/editor
-
Abella, Jaume
-
Perez, Jon
-
Englund, Cristof ...
-
Zonooz, Bahram
-
Giordana, Gabrie ...
-
Donzella, Carlo
-
show more...
-
Cazorla, Francis ...
-
Mezzetti, Enrico
-
Serra, Isabel
-
Brando, Axel
-
Agirre, Irune
-
Eizaguirre, Fern ...
-
Bui, Thanh Hai
-
Arani, Elahe
-
Sarfraz, Fahad
-
Balasubramaniam, ...
-
Badar, Ahmed
-
Bloise, Ilaria
-
Feruglio, Lorenz ...
-
Cinelli, Ilaria
-
Brighenti, David ...
-
Cunial, Davide
-
show less...
- About the subject
-
- ENGINEERING AND TECHNOLOGY
-
ENGINEERING AND ...
-
and Electrical Engin ...
-
and Computer Systems
- Articles in the publication
-
DATE 23: Design, ...
- By the university
-
Halmstad University