Im Kontext von Industrie 4.0 und dem Internet of Things werden eingebettete Systeme immer stärker vernetzt und verteilt und müssen sehr hohe Anforderungen bezüglich Funktionsumfang, Flexibilität und Robustheit erfüllen. Gleichzeitig werden sie häufig in Bereichen eingesetzt, in denen Fehler drastische Konsequenzen haben, z.B. im Automobilbereich und der Medizintech-nik. Als Folge davon müssen Methoden entwickelt werden, mit denen die Sicherheit von einge-betteten Systemen systematisch und umfassend sichergestellt werden kann. Voraussetzung dafür ist ein präzises Verständnis der im Entwicklungsprozess eingesetzten Sprachen und Mo-delle. Allerdings sind die in der industriellen Praxis eingesetzten Sprachen und Modelle in der Regel nur informell definiert. Zusammen mit der eingeschränkten Skalierbarkeit existierender Entwurfs- und Verifikationstechniken führt dies dazu, dass die korrekte und zuverlässige Kon-struktion komplexer eingebetteter Systeme ein bisher unzureichend gelöstes wissenschaftli-ches und praktisches Problem mit zahlreichen Herausforderungen darstellt. Diesen Herausfor-derungen widmet sich die AG Embedded Systems der Universität Münster in Forschung und Lehre. In diesem Vortrag stelle ich das Lehrprofil und einige wissenschaftliche Beiträge unserer Arbeitsgruppe vor.