权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

在复杂生产自动化系统的设计中，图形规范和实时验证的正式和有条理的集成

基本信息

批准号：
5135340
负责人：
Professor Dr.-Ing. Wilhelm Dangelmaier
金额：
--
依托单位：
Heinz Nixdorf Institut (HNI)
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1998
资助国家：
德国
起止时间：
1997-12-31 至 2002-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/5135340?language=en
关键词：
Formale und methodische Integration von

项目摘要

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.

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.