Skip to main content Skip to navigation

Timetable S4: edition 2

Module S4 Definitive Methods for Concurrent Systems Modelling

Timetable

Monday 1 November 1993

09.15 Module Overview

09.45 Lecture 1: General Principles of Definitive Programming

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 (room.d, digit-cabinet pun)

01.00 Lunch

02.00 Lecture 3: Introduction to EDEN programming

02.45 Demonstrations and Tutorial on EDEN (jugs.e aka tank.e)

03.15 Tutorial and Laboratory: Animating Railway Signals

04.00 Tea

04.15 Laboratory

05.00 Seminar 1: The Definitive Programming Project Reviewed

Tuesday 2 November 1993

09.00 Lecture 4: Visualisation and Concurrent Systems Modelling

09.45 Demonstration: Visual Interfaces with SCOUT and DoNaLD (lines, roomviewer, jugs.s)

11.00 Coffee

11.15 Lecture 5: An introduction to Scout

12.00 Tutorial and Laboratory: The Railway Bulletin Board

01.00 Lunch

02.00 Tutorial on the Scout-Donald-Eden system

02.45 Tutorial and Laboratory: Visualisation for an Integrated Railway Simulation

04.00 Tea

04.15 Laboratory

05.00 Seminar 2: Programming as Modelling

Wednesday 3 November 1993

09.00 Lecture 6: Agent-Oriented Modelling for Discrete Event Systems

10.00 Demonstration: The Railway Station Animation

10.20 Tutorial: LSD specification of the VCCS

11.00 Coffee

11.15 Lecture 7: Principles of LSD specification

12.00 Case studies: Telephone, Railway Station Animation, Electronic Catflap (notes)

01.00 Lunch

02.00 Workshop: Back to the Future: Current Computing in Railway History / slides

04.00 Tea

04.15 Laboratory

05.00 Seminar 3: Foundations of Programming

Thursday 4 November 1993

09.00 Lecture 8: The Abstract Definitive Machine

10.00 Tutorial: Animating LSD specifications in the ADM

Laboratory: Testing the telephone

11.00 Coffee

11.15 Lecture 9: Observations, continuity and events

12.00 Tutorial: Linking the ADM and EDEN

01.00 Lunch

02.00 Parallel Demonstrations: Beetles, Cricket, Billiards, Sailboat

02.30 Tutorial and Laboratory: Railway events, and animation in the ADM and EDEN

04.00 Tea

04.15 Laboratory Exercises - some railway related

05.00 Seminar 4: Definitive Methods for Programming and Parallelism

Friday 5 November 1993

09.00 Lecture 10: Extensions and Issues for LSD and EDEN

10.00 Tutorial and Demonstration: The Digital Watch and Statechart Animation

11.00 Coffee

11.15 Laboratory and Individual Consultations

01.00 Lunch

02.00 Seminar 5: Future Research Directions and Projects

03.00 Concluding Discussion

03.45 Module Debriefing

04.00 Tea / End