1
WeekDateTypeLocationSubject
2
1Friday 30 September 2022 13:45 -- 15:45TheoryM.G.006Course introduction: goals, structure, evaluation, planning, Python!
Causes of complexity, Software Intensive Systems
3
2Friday 7 October 2022 10:45 -- 12:45TheoryM.G.005Causes of complexity, Software Intensive Systems
4
2Friday 7 October 2022 13:45 -- 15:45TheoryM.G.006UML notations: Use Case / Object / Class / Sequence Diagrams
5
2AssignmentUML notations: Regular Expressions, Finite State Automata -- assignment #1
6
3Thursday 13 October 2022 08:30 -- 10:30TheoryM.A.143Modelling of physical systems, Modelica
7
3Friday 14 October 2022 13:45 -- 15:45TheoryrecordingModelica, PID Control
8
3lecture recordings: part 1, part 2, part 3
9
4Monday 17 November 16:00 -- 18:00Lab SessionM.G.025Tutorial: Modelica with OpenModelica
10
4AssignmentModelica, PID Control -- assignment #2
11
4Friday 21 October 13:45 -- 15:45TheoryonlineModelling Language Structure (syntax/semantics)
Algebraic Causal Block Diagrams (operational) loop detection and solving
Discrete-Time Causal Block Diagrams (denotational/operational)
12
4lecture recordings: part1, part2
13
4Friday 21 October 23:59DeadlineBlackboardAssignment 1: Requirements Checking
14
5Friday 28 October 10:45 -- 12:45TheoryM.G.005Continuous-Time Causal Block Diagrams
15
5AssignmentCBDs -- assignment #3
16
5Friday 28 October 13:45 -- 15:45TheoryM.G.006Finite State Automata; Petri Nets
17
6Wednesday 2 November 23:59DeadlineBlackboardAssignment 2: Modelica, PID control
18
6Friday 4 November 10:45 -- 12:45TheoryM.G.005Petri Nets
19
6Friday 4 November 13:45 -- 15:45TheoryM.G.006Petri Nets: analysis, fairness, time, colour
20
7Friday 11 NovemberArmistice - no class
21
8Friday 18 November 10:45 -- 12:45TheoryM.G.005Statecharts
22
8Friday 18 November 13:45 -- 15:45TheoryM.G.006Statecharts
23
8AssignmentPetri Nets -- assignment #4
24
8Saturday 19 November 23:59DeadlineBlackboardAssignment 3: Causal-Block Diagrams
25
9Monday 21 November 16:00 -- 18:00Lab SessionM.G.025Tutorial: Statecharts with YAKINDU (starts with some theory)
26
9AssignmentStatecharts -- assignment #5
27
9Friday 25 November 10:45--12:45TheoryM.G.005Discrete-Event World Views: Event Scheduling, Activity Scanning
28
9Friday 25 November 13:45 -- 15:45TheoryM.G.006Discrete-Event World Views: Process Interaction
Gathering statistics
29
10Friday 2 December 10:45 -- 12:45Theoryrecording
(M.G.005 available)
Atomic DEVS
30
10lecture recordings: part1, part2
31
10Friday 2 December 13:45 -- 15:45Theoryrecording
(M.G. 006 available)
Coupled DEVS + flattening
32
10lecture recordings: part1, part2
33
10Sunday 4 December 23:59DeadlineBlackboardAssignment 4: Petri Nets
34
11Tuesday 6 December 8:30 -- 10:30Lab SessionM.G.025Tutorial: DEVS with PythonPDEVS
35
11AssignmentDEVS -- assignment #6
36
11Friday 9 December 10:45 -- 12:45TheoryM.G.005DEVS patterns
(scaled) real-time simulation
37
11Friday 9 December 13:45 -- 15:45No Class
38
11Saturday 10 December 23:59DeadlineBlackboardAssignment 5: Statecharts
39
12Friday 16 December 10:45 -- 12:45TheoryM.G.005Systems Theory
Forrester System Dynamics
40
12Friday 16 December 13:45 -- 15:45TheoryM.G.006the big picture (the formalism properties table :)
what to study for the exam
41
13Thursday 22 December 23:59DeadlineBlackboardAssignment 6: DEVS
42
13Friday 23 December 10:45 -- 12:45No Class
43
13Friday 23 December 13:45 -- 15:45No Class