The course addresses the software design process for embedded systems. Embedded software is usually organized in layers from hardware dependent parts to application specific software modules. Lower software layers provide hardware abstraction, communication and resource management services to the higher application specific software layers. Due to the nature of embedded systems, all embedded software has to handle strict non-functional constraints such as delay and throughput, power, and memory constraints. The main focus of the course is on real-time aspects of embedded software.
Course memo Spring 2023
Course presentation
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:
Examination and completion
Grading scale
A, B, C, D, E, FX, F
Examination
- 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.
Further information
No information inserted
Contacts
Course Coordinator
Teachers
Teacher Assistants
Examiner
Round Facts
Start date
17 Jan 2023
Course offering
- Spring 2023-60472
Language Of Instruction
English