| 1. |
- Abella, Jaume, et al.
(författare)
-
SAFEXPLAIN : Safe and Explainable Critical Embedded Systems Based on AI
- 2023
-
Ingår i: DATE 23: Design, Automation And Test In Europe. - 9783981926378 ; , s. 1-6
-
Konferensbidrag (refereegranskat)abstract
- 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.
|
|
| 2. |
- Agirre, Jon, et al.
(författare)
-
The CCP4 suite: integrative software for macromolecular crystallography
- 2023
-
Ingår i: Acta Crystallographica Section D. - : INT UNION CRYSTALLOGRAPHY. - 2059-7983. ; 79, s. 449-461
-
Tidskriftsartikel (refereegranskat)abstract
- The Collaborative Computational Project No. 4 (CCP4) is a UK-led international collective with a mission to develop, test, distribute and promote software for macromolecular crystallography. The CCP4 suite is a multiplatform collection of programs brought together by familiar execution routines, a set of common libraries and graphical interfaces. The CCP4 suite has experienced several considerable changes since its last reference article, involving new infrastructure, original programs and graphical interfaces. This article, which is intended as a general literature citation for the use of the CCP4 software suite in structure determination, will guide the reader through such transformations, offering a general overview of the new features and outlining future developments. As such, it aims to highlight the individual programs that comprise the suite and to provide the latest references to them for perusal by crystallographers around the world.
|
|
| 3. |
- Gonzalez, Monica, et al.
(författare)
-
Influence of the velocity on quasi-static deflections of industrial articulated robots
- 2023
-
Ingår i: The International Journal of Advanced Manufacturing Technology. - : Springer Nature. - 0268-3768 .- 1433-3015. ; 125:3-4, s. 1429-1438
-
Tidskriftsartikel (refereegranskat)abstract
- This article presents the measurement and analysis of the influence of velocity on the quasi-static deflections of industrial manipulators of three different manufacturers. Quasi-static deflection refers to the deflection of the end effector position of articulated robots during movement at low velocity along a predefined trajectory. Based on earlier reported observations by the authors, there exists a difference in the static and quasi-static deflections considering the same points along a trajectory. This work investigates this difference to assess the applicability of robotic compliance calibration at low velocities. For this assessment, the deflections of three industrial articulated robots were measured at different speeds and loads. Considering the similarity among the robot models used in this investigation, this work also elaborates on the potential influence of the measurement procedure on the measured deflections and its implications for the compliance calibration of articulated robots. For all industrial articulated robots in this investigation, the quasi-static deflections are significantly larger than the static ones but similar in trend. Additionally, the magnitude of the quasi-static deflections presents a proportional relationship to the Cartesian velocity.
|
|
