18-749 Dependable Embedded Systems

Dependable Embedded Systems

The course formerly known as 18-749
Carnegie Mellon University
Spring 2003

MM A14; Mon & Wed. 9:30-11:20

Important notices:

If you are off campus (a non-CMU IP address), to access reading either use the public links accessible via clicking topic name or use the CMU Proxy Service

Class meeting schedule:
(click topic name for full reading list/citations)

Date (some dates tentative)	Topic (click topic name for more reading pointers)	Readings (accessible from CMU only!)	BibTeX
Mon., Jan 13	Intro & SW Defect Classification	Avizienis01 Wallace99 Sullivan91	Template
Wed., Jan 15	Entrance Exam	Bring a calculator and one study sheet
Mon., Jan 20	Case Studies	ESA96 Weinstock80 Cristian91 Gray90	Template
Wed., Jan 22	HW Fault Tolerance & Dependability Modeling	Bouricius71 Bossen81 Reibman91 Dugan95	Template
Mon., Jan 27	SW Fault Tolerance: rollback/rollforward	Randell95 Xu96 Chiu02	Template
Wed. 1/29	SW Fault Tolerance: other techniques	Anderson85 Levendel95 {Shen88 or Garg98}	Template
Mon. 2/3	Distributed Time	Lamport78 Lamport85 {Raynal96 or Kopetz02}	Template
Wed. 2/5	Exception Handling	Goodenough75 Romanovsky98 Vo97	Template
Mon. 2/10	Byzantine Agreement	Lamport82 Keichafer88	Template
Wed. 2/12	Fault Tolerant Middleware	Maffeis95 Felber96 Narasimhan02	Template
Mon. 2/17	Snow Day (classes cancelled by university)	none	none
Wed. 2/19	Group Membership & applied embedded Byzantine Agreement	Cristian91 Poledna95	Template
Mon. 2/24	Exception Handling Study	Maxion00	Template
Wed. 2/26	Dependable Upgrade	Nelson97 Sha96 Arlat00	Template
Mon. 3/3	Multi-Version Software	Chen78 Knight85 Avizienis88 Knight90	Template
Wed. 3/5	Fault Injection	Segall88 Hseuh97 Madeira02 Aidemark02	Template
Mon. 3/10	Building of the Boeing 777 (video)	Yeh98 (See this note!)	Template
Wed. 3/12	Graceful Degradation	Meyer78 Bodson93 Shelton03	Template
Mon. 3/17	Robustness Testing	Dawson96 Dingman95 Devale02	Template
Wed. 3/19	Distributed Real Time	Stankovic88 Ghosh94 Kaiser98	Template
Mon. 3/24	Spring Break	none	none
Wed. 3/26	Spring Break	none	none
Mon. 3/31	Verification & Validation	Fagan86 Umansky01 Buus97	Template
Wed. 4/2	Case Study: Three Mile Island	Rubenstein&Mason79 Sugarman79 Lombardo79	Template
Mon. 4/7	User Interface & Operator Errors	Rasmussen87 Rasmussen88 Leveson97	Template
Wed. 4/9	Software Safety	Leveson86 Leveson94	Template
Mon. 4/14	Embedded Security	Anderson94 Bergstrom01 Wargo03	Template
Wed. 4/16	Safety Cases	Pilkington98 Jesty00 Czerny00	Template
Mon. 4/21	Societal Issues	Schinzinger86 Redmill02 Davis94 Knight02	Template
Wed. 4/23	TTP / Automotive Protocol Case Study	Kopetz85 Kopetz94 Kopetz03	Template
Mon. 4/28	Very Dependable Systems	BART81 Littlewood93 Myers86	Template
Wed. 4/30	Case Study: Bradley Fighting Vehicle	No Reading	No Reading

Additional notes:

More about BibTeX

Students who have not completed the pre-requisite of 18-549 will be required to pass a pre-test on 18-549 material. The pre-test will be administered during class hours on the second class meeting (Wednesday Jan 15th). See the 18-549 web page for on-line material to study. Students who have received a "B" or better in 18-549 are exempt from the pre-test and do not have to attend class that day. Material covered on the pre-test will be from the lecture notes and required reading from 18-549 as follows:
- Distributed time (lectures 9 & 11 and require reading)
- Critical communication protocols (lectures 14 & 15 and required reading)
- Safety critical systems (lectures 18-25 and required reading)
- Students are assumed to be generally familiar with all the lectures of 18-549 as context for embedded systems, but no specific pre-test questions will be created for other lectures.
- You are permitted to bring a single 8.5"x11" sheet of paper with notes on it to the test.
- Bring are required to bring a calculator that can compute e^x. No PDAs or laptops permitted.