These program examples are most of the examples in the 6th edition plus some additional code that is required for them to execute. To use some of these examples, you also need BasicIO.java which is included here. This supports simple text IO - I have not attempted to write a graphical interface for any of the code.

The examples include a simulation of a bank ATM machine (covered in Chapter 5), a simulation of an alarm system (covered in Chapter 13) and a simulation of an insulin pump (covered in various chapters on system dependability). The algorithms used in this insulin pump simulation may not exactly match the examples in the book as I have refined these since the book was sent for publication.  A good exercise for students is to experiment with different algorithms for computing the amount of insulin required.

All of the files here are zip files for downloading onto your machine. They have to be unzipped before use.
 

Chapter 5
Chapter 12
Chapter 13
Chapter 18
Chapter 20
Insulin pump