TTM4115 Schedule

Lectures

Tuesdays 08:15-11:00 in EL3
first: 10.01.2012
last: 24.04.2012

Excercises

Thursdays 14:15-16:00 in R3

Fridays 12:15-14:00 in Sahara (Elektro Building, 2nd Floor Room F272)

Term asignment (semesteroppgaven) is graded.

Examination

01.06.2012
A: all printed and handwritten material allowed
(alt trykt og håndskrevet materiale tillatt).

Preliminary schedule

Note that the schedule, the foils and readings will be updated as the course progresses.

date lecturer topic presentation reading
10.01 RB Introduction Introduction Introduction to Systems engineering methodology
Introduction to ITU-T languages
ERS Chapter 1,2
17.01 FK State machines-1 State machines-1 Basic SDL tutorial
ERS Chapter 4-6
24.01 FK State machines-2
Structure and complete behaviour
state machines 2
structure
behaviour
as above
31.01 RB How to Design? Basic design method
PBX-Exercise
ERS Ch. 8
07.02 RB Services and sessions Services and sessions
14.02 FK Service Enginering using ARCTIS Arctis Arctis
21.02 RB Implementation issues Implementation issues Implementing SDL
28.02RB Implementation issues (cont)
MSC
SimpleMSC
Structured MSC
MSC 96
MSC 2000
06.03RB  SDL Inheritance
SDL 2000
UML2
SDL Inheritance
SDL 2000
UML2 
ERS Chapter 7
UML2 Introduction
Telektronikk SDL-UML
Telektronikk SDL-2000
13.03 RBVerification and Validationverification and validation
exercise
solution
ERS chapter 12
20.03 RB Verification and validation cont
Process Algebra
Process Algebra Process Algebra in a nutshell
27.03 RBEscursion week, no lecture.
17.04 RB
GH
Process Algebra contd.
Industrial practice at Kongsberg Maritime
Process Algebra
MSC solution
Process Algebra in a nutshell
24.04 RB Modelling summaryModelling summary
04.05 all Submission Term assignment
10-11.05 RB Examination term assignment in Sahara, schedule will come in student groups
29.05 RB Question time. time and venue tbd
01.06 RB Examination



2012/04/24 11:04, Rolv Bræk