Abstraktionstechniken zur Verifikation lokaler Eigenschaften großer paralleler Systeme

验证大型并行系统局部属性的抽象技术

• 批准号: 79848547
• 负责人: Professorin Dr. Heike Wehrheim
• 金额: --
• 依托单位: Department für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2008
• 资助国家: 德国
• 起止时间: 2007-12-31 至 2012-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/79848547?language=en
• 关键词: Abstraktionstechniken; zur; Verifikation; lokaler; Eigenschaften

Zielsetzung dieses Projektes ist die Entwicklung von Abstraktionsverfahren, die die Verifikation (d.h. den formalen Nachweis der Korrektheit) lokaler Eigenschaften von parallelen Systemen erlauben. Basisidee des Abstraktionsverfahren ist die Annahme, dass die Verifikation lokaler Eigenschaften einzelner Komponenten nur Informationen über andere Komponenten in einem begrenzten Umfeld benötigt. Die Abstraktion kann die eigentlich zu verifizierende Komponente und das Restsystem in einem unterschiedlichen Grad repräsentieren und so den zu durchsuchenden Zustandsraum klein halten. Kernpunkt der Technik wird die Verwendung von mehrwertigen Logiken zur Darstellung partieller Strukturen sein, die Abstraktionen mit sehr präzisen Aussagen sowohl über universelle als auch existentielle Eigenschaften erlauben.

这些项目是抽象法的发展，是验证（d.h.在形式上，它是并行系统的特征值。在抽象检验法的基础上，验证本地特征的要素仅限于信息和要素。Abstraktion可以在一个不受限制的格拉德代表中验证组件和Restsystem的特性，从而使其在一个小的空间中运行。技术的核心将使更多的逻辑转向结构的局部化，抽象的抽象将使普遍存在的特征也得到消除。