CSE 8317 (Fall 2007): Topics and Related Slides/Reading Material
No specific reading assignments will be given.
However, the following is the list of topics,
and the corresponding slides, and chapters from our textbooks or
online papers:
-
8317 overview and general information/background:
-
Overview: class webpage,
online slide set OV.1, and
- Tian/SQE, Chapter 16, Section 16.4 (only briefly).
- Tian/SQE, Chapter 22 (overview only)
-
Review/background: online slide set OV.2, and
- Brief review only: Tian/SQE, Parts I-III.
- Brief review of general context only: Tian/SQE, Chapters 18 & 19.
- FT for SRE: Lyu/HSRE, Chapter 14 (maybe later, general idea only).
- FT for SSE: Tian/SQE, Chapter 16 (16.1-16.3) and related slides online.
- Defect analysis: Tian/SQE, Chapter 20 and related slides online.
Lyu/HSRE, Chapter 9 (ODC),
Ma/Tian Web ODC paper.
- Risk identification: Tian/SQE, Chapter 21 and related slides online.
-
SRE topics and related recent development:
-
SRE Overview:
online slide set SRE.1, and
- Tian-AIC, Sections 1 and 2;
- Tian/SQE Chapter 22 (see related slides online as well);
- Lyu/HSRE, Chapters 1 and 2.
-
TBRMs and Integrated SRE:
online slide set SRE.2, and
- Tian-AIC (whole chapter);
- Tian/SQE, Chapter 22
- (also Tian/SQE Chapter 21 and related slides for TBM technique).
-
Individual SRE models:
online slide set SRE.3, and
- Tian-AIC, Section 2;
- Lyu/HSRE, Chapter 3.
-
SRE application and other SRE Frontiers:
online slide set SRE.4, and
-
SSE topics and recent developments:
-
SSE overview:
online slide set SSE.1, and
- Tian/SQE, Chapter 16, Section 16.4.
-
Safeware (SSE main approach):
"Safeware", whole book, but with focus on Chapter 9
and Part IV (Chapters 11-18).
-
Safety analysis:
online slide set SSE.2, and
- "Safeware", Chapter 14 (and 13&15 also);
- Lyu/HSRE, Chapter 15.
-
Formal Verification in SSE:
online slide set SSE.3, and
- Tian/SQE, Chapter 15;
- "Safeware", Chapter 18.
-
PSC: Tian/SQE, Chapter 16 (16.5) and related slides.
(online slide set SSE.4, cover page only)
Prepared by Jeff Tian
(tian@engr.smu.edu).
Posted: Aug. 9, 2007.