CS 5214

Modeling and Evaluation of Computer Systems


- Class Instructor
- Catalog Description
- Topics to be Covered
- Reference Textbook
- Grading Policies
- Class Schedule
- Important Dates
- FAQ
- Homeworks and Tests
- Lecture Slides
- Software

Class Instructor

Dr. Ing-Ray Chen, Professor of Computer Science Department

Catalog Description

5214: An overview of modeling, simulation and performance evaluation of computer systems, i.e., operating systems, database management systems, office automation systems, etc. Fundamentals of modeling, the life cycle of a simulation study, workload characterization, random number and variate generation, procurment, measurement principles, software and hardware monitors, capacity planning, system and program tuning, and analytic modeling.

Why do you need to take this course?

This course will cover two state-of-the-art performance and reliability modeling and analysis tools, namely, SHARPE (Symbolic Hierarchical Automated Reliability & Performance Evaluator) and SPNP (Stochastic Petri Nets Package), both developed by Duke University. SHARPE has its own language, while SPNP language is a subset of C. Users can use these tools to define a system and ask these tools to calculate system performance/reliability measures. This course will also cover discrete-event simulation. Students can use the tools and techniques learned in this course to evaluate computer system designs, e.g., control and scheduling algorithms, network communication protocols, distributed algorithms, reliability and dependability of cyber physical systems, network and service management of mobile wireless systems, trust and security management of IoT systems, admission and quality of service control algorithms in multimedia systems, replicated data control algorithms in databases, etc. This course is ideal for graduate students to equip themselves with mathematical modeling and analysis techniques for their research projects. Case studies will be drawn from distributed databases, mobile systems, and networked multimedia systems.

Topics to be Covered (Tentative)

Discrete event simulation (1 week)
Combinatorial reliability/availability modeling (1/2 week)
Fault trees, reliability graphs, network reliability models (1 week)
Reliability and availability modeling using SHARPE (1/2 week)
Markov models for performance/reliability/availability evaluation (2 weeks)
Single queueing systems (1 week)
Product-form queueing networks (1 week)
Stochastic Petri nets modeling using SPNP (1 week)
Hierarchical modeling (1/2 week)
Performability modeling (1/2 week)
Case studies and paper discussion (5 weeks)

Reference Textbook

There is no textbook but I will use the following reference text to cover SHARPE: R.A. Sahner, K.S. Trivedi and A. Puliafito, Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package, Springer, 1996, ISBN: 9781461523673, Price: $79.95.

Grading

  • 40% homework (3)
  • 25% exam 1
  • 25% + 5% bonus exam 2
  • 10% participation and paper presentation


    Class Schedule

    Date HW/Test Source Subject
    8/24 hw1 S* Discrete event simulation
    8/31   2 Reliability and availability models
    9/7   9 Fault trees, reliability graphs, network reliability models using SHARPE
    9/14 hw1 due at 3:30pm; hw2 S* Queueing theory: single queueing systems
    9/21   4,6,9,12 Markov models and performability analysis using SHARPE
    9/28     Conference travel (no class)
    10/5   S*,5,10 Case study 1, queueing network models using SHARPE
    10/12     Conference travel (no class)
    10/19 hw2 due at 3:30pm 11 Hierarchical modeling
    10/26 exam 1   3:30 - 6:15 p.m. in class
    11/2 hw3 7 Stochastic Petri net modeling using SPNP
    11/9   7,S* Stochastic Petri net modeling using SPNP, case study 2, case study 3
    11/16   [P1] [P2] Paper presentation
    11/23 hw3 due at 3:30pm   Thanksgiving break (no class)
    11/30 exam 2   3:30 - 6:15 p.m. in class

    S* - supplement materials (slides)
    SHARPE - Symbolic Hierarchical Automated Reliability & Performance Evaluator.
    SPNP - Stochastic Petri Net Package
    [Pn] - paper presentation material, to be determined in class.

    Presentation Schedule and List of Papers

  • [P1] (Presented by Banker, Fan, Jiang, Liang, Sklopan, and Wu) (presentation slides)
    R. Mitchell, and I.R. Chen,
    "Modeling and Analysis of Attacks and Counter Defense Mechanisms for Cyber Physical Systems,"
    IEEE Transactions on Reliability,
    vol. 65, no. 1, March 2016, pp. 350-358.

  • [P2] (Presented by Gonzalez-Aguilar, Jin, L. Wang, T. Wang, and Zhang) (presentation slides)
    D.C. Wang, I.R. Chen, and H. Al-Hamadi,
    "Reliability of Autonomous IoT Systems with Intrusion Detection Attack-Defense Game Design,"
    IEEE Transactions on Reliability,
    vol. 70, no. 1, 2021, pp. 188-199.