Sökning: id:"swepub:oai:DiVA.org:ri-65679" >
SAFEXPLAIN :
SAFEXPLAIN : Safe and Explainable Critical Embedded Systems Based on AI
-
- Abella, J. (författare)
- Barcelona Supercomputing Center, Spain
-
- Perez, J. (författare)
- BRTA Basque Research and Technology Alliance, Spain
-
- Englund, Cristofer, 1977- (författare)
- RISE,Mobilitet och system
-
visa fler...
-
- Zonooz, B. (författare)
- Navinfo Europe, Netherlands
-
- Giordana, G. (författare)
- AIKO Srl, Italy
-
- Donzella, C. (författare)
- Exida Development Srl, Italy
-
- Cazorla, F. J. (författare)
- Barcelona Supercomputing Center, Spain
-
- Mezzetti, E. (författare)
- Barcelona Supercomputing Center, Spain
-
- Serra, I. (författare)
- Barcelona Supercomputing Center, Spain
-
- Brando, A. (författare)
- Barcelona Supercomputing Center, Spain
-
- Agirre, I. (författare)
- BRTA Basque Research and Technology Alliance, Spain
-
- Eizaguirre, F. (författare)
- BRTA Basque Research and Technology Alliance, Spain
-
- Bui, Thanh (författare)
- RISE,Mobilitet och system
-
- Arani, E. (författare)
- Navinfo Europe, Netherlands
-
- Sarfraz, F. (författare)
- Navinfo Europe, Netherlands
-
- Balasubramaniam, A. (författare)
- Navinfo Europe, Netherlands
-
- Badar, A. (författare)
- Navinfo Europe, Netherlands
-
- Bloise, I. (författare)
- AIKO Srl, Italy
-
- Feruglio, L. (författare)
- AIKO Srl, Italy
-
- Cinelli, I. (författare)
- AIKO Srl, Italy
-
- Brighenti, D. (författare)
- Exida Engineering Srl, Italy
-
- Cunial, D. (författare)
- Exida Engineering Srl, Italy
-
visa färre...
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2023
- 2023
- Engelska.
-
Ingår i: Proceedings -Design, Automation and Test in Europe, DATE. - : Institute of Electrical and Electronics Engineers Inc.. - 9783981926378
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.2...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Abella, J.
-
Perez, J.
-
Englund, Cristof ...
-
Zonooz, B.
-
Giordana, G.
-
Donzella, C.
-
visa fler...
-
Cazorla, F. J.
-
Mezzetti, E.
-
Serra, I.
-
Brando, A.
-
Agirre, I.
-
Eizaguirre, F.
-
Bui, Thanh
-
Arani, E.
-
Sarfraz, F.
-
Balasubramaniam, ...
-
Badar, A.
-
Bloise, I.
-
Feruglio, L.
-
Cinelli, I.
-
Brighenti, D.
-
Cunial, D.
-
visa färre...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
-
och Programvarutekni ...
- Artiklar i publikationen
-
Proceedings -Des ...
- Av lärosätet
-
RISE