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