Embedded Systems

The focus of this lecture is on the design of embedded systems using formal models and methods as well as computer-based synthesis methods. Besides the theoretical lecture, the course is complemented by practical exercise sessions where students learn to program an embedded system platform including sensors using C, to base their design on the embedded operating system FreeRTOS, and to edit/debug via an integrated development environment.