ECEC 690-503: Dependable Computing Systems
-
Upload
felicia-munoz -
Category
Documents
-
view
16 -
download
0
description
Transcript of ECEC 690-503: Dependable Computing Systems
Lecture 1N. Kandasamy1/14/2008
ECEC 690-503: Dependable Computing Systems
N. Kandasamy
603 Bossone, ECE Department
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.