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

Lecture 1N. Kandasamy1/14/2008

GRADING

Grade breakdown–Midterm: 35% (take home)–Final: 40%–Homework: 25% (4 to 5 assignments)

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

Lecture 1N. Kandasamy1/14/2008

COURSE CONTENTS

Required textbook: noneReference 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

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 toleranceLecture 4: Software fault tolerance (rollback/roll forward)Lecture 5: Fault-tolerant distributed systemsLecture 6: Real-time systemsLecture 7: Distributed real-time systemsLecture 8: Review

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 ...

Lecture 1N. Kandasamy1/14/2008

IEEE Computer, April 2002

MOTIVATING EXAMPLE

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.