CS 380N - Systems Modeling
Instructor - J.C. Browne
Modeling plays a fundamental role in the design and analysis of complex systems in general and computer systems in particular. A model is an abstraction of a system. There are frequently multiple models of a system with each model (performance model, reliability model, etc.) being specialized for analysis of a specific property. Models, like systems, are represented in languages. Algorithms and methods for analysis of models are representation specific.
The objective of the class is to enable participants to construct abstracted models of systems from which the properties of the realized system can be reliably predicted and to use these models for systems design and analysis. The principal focus will be performance models of computer systems, particularly distributed and networked computer systems. Modeling languages and analysis algorithms for other properties such as reliability, availability and correctness will also be studied. The emphasis of the course is practical although the lectures will cover theoretical concepts and principles. Participants will work with systems and tools from industrial practice and survey recent university research.
The class will be conducted on a seminar basis. The instructor will offer lectures on a set of basic topics during the first half of the semester and the participants will present reports on their projects during the second half of the semester.
3. Topics and Coverage
4. Course Materials
The breadth of the lecture topics precludes use of any single text. The primary sources for the course will be lecture notes, papers from the literature (both classical and recent), material from online books and tutorials and manuals for research and commercial tools. An example reference is the "Online Version of Quantitative System Performance: Computer System Analysis Using Queueing Network Models, a 1984 Text on Performance Analysis" which is available on the web at http://www.cs.washington.edu/homes/lazowska/qsp/ Several chapters from this online book are used as reference material for the lectures on queueing models and performance.
Lecture notes and papers which are not readily available elsewhere on the web will be available through the class web page.
5. Work Requirements
There will be one three hour examination over the basic topics such as model abstraction systems and model evaluation systems including analytical solution methods and discrete event simulation. This examination will be in the evening separate from class on or about the middle of March, 2002.
Each participant will also do a project. The projects may be installation and evaluation of a research language, system or tool or a case study in modeling.
Each participant will do either one or two presentations to the class on his/her project.
Grades will be derived 30% from the examination, 10% from outside assignments and 60% from the from the presentations and reports on the projects.
7. Lecture Schedule and References
A schedule of lecture topics and the reference material for each lecture will be posted before the start of lectures.
Examples of lecture notes can be found on the class web page from Spring 2001.