The course grades are distributed as follows:

• 30% on the theory exam;
• 70% on the assignments. The weight of the individual assignments will be decided during the semester. (January 2016 update: the weight is now added to the list of assignments below).

The (written) theory exam takes place during the exam period (date to be announced). Use of your notes or other materials such as laptops is not allowed (aka "closed book").

Here is a tentative list of Exam Topics/Questions

The course will make extensive use of the object-oriented programming language Python. We advise you to prepare for this course by learning the language, if you don't already know it.

A useful tutorial can be found at: http://docs.python.org/tutorial/

Week

Date

Type

Room

Subject

1. [10%] Checking requirements using Sequence Diagrams and Trace Matches of a railway controller.
2. [10%] Causal Block Diagrams (un-timed, discrete-time).
3. [15%] Causal Block Diagrams (continuous-time).
4. [10%] Petri net modelling and analysis of a railway junction controller.
5. [10%] Statecharts modelling, simulation, synthesis, and testing of a train interface.
6. [15%] DEVS modelling and simulation for performance analysis of a railway network.

These assignments will be completed in groups of two students (optionally alone). Your solutions should be submitted on Blackboard. During the evaluation moments (see schedule), you will clarify your solution individually.