The seminar will cover advanced topics in networked embedded systems. A particular focus are cyber-physical systems, internet of things, and sensor networks in various application domains.

Foundations of computer systems: design and implementation concepts ofmicroprocessors and operating systems.

To acquire knowledge about the architecture of operating systems and computer networks, and about programming of parallel processes in theory and practice.

Introduction to discrete event systems. We study popular models of discrete event systems, learn how to analyze them, as well as verify them. Topics include: Automata and Languages, Specification Models, Stochastic Discrete Event Systems (Markov Chains), Verification.

An embedded system is a combination of hardware and software, either fixed in function or programmable, that is designed for a specific application scenario or for a specific task within a larger system. They are part of industrial machines such as agricultural and manufacturing equipment, automotive systems, medical equipment, household appliances, sensor networks, and the Internet of Things.

The course provides advanced knowledge in the design of complex computer systems, in particular embedded systems. Models and methods are discussed that are fundamental for systems that consist of software and hardware components.

Latest Topics in the field of Mobile Information and Communication Systems will be discussed.

Overview of Mechatronics topics and study subjects. Identification of minimum 10 pertinent refereed articles or works in the literature in consultation with supervisor or instructor. After 4 weeks, submission of a 2-page proposal outlining the value, state-of-the art and study plan based on these articles. After feedback on the substance and technical writing by the instructor, project commences.