Integrierte mathematische Maschinenmodellierung

Eine Voraussetzung für frühzeitige Qualitätssicherungsmaßnahmen bei der Steuersoftware moderner Maschinen und Anlagen ist die Verfügbarkeit eines formalen Maschinenmodels，das das Schnittstellenverhalten der realen Maschine nachbildet.在一个由卫理公会韦尔登基金会资助的项目中，该项目是一个非常成功的项目，它将继续使用最佳机械模型来实现最佳机械实践。Für ereignisdiskrete und kontinuierliche Maschinenkomponenten bieten Ingenieurwissenschaften und Informatik etablierte Beschreibungstechniken an. Solche Techniken sollen auf Basis eines gemeinsamen mathematischen Models integriert und für gemischt kontinuierlichdiskrete Komponenten erweitert韦尔登. Anhand von Fallstudien soll die Tragfähigkeit und Wirtschaftlichkeit der Methodik überprüft und bewertet韦尔登. Ein Werkzeug soll die zu entwickelnde Modellierungsmethodik unterstützen.

Eine Voraussetzung für frühzeitige Qualitätssicherungsmaßnahmen bei der Steuersoftware moderner Maschinen und Anlagen ist die Verfügbarkeit eines formalen Maschinenmodells, das das Schnittstellenverhalten der realen Maschine nachbildet. Im beantragten Projekt soll daher eine mathematisch fundierte Methodik entwickelt werden, die es erlaubt,kontinuierlich-diskrete Maschinenmodelle entsprechend den Bestandteilen realer Maschinen wirtschaftlich praktikabel zu erstellen. Für ereignisdiskrete und kontinuierliche Maschinenkomponenten bieten Ingenieurwissenschaften und Informatik etablierte Beschreibungstechniken an. Solche Techniken sollen auf Basis eines gemeinsamen mathematischen Modells integriert und für gemischt kontinuierlichdiskrete Komponenten erweitert werden. Anhand von Fallstudien soll die Tragfähigkeit und Wirtschaftlichkeit der Methodik überprüft und bewertet werden. Ein Werkzeug soll die zu entwickelnde Modellierungsmethodik unterstützen.