Specification and validation of a concurrent system: an educational project

摘要

For several years we have been in charge of a course on specification and validation of concurrent and reactive systems. At the end of this course, the students must carry out a project dealing with a model railway. They have to specify the railway, validate their model, And finally translate it into a program controlling the Model railway with up to five trains.