LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems.

Carles Hernández Jaume Abella

Published in: DAC (2014)

Keyphrases

safety critical
error detection
safety analysis
formal methods
error correction
support systems
embedded systems
nuclear power plant
adaptive systems
agent architecture
fault tolerant
real time
learning systems
intelligent systems
software development
low cost
software engineering
learning process
cooperative