Listar por tema "Safety"
Mostrando ítems 1-5 de 5
-
CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker
(IEEE, 2020)Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ... -
A direct method to quantify lithium plating on graphite negative electrode of commercial Li-ion cells
(Elsevier B.V., 2023)The deposition of metallic lithium is a degradation mechanism, also known as lithium plating, that might occur at the negative electrode surface of Li-ion battery cell, especially during fast charging, low temperature ... -
Lehen Hezkuntzako ikasleen segurtasun digitala: eskaerak eta konpromisoak #Izandig proiektuaren baitan
(Udako Euskal Unibertsitatea (UEU), 2021)Internet egungo haur zein nerabeen bizitzaren bizkarrezur bilakatu da. Sareak eskaintzen dizkien abantailak ugariak dira, baina arriskuak ere baditu. Online ekintza batzuen ondorioek haur eta nerabeen ongizatea kaltetu ... -
Model driven Hardware-in-the-Loop Fault analysis of railway traction systems
(IEEE, 2017)Classical Dependability Analysis techniques, such as Failure Mode and Effects Analysis (FMEA) and Fault Tree Analysis, have been used during the last decades to demonstrate the reliability, availability, maintainability ... -
Shielded Reinforcement Learning: A review of reactive methods for safe learning
(IEEE, 2023)Reinforcement Learning (RL) algorithms are showing promising results in simulated environments, but their replication in real physical applications, even more so in safety-critical applications, is not yet guaranteed. ...
