Headings denoted with an asterisk ( * ) is retrieved from the course syllabus version Spring 2020
Content and learning outcomes
Course contents
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.
Intended learning outcomes
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.
Learning activities
The course consists of 15 lectures, 2 seminars and 3 laboratory sessions. The laboratories will be conducted as practical homework tasks.
Preparations before course start
Recommended prerequisites
The course requires good knowledge about the design of embedded computer systems, comparable to IL2206 Embedded Systems
Literature
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.
Support for students with disabilities
Students at KTH with a permanent disability can get support during studies from Funka:
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.
Ethical approach
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.