Exploiting Intel TSX for fault-tolerant execution in safety-critical systems.

Florian Haas Sebastian Weis Stefan Metzlaff Theo Ungerer

Published in: DFT (2014)

Keyphrases

safety critical
fault tolerant
fault tolerance
distributed systems
safety analysis
nuclear power plant
formal methods
embedded systems
regulatory requirements
load balancing
low cost
agent architecture
support systems
knowledge based systems
adaptive systems
machine learning
high assurance
metadata