Login / Signup
Micro-Architectural features as soft-error markers in embedded safety-critical systems: preliminary study.
Deniz Kasap
Alessio Carpegna
Alessandro Savino
Stefano Di Carlo
Published in:
ETS (2023)
Keyphrases
</>
safety critical
preliminary study
embedded systems
safety analysis
formal methods
fault tolerant
low cost
nuclear power plant
regulatory requirements
management system
agent architecture
support systems
expert systems
cooperative
e learning
machine learning
real time