|
|
|
Modelling Complex Systems
Complex
concurrent systems are all-pervasive in the world. Examples including
integrated circuits, traffic systems and weather systems. This course
will introduce techniques for understanding, analysing, describing and
designing such systems by establishing a set of fundamental modelling concepts
which include modularity, abstraction, composition, and hierarchy.
Unit Coordinators
A/Prof Rachel Cardell-Oliver, Room 1.20, email
rachel at csse and
Professor George Milne
Contact Hours
Fridays, 9am to 10.45am, Computer Science Seminar Room 1.24
Lecture and Practical class
This unit will involve 2 contact hours per week.
Discussion Group and Help
use the online help system for messages and questions about this unit.
DOWNLOAD
PAGE click here for online copies of lecture outlines, tutorials, software and
readings.
NEWS
28 March: There will be no 2pm lab class next Friday 4th
April, but there will be a lab session during the 9-11 lecture slot. Come to room 1.24 to start and then we will
move up to the lab later.
18 March: There is no lecture or tutorial this Friday 21 March because
of the Good Friday holiday. Before we
meet next time, you are encouraged to read the paper Learning
in and about complex systems. Details can be found on the DOWNLOAD
PAGE
10 March: Please note that the submission deadline for the tutorials
have been extended to noon on Wednesdays: 19 March, 9 April and 23 April. Login to cssubmit for details.
Topics
Part 1: weeks 1 to 6
We
introduce techniques used by researchers for the specification and analysis of complex
concurrent systems: formal specification and verification by model checking,
simulation, and data stream processing.
Three case studies will be used to explore these topics: the dining philosophers problem for resource sharing, the firefly
synchronisation problem, and analysis of environmental sensor network
data. Tools you will use in the case
studies include the Uppaal model-checker, Java, .NET
databases, and Matlab.
Part 2: weeks 7 to 13
The Circal process formalism will be used as a descriptive
medium for complex concurrent systems. The significance of interacting finite
state machines and its application to spatial systems will be explored. The
dynamics of various complex spatial systems will be examined, modelled and
simulated including that of bushfire spread, pedestrian dynamics and epidemic
transmission.
Assessment
Assessment
will be ongoing throughout this period. Assignments will consist of exercises,
essays and a test in May. Note that there will not be an exam in the usual exam
period.
|
Lab exercises & Research Paper (Part 1) |
50% |
|
Lab and Tutorial exercises (Part 2) |
50% |
