1. Lecture 1N. Kandasamy1/14/2008 ECEC 690-503: Dependable Computing Systems N. Kandasamy 603 Bossone, ECE Department kandasamy@ece.drexel.edu Lecture: Monday, 6:00 - 9:00 pm Office hours: Wednesday and Thursday, 3:00 – 4:00 pm

2. Lecture 1N. Kandasamy1/14/2008 GRADING  Grade breakdown –Midterm: 35% (take home) –Final: 40% –Homework: 25% (4 to 5 assignments)

3. Lecture 1N. Kandasamy1/14/2008 COURSE OBJECTIVES  We will focus on current state-of-the-art approaches to designing dependable computing systems as well as the quantitative evaluation of the notion of dependability  The course assumes familiarity with basic probability theory and computer architecture  The topics will be derived from lecture notes and a variety of research papers in topics related to dependable systems

4. Lecture 1N. Kandasamy1/14/2008 COURSE CONTENTS  Required textbook: none  Reference textbooks –Safety-Critical Computer Systems, Neil Storey, Prentice Hall, 1996 –Reliability of Computer Systems and Networks, M. L. Shooman, John Wiley, 2002 –Reliable Computer Systems, D. P. Siewiorek and R. S. Swarz, A. K. Peters Ltd., Natick MA, 1998. –Photocopies of relevant material will be provided  Required reading will be posted on the course web site, and will typically be 50 pages per week of conference and journal papers

5. Lecture 1N. Kandasamy1/14/2008 COURSE CONTENTS  Lecture 1: Basic terminology and concepts, reliability and dependability modeling  Lecture 2: Testing and fault-tolerant design of VLSI circuits and systems  Lecture 3: Hardware fault tolerance  Lecture 4: Software fault tolerance (rollback/roll forward)  Lecture 5: Fault-tolerant distributed systems  Lecture 6: Real-time systems  Lecture 7: Distributed real-time systems  Lecture 8: Review

6. Lecture 1N. Kandasamy1/14/2008  Safety-critical applications are typically implemented as real-time distributed systems MOTIVATING EXAMPLE  Brake-by-wire  Steer-by-wire  Adaptive cruise control  Collision avoidance  Traction control  Autonomous driving ...

7. Lecture 1N. Kandasamy1/14/2008 IEEE Computer, April 2002 MOTIVATING EXAMPLE

8. Lecture 1N. Kandasamy1/14/2008 Dependability is a property of a system that justifies placing one’s reliance on it Dependability is quantified in terms of reliability, availability, safety, security, etc.