18-849 Dependable Embedded Systems

Carnegie Mellon University
Fall 2008

Mon & Wed 12:30-2:30, location TBD

Fall 2008 students: Please read the FAQ.

If you don't have the pre-reqs (18-649 or 18-749) then you'll need instructor permission via a pre-test. Please see the FAQ for more information.

Important notices:

  1. Course grading structure and other policies -- see the Policy Page.
  2. Send homeworks to: ece849-staff+hw@ece.cmu.edu; Send all other correspondence to ece849-staff@ece.cmu.edu
  3. If you don't have a CMU IP address, try this VPN link to see readings (CMU andrew accounts only)

FALL 2005 CLASS SCHEDULE:

Some of the topics will probably change for the next course offering, but the flavor of the course will remain the same.

Date
(some dates tentative)		 Topic
(click topic name for more reading pointers)		 Readings
(accessible from CMU only!)		 BibTeX
Mon., Aug 29, 2005 Intro & SW Defect Classification Avizienis04
Wallace99
Sullivan91		 Template
Wed., Aug 31, 2005 Entrance Exam Bring a calculator
and one study sheet		 n/a
Wed., Sep 7 Case Studies ESA96
Weinstock80
Cristian91
Gray90		 Template
Mon., Sep 12 HW Fault Tolerance & Dependability Modeling Bossen81
Reibman91
Dugan95
Schlichting83		 Template
Wed., Sep 14 Fault Tolerant Middleware Maffeis95
Felber96
Narasimhan02
Narasimhan04		 Template
Mon., Sep 19 Distributed Time Lamport78
Mills91
{Raynal96 or Kopetz02}		 Template
Wed., Sep 21 SW Fault Tolerance: rollback/rollforward Randell95
Xu96
Chiu02		 Template
Mon., Sep 26 SW Fault Tolerance: other techniques Anderson85
Levendel95
{Wilken88 or Vaidyanathan05}		 Template
Wed., Sep 28 Exception Handling Goodenough75
Buhr00
Vo97		 Template
Mon., Oct 3 Byzantine Agreement; part 1 Lamport82
Wylie03
Driscoll03		 Template
Wed., Oct 5 Byzantine Agreement; part 2 Azadmanesh00
Lamport85
Keichafer88 		Template
Mon., Oct 10 Group Membership (Cristian88or Cristian91)
Poledna95
Latronico05		 Template
Wed., Oct 12 Sync/Async & Exception Handling taxonomy Turek92
Raynal05
Maxion98 		 Template
Mon., Oct 17 Multi-Version Software Chen78
Knight85
Avizienis88
Knight90		 Template
Wed., Oct 19 Fault Injection Segall88
Hseuh97
Madeira02
Ademaj03		 Template
Mon., Oct 24 Robustness Testing Dawson96
Devale02
Candea04		 Template
Wed., Oct 26 Graceful Degradation Meyer78
Bodson93
Shelton04
Strunk05		 Template
Mon. Oct 31 Dependable Upgrade Nelson97
Sha96
Arlat00		 Template
Wed., Nov 2 Verification & Validation & Boeing 777 case study Fagan86
Umansky01
Yeh98 (See this note!)
Buus97 		Template
Mon., Nov 7 Case Study: Three Mile Island Rubenstein&Mason79
Sugarman79
Lombardo79		 Template
Wed., Nov 9 User Interface & Operator Errors

Rasmussen87
Rasmussen88
Leveson97

 Template
Mon., Nov 14 Software Safety Leveson86
Leveson94		 Template
Wed., Nov 16 Embedded Security Anderson94
Bergstrom01
Parno05		 Template
Mon., Nov 21 Safety & Dependability Cases Czerny00
Pilkington98
Despotou04 		Template
Wed., Nov 23 Thanksgiving break; no class No Reading No Reading
Mon., Nov 28 Societal Issues Schinzinger86
Redmill02
Davis94
Knight02		 Template
Wed., Nov 30 TTP / Automotive Protocol Case Study Kopetz85
Kopetz94
Kopetz03		 Template
Mon., Dec 5. Very Dependable Systems BART81
Butler93
Myers86		 Template
Wed., Dec 7 Case Study: Bradley Fighting Vehicle (reading) Shaw03
(Re-read but don't submit HW for Umansky01)
(Read but don't submit HW for Smith05)		 Template

Additional notes: