This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CS3211 Parallel and Concurrent Programming – Guidelines for tutorial (22-26 March 2010) Sample Exercises: [Please conduct these as an interactive discussion, rather than an evaluation. Please also make it clear to the students that they are not being evaluated for their performance in these exercises, so that they are not afraid to make mistakes while answering.] 1. What action trace violates the following safety property? Property PS = (a -> (b->PS | a-> PS) | b->a->PS). Answer: /* Trace to property violation in PS: b b */ 2. A lift has a maximum capacity of ten people. In the model of the lift control system, passengers entering the lift are signalled by an enter action, and passengers leaving the lift are signalled by an exit action. Specify a safety property as a process equation which when composed with the lift will check that the system never allows the lift to have more than 10 occupants....
View Full Document
- Spring '11
- Parking lot, Parking space, car park, Semaphore