Project

IMOST 2

Integrated Modeling for Safe Transportation 2 (sorry - only available in german)

Goal

Bei der Entwicklung sicherheitskritischer, eingebetteter Systeme ist heute der modellbasierte Entwurf eine weithin etablierte Technik. Ein besonderer Vorteil liegt in der Möglichkeit, bereits frühzeitig Schwächen eines Entwurfskonzeptes durch Analyse der Modelle zu entdecken, was rechtzeitige Korrekturen erlaubt und so Entwicklungskosten reduziert und Qualität und Zuverlässigkeit der entwickelten Systeme erhöht. Bis dato repräsentieren die Modelle zumeist nur das System und gegebenenfalls seine technische oder physikalische Umgebung, jedoch nicht das Verhalten eines späteren Bedieners. Im Verkehrsbereich findet man zahlreiche Systeme, wo dadurch ein wesentlicher Aspekt ausgeblendet bleibt: Assistenzsysteme, welche den Bediener unterstützen sollen, sind so in ihrer Wirkung nicht zu erfassen, und zur Beurteilung ist man auf aufwendige Tests eines Prototypen angewiesen. Hier setzt das Projekt IMoST an, indem es das Bedienerverhalten in die Modellierung mit einbezieht, und anstrebt, das komplette Systemverhalten bereits in der Entwurfsphase untersuchen zu können.