Lecture Notes

The lecture notes contain the concepts you need to know. They will be uploaded when available. The Supporting Reading materials contain more detailed information about some of the topics mentioned in the Lecture Notes. The Further reading materials mentioned in the slides may provide further insight. Note that updated lecture notes usually will be available the evening before the slides are first used.

Introduction:
- Lecture Note: Lecture Notes 1 (PDF)
- Supporting reading: A Conceptual Framework for System Fault Tolerance; Later we will discuss some of the reliability measure in more detail.
Digital Systems:
- Lecture Note: Lecture Notes 2 (PDF)
- Supporting reading:
  - Design/Computer Architecture text
  - Lecture notes on digital logic design by Prof. Ian Harris . Chapter 2 has some supporting materials that you may find useful
  - Logism-evolution: A digital logic circuit simulation tool.
  - Karnaugh maps tutorial (source: https://www.cs.usm.maine.edu/~welty/karnaugh.html)
  - Faults and testing notes (to be discussed later as well)
Fault Modeling:
- Lecture Note: Lecture Notes 3 (PDF)
- Supporting reading: Design for Testability in Digital Integrated circuits, Bob Strunz, Colin Flanagan, Tim Hall: https://www.cs.colostate.edu/~cs530/digital_testing.pdf.
Combinational Circuit Testing:
- Lecture Note: Lecture Notes 4 (PDF)
- Supporting reading: Design for Testability in Digital Integrated circuits, Bob Strunz, Colin Flanagan, Tim Hall: https://www.cs.colostate.edu/~cs530/digital_testing.pdf.
- Resources: faultsimulationa_test.circ Logisim fault inserter
Sequential Circuit Testing:
- Lecture Note: Lecture Notes 5 (PDF)
- Supporting reading: Design for Testability in Digital Integrated circuits, Bob Strunz, Colin Flanagan, Tim Hall: https://www.cs.colostate.edu/~cs530/digital_testing.pdf.
- Resources: 101recognizerScan.circ A Logisim sequential circuit
Probabilistic Methods - Overview:
- Lecture Notes: Lecture Notes 6 (PDF)
- Supporting reading: Markov Processes: https://en.wikipedia.org/wiki/Markov_process,
  Poisson process https://en.wikipedia.org/wiki/Poisson_process.
Random Testing:
- Lecture Notes: Lecture Notes 6b (PDF)
- Supporting reading: Random Testing by Richard Hamlet.
  Pseudorandom Testing by Wagnor et al.
Reliability Part I:
- Lecture Note: Lecture Notes 7a (PDF)
- Supporting reading: Advanced classic paper: Understanding Series and Parallel Systems Reliability. Do not tell anyone I suggested these: failure rate and MTBF.
Reliability Part II:
- Lecture Note: Lecture Notes 7b (PDF)
- Lecture Notes 7c Lecture Note 7c Hardware Redundancy: Implementation Issues (PDF)
- Supporting reading: Advanced classic paper: The Use of Triple-Modular Redundancy to Improve Computer Reliability. A related controversial concept for software: N-version programming (has some well-known references)
Software Reliability
- Lecture Notes: Lecture Notes 8a (Software Reliability:Static Factors) (PDF)
- Supporting reading: Software Reliability Handbook by Lakey and Newfelder
- Lecture Notes:Lecture Notes 8b (Software Reliability Growth) (PDF)
- Lecture Notes: Midterm Review
- Lecture Notes: 8b2 Modeling (Additional Lecture Notes on Modeling) spreadsheet
- Lecture Notes: Lecture Notes 8b3 (Modeling Size and Defect Density) (PDF),
- Lecture Notes: Lecture Note 8c (Test Coverage) (PDF)
- Lecture Notes: Lecture Note 8d (Multi-component systems) (PDF) Multimodulerel.xlsx
- Lecture Notes: Lecture Note 8d2 Reliability Allocation (PDF), RelAllocation.xlsx
- Supporting reading: Software Reliability Handbook by Lakey and Newfelder
- Supporting reading: Software Reliability: A Quantitative Approach in System Reliability Management Solutions and Technologies, 2018 (PDF).
Information Redundancy
- Lecture Notes: Lecture Note 9 Information Redundancy (PDF)
- Supporting reading: Notes on Coding Theory by Jonathan I. Hall
- Lecture Notes: Lecture Note 9a RAIDs (PDF)
Antirandom Testing
- Lecture Note: Lecture Note 9b Antirandom Testing (PDF)
Time redundancy
- Lecture Note: Lecture Note 10 Time Redundancy (PDF)
Security Vulnerabilities
- Lecture Note: Lecture Note 11a, Lecture Note 11b(PDF) Security Vulnerabilities
Review
- Lecture Note: Midterm Review, Final Review
♠♦♥♣

♠♦♥♣