Explores redundancy as a technique for dependable systems, covering fault tolerance, reliability, and fault models, emphasizing the importance of idempotency and leases.
Explores time and safety critical applications in switch network based embedded systems, discussing functional architecture, safety design, and network integration.