course-details-portlet

TTM4115 - Design of Reactive Systems 1

About

Examination arrangement

Examination arrangement: Portfolio assessment
Grade: Letters

Evaluation Weighting Duration Grade deviation Examination aids
Arbeider 30/100
Arbeider 30/100
Arbeider 40/100

Course content

The course is about methods and languages for developing reactive systems. The main topics are:
- Design of systems according to requirements. 
- Languages for modelling systems, with an emphasis on behavior descriptions.
- Methods and paradigms for to ensure correctness and quality of system designs.

Learning outcome

A. Knowledge:
1) Understand relevant languages for systems engineering, including UML sequence diagrams, state machines and activities.
2) Understand functional and non-functional requirements and how to document them.  
3) Understand the influence of communication mechanisms, concurrency and distribution on the system specification.
4) Understand methods and paradigms for engineering reactive systems, including principles and techniques to ensure quality and correctness.

B. Skills: 
1) Design system specifications that are consistent with requirements.
2) Evaluate the quality of system descriptions.
3) Implement system specifications correctly.

Learning methods and activities

The course uses elements from team-based learning. Traditional lectures and exercises are combined. Throughout the semester, students receive feedback on their learning process by several readiness assurance tests, which also contribute to the final grade.

 

To learn working on larger projects and in a realistic setting, a term assignment is part of the course. In this assignment, students plan, refine and develop an application.

 

Portfolio assessment is the basis for the grade in the course. The portfolio consists of a term assignment which counts 40%, the results of the readiness assurance tests which count 30% and the results of graded exercises that count 30%. The results for the parts are given in %-scores. The entire portfolio is assigned a letter grade. The tests and exercises are given in English only.

Course materials

To be announced at the beginning of the term.

Credit reductions

Course code Reduction From To
SIE5020 7.5
More on the course
Facts

Version: 1
Credits:  7.5 SP
Study level: Second degree level

Coursework

Term no.: 1
Teaching semester:  SPRING 2017

Language of instruction: English

-

Subject area(s)
  • IKT
  • Program/system-utvikling
  • Sivilingeniør
  • Technological subjects
  • Telematics
Contact information
Course coordinator:
  • Frank Alexander Kræmer
Lecturer(s):
  • Frank Alexander Kræmer

Department with academic responsibility
Department of Information Security and Communication Technology

Examination

Examination arrangement: Portfolio assessment

Term Status code Evaluation Weighting Examination aids Date Time Examination system Room *
Spring ORD Arbeider 40/100
Room Building Number of candidates
Spring ORD Arbeider 30/100
Room Building Number of candidates
Spring ORD Arbeider 30/100
Room Building Number of candidates
  • * The location (room) for a written examination is published 3 days before examination date. If more than one room is listed, you will find your room at Studentweb.
Examination

For more information regarding registration for examination and examination procedures, see "Innsida - Exams"

More on examinations at NTNU