High-tech systems are defined by a tight interaction between physical systems and computing systems. They are often called “Cyber-Physical Systems”. They are characterized by complex architectures and complex interactions between physical sensors and actuators control, computation, and communication. In the CSE stream Systems Science you study these new technologies and the process to develop them. Protocols, interfaces and algorithms need to be designed to improve (energy) efficiency and automation. Larger systems are never built from scratch anymore, but composed from existing building blocks. An understanding of the essential structures and behaviors of a system - the architecture, laid down in models - is therefore essential. Models are further used to validate often using mathematically based methods and monitor required qualities (reliability, robustness, safety, security and privacy), and to drive the implementation. Experimentation and on- line methods (like self-monitoring) are essential ingredients. As a student graduating in the stream Systems Science you
Quarter | Code | Course | EC |
---|---|---|---|
1 | 2IMF30 | System validation | 5 |
2 | 2IMN15 | Internet of things | 5 |
2 | 2IMF25 | Automated reasoning | 5 |
3 | 2IMN20 | Real-time systems | 5 |
You have to choose at least 20 credit points from this list.
Quarter | Code | Course | EC |
---|---|---|---|
1 | 2IMN10 | Architeceture of distributred systems | 5 |
1 | 2IMF20 | Hardware verification | 5 |
2 | 2IMN25 | Quantative evaualtion of embedded systems | 5 |
3 | 2IMF35 | Algorithms for model checking | 5 |
3 | 2IMS15 | Verification of security protocols | 5 |
3 | 2IMN35 | VLSI Programming | 5 |
4 | 2IMC20 | Research methods | 5 |
(possibly including internship): 40 EC
Seminar and master project: 35 EC
Quarter | Code | Course | EC |
---|---|---|---|
4 or 6 | Seminar | 5 | |
7 and 8 | 2IMC00 | Master project | 30 |