Dependable and energy efficient computing

This course aims to familiarize students with concepts about dependability and energy-efficiency in computing, both regarding the hardware and the software aspects. In particular, the course will cover the following topics:

• Introduction to fault tolerance and dependability
• Fundamentals of dependability
• Dependability evaluation techniques
• Reliability requirements.
• Reliability analysis.
• Hardware redundancy
• Information redundancy
• Time redundancy
• Faults and software.
• Software fault avoidance in specifications and design
• Software fault elimination.
• Software fault tolerance.
• Reliability assessment.
• Introduction to low power design
• Basic low power digital design
• Power efficient processor architecture
• Power efficient memory and cache
• Power aware operating systems, compilers and application software
• Low power graphics processors
• System-Level Design Techniques for Energy-Efficient Embedded Systems