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 |
| 2,4 | 2IMF00 | Seminar Formal System Analysis 4 | 5 |
| 2,4 | 2IMN00 | Seminar Interconnected Resource-aware Intelligent Systems (IRIS) 4 | 5 |
| 2,4 | 2IMP00 | Seminar Software Engineering and Technology 4 | 5 |
1 This course has a limited capacity.
3 This course is taught at the University of Twente. TU/e students can follow lectures by watching a live stream from the University of Twente, or watching the recorded video lectures. A secondary enrollment at the University of Twente is required.
4 A seminar may be followed starting from the fourth quarter of the program. For students starting in the first semester, this implies that the seminar may be followed in the second quarter of the second year.
Stream mentor: prof. dr. Jan Friso Groote (j.f.groote@TUE.nl), prior to the beginning of the academic year you should register for 2IMC82.