Lecture Notes for CS386C: Dependable Computing Systems
 
 
Understanding Fault-Tolerant Distributed Systems
 
System Models
 
Probabilistic Clock Synchronization
 
Synchronous Atomic Broadcast
 
Group Membership in Synchronous Distributed Systems 
 
State Restoration in Systems of Communicating Processes
 
Real-Time Resource Scheduling
 
Quantitative Temporal Logic
 
Real Time Logic
 
Real Time Programming
 
Real-Time Scheduler Synthesis - RTL Meets Boeing 777