3 credits
Spring 2025 Lecture
The course provides an introduction to the hardware and software methodologies for specifying, modeling and designing fault-tolerant systems supported by case studies of real systems. The material presents a broad spectrum of hardware and software error detection and recovery techniques that can be used to build reliable networked systems. The lectures discuss how the hardware and software techniques interplay, what techniques can be provided in COTS hardware, what can be embedded into operating system and network communication layers, and what can be provided via a distributed software layer and in the application itself. Prerequisite by Topic: Any one high level programming language experience; A basic background in probability.
Learning Outcomes1Formulate design principles for dependable systems.
2Analyze mathematically a system for its dependability properties.
3Understand and apply hardware dependability techniques.
4Understand and apply software dependability techniques.
5Understand and apply networking dependability techniques.
6Design, develop, and present an innovative project on dependable systems.
Restrictions
Attachments
made by Purdue students.