CSE 8317 (Spring 2018): 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 common analysis techniques for both SRE and SSE:
-
Overview: class webpage,
online slide set OV
- Common analysis techniques:
- Defect analysis: Tian/SQE, Chapter 20 and related slides online.
Trend analysis: Lyu/HSRE, Chapter 10, and Abuta/Tian paper
(c43dTrend.pdf) on Canvas
- ODC: Lyu/HSRE, Chapter 9;
- Additional papers:
Ma/Tian Web ODC paper (j27webodc.pdf),
usability ODC paper by Geng/Chen/Tian'2013 (c39uODC.pdf),
and Cloud ODC paper by Alannsary/Tian'2015 (c44cloudODC.pdf) on Canvas.
- Risk identification: Tian/SQE, Chapter 21
(or the Tian/Risk paper, j15risk.pdf, on Canvas)
and related slides online.
-
SRE topics and related recent development:
-
SRE Overview:
online slide set SRE.1, and
-
Tian-AIC (b1sreAIC.pdf on Canvas),
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 (classical) SRE models:
online slide set SRE.3
- Tian-AIC, Section 2;
- Lyu/HSRE, Chapter 3.
-
SRE application and other SRE Frontiers:
online slide set SRE.4, and
- Lyu/HSRE, Chapters 8 and 11;
- Web SRE with different usage measurement: Tian/TSE04,
- Data clustering in SRE: Tian/TSE02, and
- New applications and extensions (SMU sre4_smu.ppt on Canvas):
-
E-commerce SRE: Jaffal/Tian'2014 (c42eC_SRE.pdf),
-
Cloud SRE Alannsary/Tian'2016 (c45SaaSsre.pdf)
and
Bokhary/Tian'2017 (j35cloudsreGmap.pdf and j35cloudsreGmapSlides.pdf)
- Experience factor and SRE: Y.Tian/J.Tian/Li'2017
(c47exprSRE.pdf and c47exprSRE_slides.pdf)
- Embedded system OED SRE: Abuta/Tian'2018 (j36oedSRE.pdf on Canvas).
- Maintaining accurate OP and impact on reliability:
Karami/Tian'2018 (j37ad4mop.pdf),
Karami/Tian'2017 (b4op_impact.pdf), and slides (accu_op.ppt).
-
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.
-
Safety through hazard and risk resolution:
online slide set SSE.3, and
- "Safeware", Chapter 16 (and 17&18 also);
-
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 (SaferBook_LAW-2013-Leveson.pdf) on Canvas
Prepared by Jeff Tian
(tian@engr.smu.edu).
Posted: Jan. 25, 2018.
Last update: April 25, 2018.