The behaviour and functionality of embedded systems is largely determined by the software that it runs. This stream focusses on the development of embedded software addressing aspects such as model-driven design, domain specific languages, code generation techniques, and formal techniques to solve scheduling problems.
The following three courses are mandatory for the Embedded Software stream (for more information about the courses, visit Osiris).
| Quartile | Course code | Course name | Credits |
|---|---|---|---|
| 1 | 2IMF25 | Automated Reasoning | 5 |
| 3 | 5LIM0 | Parallelization, Compilers and Platforms | 5 |
| 4 | 2IMP30 | System Design Engineering | 5 |
The Embedded Software stream has the following stream electives, of which at least 15 credits should be chosen:
| Quartile | Course code | Course name | Credits |
|---|---|---|---|
| 1 | 2IMN10 | Architecture of Distributed Systems | 5 |
| 2 | 2DMI20 | Software Security | 5 |
| 2 | 2IMP10 | Program Verification Techniques | 5 |
| 2 | 5LIG0 | Applied Combinatorial Algorithms | 5 |
| 2 | 2IMF35 | Algorithms for Model Checking | 5 |
| 3 | 2IMP25 | Software Evolution | 5 |
| 3 | 5LIE0 | Multiprocessors | 5 |
| 3 | 5LIJ0 | Embedded Control Systems | 5 |
| 3 | 5LIL0 | Intelligent Architectures | 5 |
| 4 | 2IMP20 | Domain Specific Language Design | 5 |
| 4 | 5LIK0 | Embedded Signal Processing Systems | 5 |
| 4 | 2IMF00 | Seminar Formal System Analysis | 5 |
| 4 | 2IMN00 | Seminar Interconnected Resource-aware Intelligent Systems (IRIS) | 5 |
| 4 | 2IMP00 | Seminar Software Engineering and Technology | 5 |