A Failure Model Library for Simulation-Based Validation of Functional Safety
T Munaro, I Muntean, A Pretschner - International Conference on …, 2024 - Springer
Abstract Simulation-based Fault Injection (FI) is highly recommended by functional safety
standards in the automotive and aerospace domains, in order to “support the argumentation …
standards in the automotive and aerospace domains, in order to “support the argumentation …
Introduction to the Special Issue on Runtime Verification
Runtime verification (RV) refers to methods for formal reasoning about all aspects of the
dynamic execution of systems, including hardware, software, and cyber-physical systems …
dynamic execution of systems, including hardware, software, and cyber-physical systems …