Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems.

Alan Burns Bev Littlewood

Published in: RTSS (2010)

Keyphrases

real time systems
distributed systems
real time
timing constraints
embedded systems
architectural model
mission critical
real time embedded
real time database systems
embedded real time systems
database
machine learning
data streams