Model-Based Design and Verification of Distributed Real-Time Systems

ELG 7187C - Course Notes  (Winter 2013)

Note: This page will evolve as the course proceeds. I will indicate here details about the reading material which covers the course content and also provide some references to supplementary readings (not part of the course content, indicated by << ... >>). In addition, I may provide some newly written course notes for certain parts of the course. Most Powerpoint slides are located here, and some articles from the general literature here.

In order to indicate which part of the course notes and the pointers to other material provided are essential for this course, I have tried to annotate all references by the following colored marks (if the mark is at the beginning of a paragraph or at the title of a document, then it applies to the whole paragraph or document, respectively):

Prerequisites (please review this if you are not familiar with these concepts)

Course content

1. Introduction: the software development process, and behavioral modeling

2. Behavior modeling using states and transitions

3. Distributed system design

4. Performance modeling

5. Applications: Web Services and workflow modeling

6. Comparing specifications and model checking

7. Deriving protocols for communication services and distributed workflow applications

8. Future perspective

Last updated: March 15, 2013