Expand All

Collapse All

Aims

Apply Event-Driven Techniques to manage concurrent events.

Apply formal methods and Petri-nets to the design of a robust system.

Overview

You have been hired by a railway company to build a prototype of the so[ware to manage an interlocking for one corridor in their rail network:

Freight and passenger lines at Islington

An interlocking is the system that ensures signals and points in a section of railway do not allow trains to occupy the same section of track.

Your system needs to:

Allow trains to pass through the area without colliding.

Avoid deadlock & ensure all trains that enter the area are able to successfully pass through if possible.

Make efficient use of the track

Your Task

Your task is to plan and implement the system described above.

See Rail Network Details below for more information on system layout and requirements

First, plan out your system using Petri Nets

Refer to the Notes/Readings listed in the section below for ways to use Petri- nets to represent this type of system.

Include all of your working in your Github commit log/comments.

Since you won't have any code to commit at this stage, you could add your current diagram, or alternately keep a text-based log of your

progress whose commits you can add comments on.

Finally, implement your code.

You are given a Java Interface HERE that provides function signatures that your implementing class(es) will need to implement.

Review this and make sure you understand it before writing code.

Your implementation should at minimum contain a class named

InterlockingImpl in a file named InterlockingImpl.java that implements the interface above.

Event Driven systems are particularly prone to errors so you'll