• Design process for embedded multiprocessor real-time system.
• Design requirement for safety-critical embedded software systems.
• Specification of embedded software systems. Model of computation and modelling language. Modeling of the platform.
• Advanced models and methods for the analysis of real-time system.
• Methods for code generation from high-level models. 

After completing the course, the students shall be able to

• use different models of computation for specification of embedded software systems
• use advanced models and methods for the analysis of embedded real-time systems
• use methods for generation of software from high-level models
• carry out the design process from specification to implementation of an embedded multiprocessor real-time system.

The course consists of 15 lectures, 2 seminars and 3 laboratory sessions. The laboratories will be conducted as practical homework tasks. 

Schema VT-2022-742

The course requires good knowledge about the design of embedded computer systems, comparable to IL2206 Embedded Systems

The course will distribute lecture notes, which will be the main course material for the course. In addition links to other information will be provided during the course.

Students at KTH with a permanent disability can get support during studies from Funka:

Funka - compensatory support for students with disabilities

A, B, C, D, E, FX, F

• LABA - Laboratory Work, 3.0 credits, Grading scale: P, F
• TENA - Examination, 4.5 credits, Grading scale: A, B, C, D, E, FX, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

Laboratory Work ( LABA )

The laboratory course addresses the following learning outcome: The student shall be able to carry out the design process from specification to implementation of an embedded multiprocessor real-time system.

In order to pass the laboratory course, each student has to

• complete the laboratories, which this year are conducted as individual and mainly practical homework. To pass the laboratory part, the student has to achieve 70% of the total points. Laboratories are done individually, and each student has to demonstrate individual knowledge by demonstrating the laboratory tasks to a course assistant. Students have to book time slots for the examination of the laboratories.
• complete the seminar preparation tasks and actively and in a constructive way contribute to the seminars. To pass the seminar part, the students have to achieve 70% of the total points. Students have to book time slots for the seminars.

There are 3 practical homework assignments and two seminars. The laboratories and seminars also contribute to the final grade for the course. The calculation of the final grade is given in Canvas.

Examination ( TENA )

The examination TENA will be done as individual homework, followed by an optional oral exam for students aiming at a higher grade.

The examination of TENA consists of three parts (Part A, B and C), where each part corresponds to an individual learning outcome of the course. In order to pass the requirements of TENA, the student has to pass all three parts (A-C) of the examination.

The individual parts correspond to the following learning outcomes:

- Part A: The student shall be able to use different models of computation for the specification of embedded software systems
- Part B: The student shall be able to use advanced models and methods for the analysis of embedded real-time systems
- Part C: The student shall be able to use methods for the generation of software from high-level models

For passing a particular part A, B or C, 60% of the available points of the corresponding theoretical homework are required and the student has to demonstrate the understanding of the homework in an individual homework session. If all parts (A-C) of the homework are passed, and the total points of the homework tasks are 70% of the available points, the student has passed the examination of TENA.

The initial grade is calculated of the points that the student achieved in the examination of TENA and the examination of LABA. The calculation of the initial grade is given in Canvas. A student has an option to take an optional oral exam to improve the initial grade, if the initial grade is FX or C.

• If a student received the initial grade FX, the student can achieve the final grade E in case of a successful optional exam.
• If a student received the initial grade E, the grade E will also be the final grade.
• If a student received the initial grade D, the grade D will also be the final grade.
• If a student received the initial grade C, the student can achieve the final grade B or A in case of a successful optional exam.

The student does not have to participate in the optional exam. In this case, the final grade will be the initial grade. If the student wants to participate in an optional exam, the student has to register for a time slot on Canvas.

• All members of a group are responsible for the group's work.
• In any assessment, every student shall honestly disclose any help received and sources used.
• In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.