Zerrendatu Kongresuak-Ingeniaritza honen arabera: gaia "Safety"
3-tik 1-3 emaitza erakusten
-
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 ... -
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. ...