90 likes | 201 Views
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. GRADING. Grade breakdown Midterm: 35% (take home) Final: 40%
E N D
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
GRADING • Grade breakdown • Midterm: 35% (take home) • Final: 40% • Homework: 25% (4 to 5 assignments)
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
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
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
Brake-by-wire • Steer-by-wire MOTIVATING EXAMPLE • Safety-critical applications are typically implemented as real-time distributed systems • Adaptive cruise control • Collision avoidance • Traction control • Autonomous driving • ...
MOTIVATING EXAMPLE IEEE Computer, April 2002
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.