Teaching plan

UML Sequence Diagrams are basis for our work on refinement (STAIRS). They are also central to our modeling approach. 

Exercises

Solution 

Exercises

Solution

Obligatory Exercise 1: Problem 2 on STAIRS in the Exam from 2008

Obligatory Exercise 1: Erik's correct solution 

More background on STAIRS and neg 

You should send your individual solutions by email to kst@sintef.no as an attachment in pdf-format. 

Executable models at once, with analysis and tests

Obligatory exercise 2 

Exercises

Solution 

More than one service offered

Models ICU0-4 found here 

Sessions: many users concurrently, many services to choose from

ICU4-DEFER ICU5.emx 

Send an emx-file to Rayner and Øystein. Use your own name in the filename 

Exercises

Solution

Obligatory Exercise 3 PART I: Problem 3a on Risk Analysis in the Exam from 2008

Obligatory Exercise 3 PART II: Problem 3b Revised 

Exercises

Solution  

More on testing and on routing and a few other things 

You should send your individual solutions by email to kst@sintef.no as an attachment in pdf-format.

REGARDING THE USE OF THE CORAS EDITOR: See slide 39 in Foils for Security Analysis 2 

Robustification 

In 2003 and 2004 the exams were in Norwegian.

PLEASE NOTE that this is not the official site for giving the time and place of the exam.