Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme

Ziel dieses Projektes ist die Nutzbarmachung von formalen Verifikationstechniken im ingenieursmäßigen Entwurf von Produktionautomatisierungssystemen（PA-Systemen）.对PA系统的正式验证，在早期的Entwurfsphasen和更高的Abstraktionsebenen Entwurfsfehler aufzuspüren中都是如此。一个更好的Schwerpunkt依赖于Zeiteigenschaften的验证和建模。这两种方法都是以定量的时间逻辑或自动化的形式来解决的，它们是形式验证的基础，在韦尔登的开发过程中使用了图形和自然语言方法。作为一个原型工程的实现，韦尔登将通过对PA-Anlagen abdeckt所有设计方面的测试来验证和分析。通过韦尔登新的技术和方法，使PA系统成为一个既有潜力又有质量的系统，从而分析了它的成本、安全性和有效性。Der Antrag hat zum Ziel，die Akzeptanz formaler Verifikationsverfahren in ingenieurwissenschaftlichen Anwendungsfeldern zu höhen and sie stärker in Combination mit der Simulation in den ingenieurwissenschaftlichen Entwurf von PA Systemen einzubeziehen.

Ziel dieses Projektes ist die Nutzbarmachung von formalen Verifikationstechniken im ingenieursmäßigen Entwurf von Produktionsautomatisierungssystemen (PA-Systemen). Die formale Verifikation von PA-Systemen dient dazu, bereits in frühen Entwurfsphasen und auf hohen Abstraktionsebenen Entwurfsfehler aufzuspüren. Ein besonderer Schwerpunkt liegt auf der Verifikation und Modellierung von Zeiteigenschaften. Zu diesem Zweck sollen formale Methoden wie quantitative temporale Logiken oder zeiterweiterte endliche Automaten, die als Basis der formalen Verifikation dienen, mit Hilfe von graphischen und natürlichsprachlichen Methoden in den Entwurfsablauf integriert werden. Als Ergebnis soll eine prototypische Entwurfsumge-bung implementiert werden, die von der Spezifikation über die Verifikation und Analyse bis hin zur Unterstützung bei der Fehlersuche alle Facetten des Designs von PA-Anlagen abdeckt. Hierdurch werden neue Techniken und Methoden verfügbar, um PA-Systeme beim Entwurf und während der Laufzeit quantitativ und qualitativ zu analysieren sowie Durchsatz, Sicherheit und Zuverlässigkeit solcher Systeme zu steigern. Der Antrag hat zum Ziel, die Akzeptanz formaler Verifikationsverfahren in ingenieurwissenschaftlichen Anwendungsfeldern zu erhöhen und sie stärker in Kombination mit der Simulation in den ingenieurwissenschaftlichen Entwurf von PA-Systemen einzubeziehen.