INF5150 - Autumn 2007

Teaching plan

Date	Teacher	Place	Topic	Lecture notes / comments
31.08.2007	Ø. Haugen	Lille Aud	Introduction	An overview of the course Foils to introduction
07.09.2007	K. Stølen	Lille Aud	Refinement 1	First lecture on refinement Foils Exercises
14.09.2007	A. Refsdal	Lille Aud	UML Interactions	UML 2 Sequence Diagrams - how to apply them and how to understand them. Foils Exercises Suggested solution to exercises
21.09.2007	K. Stølen	Lille Aud.	Refinement 2	Second lecture on refinement Foils Obligatory Exercise 1 The exercises group October 25 has been cancelled
28.09.2007	K. Stølen	Lille Aud.	Security Analysis 1	First lecture on security analysis Foils Filled in questionnaire on terminology Exercises for October 2 Suggested solution to exercises
05.10.2007	A. Refsdal	Lille Aud.	Refinement 3	Third lecture on refinement Foils Exercises Suggested solution to exercises
12.10.2007	Ø. Haugen	Lille Aud.	Executable Models and Agility	How to make executable models such that agile modeling with incremental steps is applicable Foils to Agile 1 Detailed walkthrough from scratch using RSM The very initial model ICU0.emx The test model for ICU0 Exercise for Tuesday 16. Oct. is 1) To get the RSM/SeDi/JFT toolset to work on your computer or on Linux. 2) Run my ICU0 model. 3) Discuss the Oblig2 with your project group. 4) Define the first increment of the Oblig2 that you will target. This should be as simple as possible.
15.10.2007	OBLIG 1 DEADLINE			9.00 AM is the deadline for Obligatory Exercise No. 1
19.10.2007	Ø. Haugen / A. Refsdal	Lille Aud.	Walkthrough of Oblig 1	Walkthrough of Oblig 1 by Atle Refsdal More on modeling the ICU system by Øystein Haugen Foils on more modeling ICU1.emx ICU2.emx ICU3.emx Exercises for Tuesday 23. Oct. are: 1) RSM+SeDi+JFT must be up and running on your machine or your Linux! 2) Get your first increment of the Oblig2 "Survival of the SMSest" to run on Fakepats. 3) Define the next increment of Oblig2 with one data process and one process for the services. Make sequence diagrams for this.
26.10.2007	K. Stølen	Lille aditorium (Ø157) in PHYSICS BUILDING	Security Analysis 2	PLEASE NOTE THAT THIS LECTURE HAS BEEN MOVED DUE TO A DOCTORAL TRIAL LECTURE IN LILLE. AUD. AT IFI. Second lecture on security analysis Foils Revised version of Oblig2 with Security Analysis Exercises Suggested solution to exercises
02.11.2007	Ø. Haugen	Lille Aud.	Service Architecture for Reactive Systems	A versatile and agile architecture for modeling reactive systems Foils on submachine states and sessions ICU4.emx Submachinestates ICU4-DEFER.emx adding defer ICU5.emx with sessions Exercise for Tuesday Nov. 6 Consider which of the following general architectures you prefer for Oblig2: One dynamic session per SMS initiative One dynamic session per User (lasting the whole game) A combination of the two above Something else
09.11.2007	Ø. Haugen	Lille Aud.	Testing	How to describe and execute tests and why this is important. Foils on Testing, Routing, etc. Foils on persistence - not to be lectured! ICU6.emx - the registration service ICU7.emx - positioning others ICU8.emx - routing ICU8-GLOBALADDR.emx - global addresses ICU8-MULTICAST.emx - multicasting ICU9.emx - persistent data
16.11.2007	K. Stølen	Lille Aud.	Security Analysis 3	Foils for Security Analysis 3
23.11.2007	Ø. Haugen	Lille Aud.	Robustification	How to make our reactive systems more robust. Foils on robustness ICUA.emx : checking static id ICUB.emx : intro timer guards ICUC.emx : authentication on hotpos ICUD.emx : more protocol on hotpos ICUE.emx : liveness check on Archive
26.11.2007	OBLIG 2 DEADLINE			09:00 AM is the absolute deadline for Obligatory Exercise 2
30.11.2007	Ø. Haugen / K. Stølen / A. Refsdal	Lille Aud.	Walkthrough of Oblig 2	Executable demonstrations. Test execution, critics and evaluation.
05.12.2007	EXAM			Earlier exams with tentative solutions 2003 2004 2005 2006

Published Aug. 2, 2007 5:10 PM - Last modified Nov. 23, 2007 10:12 AM