Til NTNUs hovedside

TTM 4115 spring 2007
Home Contents

 

News
Schedule
Topics
Excercises
Old Exams
Curriculum

TTM 4115 Engineering Distributed Real Time Systems
                  Systemering av Distribuerte Sanntidssystemer

is a course in formal methods and systems engineering methodology for development of real-time systems with emphasis on telematics systems. The main topics are:

bullet System modelling with emphasis on logical behaviour
bullet Languages for system modelling:
UML, MSC, SDL, ASN.1, TTCN, ProcessAlgebra
bullet Methods for system modelling
bullet Methodology for systems engineering: TIMe, Verification and validation
 

The students get practical and hands on experience through exercises. All students must submit a term assignment where they specify and simulate a telematics system using UML (and Java). 

horizontal rule

Objectives

After taking this course students shall have basic knowledge about systems engineering methodology, and the ASN.1, TTCN and CCS languages. They will have sufficient knowledge and experiences to design and simulate reactive systems using the languages MSC and UML and a supporting toolset (Ramses).

horizontal rule

Grading

The grading is based on a portfolio where the term assignment counts 25%, and the written exam counts 75%.

horizontal rule

Contact Information

Responsible and lecturer:   Professor Rolv Bræk, ITEM
                                        Room: A271
                                        Phone: 92670, 41544605 
                                        e-mail : rolv.braek (at) item.ntnu.no          

Vitass:                              Vidar Slåtten
                                        Room: A275
                                        Phone: 90786                                 
                                        e-mail: vidarsl (at) item.ntnu.no
                                        Supervision time: 

Studass:                           Svein-Tore Landsverk <sveintl (at) stud.ntnu.no>
                                        Supervision time:                                             
                                        Steinar Lieng Fredriksen <steinarl (at) stud.ntnu.no>
                                        Supervision time:

Reference group:              Mathilde Eidem:                  mathilde (at) stud (dot) ntnu (dot) no
                                        Hasan Mohammad Fowzi:     hasan (at) stud (dot) ntnu (dot) no
                                        Ole Marius Steinkjer:           olemarius (dot) steinkjer (at) gmail (dot) com
                                        Marius Bjerke:                    mariubje (at) stud (dot) ntnu (dot) no
 

Mailing list:                         ttm4115@item.ntnu.no
                                          Subscription 
                                                             Mail archive