Specializations
Systems on Chip
Modern chips are rapidly evolving into complete Systems on Chip (SoCs). The emergence of SoCs leads to new challenges in VLSI design, design automation, programming and code generation, task and communication mapping and scheduling, memory management, and model-driven design-space exploration. This specialization addresses the design of SoCs with special attention for the various design trade-offs and formal verification techniques to support correct design.
Embedded Software
The behaviour and functionality of embedded systems is largely determined by the software that it runs. This specialization 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.
Embedded Networking
There is a powerful trend to connect embedded systems into networks. The Embedded Networking specialization considers the architectures and protocols relevant for distributed and networked systems, and, in particular, their application to wireless sensor networks and the Internet of Things.
Cyber-physical Systems
Cyber-Physical Systems are characterized by a tight coupling between embedded computer (cyber) systems and physical processes, monitored and controlled by those computer systems. Cyber-Physical Systems require integral, multidisciplinary design, involving computer engineering, control, mechatronics, networking, signal processing, and mathematical modelling. The specialization focusses on the control and signal processing aspects of cyber-physical systems.
