Timetable S4: edition 4
Module S4 :Definitive Methods for Concurrent Systems Modelling
Monday 8 January 1996
09.15 Module Overview
09.45 Lecture 1: An Introduction to the Empirical Modelling Project
10.30 Demonstration: The Vehicle Cruise Control Simulation
11.00 Coffee
11.15 Lecture 2: Introducing Definitive Notations
12.00 Demonstrations and Tutorial on DoNaLD
1.00 Lunch
2.00 Lecture 3: Introduction to EDEN programming
2.45 Demonstrations and Tutorial on EDEN
3.15 Tutorial and Laboratory: Animation of Games (DoNaLD)
4.00 Tea
4.15 Seminar 1: Software development versus system development
5.15 Laboratory
Tuesday 9 January 1996
09.00 Lecture 4: Visualisation and Concurrent Systems Modelling
09.45 Demonstration: Visual Interfaces with SCOUT and DoNaLD
11.00 Coffee
11.15 Lecture 5: An introduction to Scout
12.00 Tutorial and Laboratory: Animation of games (SCOUT)
1.00 Lunch
2.00 Tutorial on the Tk-eden system
3.00 Tutorial and Laboratory: Visualisation for an Integrated Railway Simulation
4.00 Tea
4.15 Seminar 2: How do we know that a system works?
5.15 Laboratory
Wednesday 10 January 1996
09.00 The LSD Notation for Agent Specification
09.45 Case Studies in LSD: the VCCS, the Railway Station Animation, the Cat Flap
11.00 Coffee
11.15 Back to the Future: Modern Computing in Railway History
12.00 Historic Railway Accidents Part 1
13.00 Lunch
14.00 Historic Railway Accidents Part 2
15.00 The Great Game of Britain (LSD)
16.00 Tea
16.15 Seminar: Design and Explanation
17.00 Laboratory
Thursday 11 January 1996
09.00 Agent-oriented Modelling for Discrete Event Systems
09.45 Case Studies: The Railway Animation
10.00 The Abstract Definitive Machine
10.45 Case Studies: Telephone, Beetles, Cricket
11.00 Coffee
11.15 Tutorial and Laboratory: ADM
11.45 The Great Game of Britain (ADM)
13.00 Lunch
14.00 Issues and Research Directions for LSD
15.00 Parallel Demonstrations and Laboratory
16.00 Tea
16.15 Seminar: Empirical Modelling for Concurrent Systems
17.00 Laboratory
Friday 12 January 1996
09.00 Lecture 10: Extensions and Issues for LSD and EDEN
10.00 Tutorial and Demonstration: The Digital Watch and Statechart Animation
10.30 Coffee
10.45 Laboratory and Individual Consultations
12.45 Module Debriefing
01.00 Lunch /
Proposed assignment topics