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 common analysis techniques for both SRE and SSE:
  1. Overview: class webpage, online slide set OV
  2. Common analysis techniques:
     • Defect analysis: Tian/SQE, Chapter 20 and related slides online.
     • Trend analysis: Lyu/HSRE, Chapter 10, and Abuta/Tian-2018 paper (SRE4_j36doedSRE.pdf) on Canvas
     • ODC: Lyu/HSRE, Chapter 9;
       Additional papers: Abuta/Tian-2018 large to small company ODC adaptation paper (A_c50smallODC.pdf), Ma/Tian-2007 Web ODC paper (A_j27webODC.pdf), and Cloud ODC paper by Alannsary/Tian'2015 (A_c44cloudODC.pdf) on Canvas.
     • Risk identification: Tian/SQE, Chapter 21 (or the Tian-2000/Risk paper, A_j15risk.pdf, on Canvas) and related slides online.

• SRE topics and related recent development:
  1. SRE Overview: online slide set SRE.1, and
     • Tian-AIC (SRE2_b1sreAIC.pdf on Canvas), 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 (classical) 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;
     • Web SRE with different usage measurement: Kallepalli/Tian-2001 and Tian/Rudraraju/Li-2004 papers (SRE4_j18webmtr.pdf and SRE4_j23webld.pdf on Canvas)
     • Data clustering in SRE: Tian-2002 paper SRE4_j19dcrm.pdf on Canvas
     • New applications and extensions (SMU sre4_smu.ppt on Canvas):
       • E-commerce SRE: Jaffal/Tian'2014 (SRE4_c42ecWebSRE.pdf on Canvas),
       • Cloud SRE: Bokhary/Tian'2017 (SRE4_j35cloudsreGmap.pdf on Canvas)
       • Experience factor and SRE: Y.Tian/J.Tian/Li'2017 (SRE4_c47exprSRE.pdf on Canvas)
       • Embedded system OED SRE: Abuta/Tian'2018 (SRE4_j36oedSRE.pdf on Canvas).
       • Proactive RT-SRE: Y.Tian/J.Tian/Li'2020 (SRE4_j40cloudRelEff.pdf on Canvas).
       • Just-in-time/JIT defect prediction/correction and effect on reliability: Y.Tian/Li/J.Tian/Zheng'2020 (SRE4_c51JIT_SRE).

• 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.
     • Nancy Leveson, "Engineering a Safer World", MIT Press, 2012
       ISBN: 978-0-262-01662-9
       (available as open access PDF file, or you can buy a paperback.)
       Slides (SSE4_SaferBook_LAW-2013-Leveson.pdf) on Canvas