CSE 8317 (Spring 2005): 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:
-
Overview: class webpage and
slide set O (overview) online.
- See also SRE overview and SSE overview below.
- QA Review:
Tian/SQEbook,
Part I (Chapters 1-5);
Tian/SQP paper;
Lyu-book, Chapters 5, 13, and 14.
-
SRE topics and related recent development:
-
SRE Overview:
slide set SRE.1 online.
Tian-AIC,
Sections 1 and 2;
Tian/SQEbook,
Chapter 22 (see related slides online as well);
Lyu-book, Chapters 1 and 2.
-
SRE models:
slide set SRE.2 online.
Tian-AIC,
Section 2;
Lyu-book, Chapter 3.
-
TBRMs and Integrated SRE:
slide set SRE.3 online.
Tian-AIC (whole chapter);
Tian/SQEbook,
Chapter 22
(and also Chapter 21 and related slides for TBM techique).
-
SRE application and other SRE Frontiers:
slide set SRE.4 online.
Lyu-book, Chapters 8 and 11;
Tian/TSE04,
Tian/TSE02 and other recent papers.
-
SSE topics and recent developments:
-
SSE overview:
slide set SSE.1 online.
Tian/SQEbook,
Chapter 16.
Safeware (SSE main approach):
Leveson-book, whole book, but with focus on Chapter 9
and Part IV (Chapters 11-18).
-
Safety analysis:
slide set SSE.2 online.
Leveson-book, Chapter 14 (and 13&15 also); Lyu-book, Chapter 15.
-
Formal Verification in SSE:
slide set SSE.3 online.
Tian/SQEbook,
Chapter 15;
Leveson-book, Chapter 18.
-
PSC:
Yih/Tian paper;
slide set SSE.4 online.
Tian/SQEbook,
Chapter 16 (16.5).
Prepared by Jeff Tian
(tian@engr.smu.edu).
Posted: Jan. 10, 2005.
Last update: April 6, 2005.