← ES — 2026-2027 — Study plans
Embedded Software stream
Scheme
Year 1
Year 2
Recommended electives
Pool choices
This curriculum's requirement groups reference these roles instead of a fixed course collection -- pick which of this version's collections each one means for this plan (e.g. which trajectory is your "major").
Requirements
| Requirement | Detail | Credits | |
|---|---|---|---|
| Core | 25 EC / 25 EC | ✓ | |
| Stream | 15 EC / 30 EC | ||
| Free electives | 0 EC / 25 EC | ||
| Graduation project | 40 EC / 40 EC | ✓ | |
| Total | 80 / 120 EC |
Entries (10)
| Year | Quarter | Requirement | Course | Credits | |
|---|---|---|---|---|---|
| 1 | Q1 | Stream | 2IMF25 Automated Reasoning |
5 EC | |
| 1 | Q1 | Core | 2IMF30 System Validation |
5 EC | |
| 1 | Q2 | Core | 2IMN20 Real-Time Systems |
5 EC | |
| 1 | Q2 | Core | 5SIA0 Embedded computer architecture |
5 EC | |
| 1 | Q3 | Core | 2IMN25 Quantitative Evaluation of Cyber Physical Systems |
5 EC | |
| 1 | Q3 | Stream | 5LIM0 Parallelization, compilers and platforms |
5 EC | |
| 1 | Q4 | Stream | 2IMP30 System Design Engineering |
5 EC | |
| 1 | Q4 | Core | 5LIB0 Embedded systems laboratory |
5 EC | |
| 2 | Q2 | Graduation project | 2IMC05 Preparation Graduation Project |
10 EC | |
| 2 | Q3-Q4 | Graduation project | 2IMC00 Master Project |
30 EC |
Elective slots
Leave a quarter's elective open rather than committing it to a specific course yet -- rendered as a blank "Elective" placeholder in the scheme above, same as the institutional scheme's own elective slots. Doesn't count toward any requirement's credit total; see "Recommended electives" below for options to fill it with.
| Program year | Quarter | Slots | |
|---|---|---|---|
| 1 | Q1 | 1 | |
| 1 | Q2 | 1 | |
| 1 | Q3 | 1 | |
| 1 | Q4 | 1 | |
| 2 | Q1 | 3 | |
| 2 | Q2 | 1 |
Recommended electives
Reference list of good elective options for this plan's open elective slots above -- purely informational, not tied to a specific slot and not counted toward any requirement's credit total. A recommendation with a quarter also appears in its own "Recommended electives" block in the Scheme above, right after Year 1 and Year 2.
| Recommendation | Quarter | |
|---|---|---|
| 2DMI20 — Software Security | Q2 | |
| 2IMF00 — Seminar Formal System Analysis | Q4 | |
| 2IMF35 — Algorithms for Model Checking | Q2 | |
| 2IMN00 — Seminar Interconnected Resource-aware Intelligent Systems (IRIS) | Q4 | |
| 2IMN10 — Architecture of Distributed Systems | Q1 | |
| 2IMN40 — Approximate Computing | Q4 | |
| 2IMP00 — Seminar Software Engineering and Technology | Q4 | |
| 2IMP10 — Program Verification Techniques | Q2 | |
| 2IMP20 — Domain Specific Language Design | Q4 | |
| 2IMP25 — Software Evolution | Q3 | |
| 5LIE0 — Multiprocessors | Q3 | |
| 5LIG0 — Applied combinatorial algorithms | Q2 | |
| 5LIJ0 — Embedded control systems | Q3 | |
| 5LIK0 — Embedded signal processing systems | Q4 | |
| 5LIL0 — Intelligent architectures | Q3 |