Verifikationstechniken für Petrinetze auf Multicore-Architekturen

多核架构上Petri网的验证技术

• 批准号: 210313419
• 负责人: Professor Dr. Karsten Wolf
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2013-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/210313419?language=en
• 关键词: Verifikationstechniken; Petrinetze; auf; Multicore; Architekturen

Seit einiger Zeit werden zur Steigerung der Leistungsfähigkeit von Hardwarearchitekturen verstärkt Multicore-Prozessoren eingesetzt. Dabei stellt sich heraus, dass eine optimale Nutzung der dadurch zur Verfügung stehenden Leistung nicht allein durch Compilertechniken erzielt werden kann. Statt dessen ist es sinnvoll, die Anwendungen selbst zu verteilen und dabei Einsichten über die implementierten Algorithmen zu nutzen. Eine besonders ressourcenintensive Klasse von Anwendungen sind Verfahren der computergestützten Verifikation. Zwar ist hier normalerweise der Speicherplatz die begrenzende Ressource, eine deutliche Verbesserung im Laufzeitverhalten könnte jedoch neue Anwendungen erschließen, z.B. eine stärkere Verzahnung von Modellierungs- und Verifikationstätigkeiten. Ziel dieses Vorhabens ist es, Verifikationstechniken für Petrinetze auf ihre sinnvolle Verteilbarkeit in Multicore-Architekturen zu untersuchen. Dabei werden sowohl zustandsraumbasierte Verfahren als auch strukturelle Analysetechniken betrachtet. In der Zustandsraumverifikation, wo es bereits einschlägige Arbeiten zur Organisation der eigentlichen Zustandsraumexploration gibt, liegt dabei der Schwerpunkt auf petrinetzspezifischen Aspekten von Zustandsraumreduktionstechniken.

Seit einiger Zeit韦尔登zur Steigerung der Leistungsfähigkeit von Hardwarearchitekturen verstärkt Multicore-Prozessoren eingesetzt.因此，一种最佳的用于加强听力的听力测试方法不能通过韦尔登技术来实现。Statt dessen is sinnvoll，die Anwendungen selbst zu vertilen and dabei Einsichten über die implementementerten zu nutzen.一个最好的资源密集型文件夹是计算机验证的工具。这是一个非常正常的地方，在Speicherplatz，一个德国的Verbesserung im Laufzeitverhalten könnte jedoch neue Anwendungen erschließen，z.B. eine stärkere Verzahnung von Modellierungs- und Verifikationstätigkeiten. Ziel dieses Vorhabens ist es，Verifikationstechniken für Petrinetze auf ihre sinnvolle Verteilbarkeit in Multicore-Architekturen zu untersuchen.大北韦尔登也有类似的结构分析技术。在Zustandsraumverifikation中，我们需要一个专门的Zustandsraumexploration gibt组织，该组织由Zustandsraumreduktionstechniken的Petrinetzspezifischen Aspekten上的Schwerpunkt组成。