Verteilte eingebettete Systeme (VES) sind informationstechnische Systeme, die aus einem Netzwerk eingebetteter Rechnerknoten bestehen. Die Gesamtfunktionalität eines VES ergibt sich aus der Funktionalität der einzelnen Knoten über deren permanente Kommunikation untereinander. Die Kommunikation ist somit eine essentielle Eigenschaft von VES. Das Spektrum der Anwendungsdomänen für VES ist äußerst breit. Beispiele sind Automobiltechnik, Flugzeuge, Zugsysteme, Telekommunikation, Micro-Electro-Mechanical-Systems (MEMS), Medizinische Systeme, Militäranwendungen, Authentifizierungssysteme, Konsumelektronik, Robotikanwendungen, "Smarte" Gebäude, Fertigungsstraßen und vieles mehr. Die Arbeiten in VES konzentrierten sich auf die Bereiche Formale Verifikation, Sicherheit (Safety) und Zuverlässigkeit.
Der Forschungsschwerpunkt wurde im Rahmen des Landesprogramms "Wissen schafft Zukunft" ab 2005 gefördert und Anfang 2007 abgeschlossen.