Embedded Software stream

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:

Course code Course name Credits Quartile
2IMF25 Automated reasoning 5 1
5LIM0 Parallelization, compilers and platforms 5 3
2IMP30 System Design Engineering 5 4

The Embedded Software stream has the following stream electives, of which at least 15 credits should be chosen:

Course code Course name Credits Quartile
2IMN10 Architecture of distributed systems 5 1
5LIN0 Video processing 5 1
2DMI20 Software security 5 2
2IMP10 Program verification techniques 5 2
5LIG0 Applied combinatorial algorithms 5 2
2IMF35 Algorithms for model checking 5 2
2IMP25 Software evolution 5 3
5LIE0 Multiprocessors 5 3
5LIJ0 Embedded control systems 5 3
5LIL0 Intelligent architectures 5 3
2IMP20 Domain Specific Language Design 5 4
5LIK0 Embedded signal processing systems 5 4
2IMF00 Seminar 4 formal system analysis 5 4, 6
2IMN00 Seminar 4 Interconnected Resource-aware Intelligent Systems (IRIS) 5 4, 6
2IMP00 Seminar 4 software engineering and technology 5 4, 6

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.

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.