INF5150 - Autumn 2010

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
03.09.2010?ystein Haugen? 3B? Introduction? Foil for Introduction

What is this course all about??

08.09.2010?ystein Haugen? 3B? More on modeling? Foils from the exercise on the Chocolate Game?
10.09.2010?ystein Haugen? 3B? Sequence Diagrams? Foils for Introduction to UML 2 Sequence Diagrams

Sequence diagrams form the basis for STAIRS and are used to check consistency with the executable models.?

14.09.2010?ystein Haugen? 3B? Exercises on Interactions? Foils for the exercise on Sequence Diagrams

Our problem is how to decide in a group about what movie to watch.

We will see how threads in Java compare with different concepts in our sequence diagrams.?

17.09.2010Ketil St?len? 3B? STAIRS and Refinement (1)? Foils for the first lecture on refinement

Exercises for the group Sept. 22

Solutions of exercises for the group Sept. 22 ?

24.09.2010Ketil St?len? 3B? STAIRS and Refinement (2)? Foils for the second lecture on refinement

Exercises for the group Sept. 29

Solutions of exercises for the group Sept. 29

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

01.10.2010Ketil St?len? 3B? STAIRS and Refinement (3)? Foils for the third lecture on refinement

Exercises for the group Oct. 6 ?

04.10.2010OBLIG 1 DEADLINE? ? ? Deadline is strict, and it is in the morning 10.00. The solutions should be sent by e-mail. This obligatory exercise is individual.

Henrik's correct solution?

08.10.2010Bj?rnar Solhaug? 3B? Security Analysis (1)? Foils for the first lecture on security analysis

Dependability concepts

Last Wednesday we did not have time to go through the exercises for October 6. They will instead be the topic for the group this Wednesday (October 13).

Solutions of exercises for the group Oct. 13 ?

15.10.2010Bj?rnar Solhaug? 3B? Security Analysis (2)? Foils for the second lecture on security analysis

CORAS-Tool (Windows)

CORAS-Tool (Linux)

Getting Started

NOTE: The CORAS-Tool is only for the students of INF-5150. It should not be forwarded/given to others without the explicit consent of Ketil St?len.

Obligatory Exercise 2

Exercises for the group Oct. 20

Solutions of exercises for the group Oct. 20 ?

22.10.2010?ystein Haugen? 3B? Modeling (1)? Foils on Modeling 1

Executable models at once, with analysis and tests?

25.10.2010OBLIG 2 DEADLINE? ? ? Obligatory Exercise on Security Analysis.?
29.10.2010Ketil St?len? 3B? Security Analysis (3)? Foils for the third lecture on security analysis

The group Nov. 3 will introduce the obligatory exercise on modeling.

The group Nov. 10 will focus on likelihood reasoning.

Syllabus Security Analysis:

Chapter 3 in the CORAS-Book

The following fragment of Chapter 13 in the CORAS-Book

Exercises for the group Nov. 10

Solutions of exercises for the group Nov. 10 ?

03.11.2010?ystein Haugen? 3B? Oblig 3 on Modeling? Oblig 3

The Obligatory exercise #3 on Modeling will be introduced.

The participants will get a unique chance to get acquainted with the material during the exercise hours.?

05.11.2010?ystein Haugen? 3B? Modeling (2)? Foils on Modeling 2

More than one service offered?

12.11.2010?ystein Haugen? 3B? Modeling (3)? Foils on Modeling 3

Sessions: many users concurrently, many services to choose from?

15.11.2010OBLIG 3 DEADLINE? ? ? This obligatory exercise is in Modeling. Send an email to oysteinh@ifi.uio.no before 10.00 this day.?
17.11.2010?ystein Haugen? 3B? Walkthrough of Oblig 3? We are going to walk through Oblig 3 and understand what is a very informal sketch compared to a precise description.?
19.11.2010?ystein Haugen? 3B? Modeling (4)? Foils on Modeling 4

More on testing and on routing and a few other things?

24.11.2010?ystein Haugen? 3B? Exercises: Exam 2009 Modeling? We will go through the modeling part of the exam from 2009 known from your obligatory exercises I and II.

Foils from the walkthrough of Exam 2009?

26.11.2010?ystein Haugen? 3B? Modeling (5)? Foils on Modeling 5

Robustification ?

03.12.2010EXAM? See the Student Web? EXAM? You can find the earlier exams with solutions in the folder old exams ?
Published Sep. 3, 2010 10:58 AM - Last modified Nov. 26, 2010 2:45 PM
E-mail this page