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:
  1. Overview: class webpage, online slide set OV, and
     • Tian/SQE, Chapter 16, Section 16.4 (only briefly).
     • Tian/SQE, Chapter 22 (overview only)
  2. Review/background:
     • 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.
  3. Common analysis techniques:
     • Defect analysis: Tian/SQE, Chapter 20 and related slides online.
       Lyu/HSRE, Chapter 9 (ODC),
       Ma/Tian Web ODC paper.
       also usability ODC paper by Geng/Chen/Tian from QSIC'2014 posted in Blackboard.
     • Risk identification: Tian/SQE, Chapter 21 and related slides online.

• SRE topics and related recent development:
  1. 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.
  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).
  3. Individual SRE models: online slide set SRE.3
     • Tian-AIC, Section 2;
     • Lyu/HSRE, Chapter 3.
  4. SRE application and other SRE Frontiers: online slide set SRE.4, and
     • Lyu/HSRE, Chapters 8 and 11;
     • Tian/TSE04,
     • Tian/TSE02 and other recent papers.

• SSE topics and recent developments:
  1. 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).
  2. Safety analysis: online slide set SSE.2, and
     • "Safeware", Chapter 14 (and 13&15 also);
     • Lyu/HSRE, Chapter 15.
  3. Safety through hazard and risk resolution: online slide set SSE.3, and
     • "Safeware", Chapter 16 (and 17&18 also);
  4. Formal Verification in SSE: online slide set SSE.4, and
     • Tian/SQE, Chapter 15 and 16 (16.5), and related slides.
     • "Safeware", Chapter 18.