Week 10

Lecture Friday (06.02.2015)

The sixth lecture will show how to ensure safety (nothing bad ever happens) and liveness (something good eventually happens) properties.

Reading

Chapter 7

Study Groups

1) Read the project description thoroughly and discuss in the group those points that are not clear to you (yet).

2) Until next week, read Chapters 7 and 8 from the book. Discuss the impact of models on the reliability of concurrent systems.

3) Do Exercises 5.1 and 5.5.

Exercise & Lab

1) Do Exercises 5.2 and 5.3.

2) Do non-implementation part of Exercises 5.4 and 5.6.

3) Write the full FSP model for Exercise 6.1.

4) Do Exercises 6.2 and 6.4.

5) Do the implementation part of Exercises 5.4 and 5.6.

6) Do Exercise 6.3.