Univ. Prof. Dr. Christoph Grimm

"Verfeinerung Analog/Digitaler Systeme"

Computersysteme werden in visionären Applikationen wie dem „Internet of Things" oder „Ambient Intelligence" mit ihrer analogen Umgebung vernetzt. Bei der Entwicklung von Hard- und Software ist es dann nicht mehr ausreichend, die Umgebung und die Peripherie allein durch „Constraints" etwa von Ausführungszeiten zu berücksichtigen. In diesem Vortrag wird ein Ansatz zur holistischen Modellierung und Verfeinerung von Systemen vorgestellt, die neben digitalen HW/SW Systemen auch analoge Sensoren, Aktoren und eine Vernetzung über Funkschnittstellen sowie die einbettende Umgebung umfassen.