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.
Choose semester and course offering
Choose semester and course offering to see information from the correct course syllabus and course offering.
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.
Course Disposition
No information inserted
Literature and preparations
Specific prerequisites
Completed course at second cycle level in embedded systems equivalent to IL2206 Embedded Systems.
Recommended prerequisites
The course requires good knowledge about the design of embedded computer systems, comparable to IL2206 Embedded Systems
Equipment
No information inserted
Literature
No information inserted
Examination and completion
If the course is discontinued, students may request to be examined during the following two academic years.
Grading scale
A, B, C, D, E, FX, F
Examination
- LABA - Laboratory Work, 3,0 hp, betygsskala: P, F
- TENA - Examination, 4,5 hp, betygsskala: 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.
Opportunity to complete the requirements via supplementary examination
No information inserted
Opportunity to raise an approved grade via renewed examination
No information inserted
Examiner
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
Course web
Further information about the course can be found on the Course web at the link below. Information on the Course web will later be moved to this site.
Course web IL2212Offered by
Main field of study
Computer Science and Engineering, Electrical Engineering
Education cycle
Second cycle
Add-on studies
No information inserted
Supplementary information
In this course, the EECS code of honor applies, see: http://www.kth.se/en/eecs/utbildning/hederskodex.