Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme

自动验证分布式系统的质量特性

• 批准号: 5176626
• 负责人: Professor Dr.-Ing. Ulrich Herzog
• 金额: --
• 依托单位: Department Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1999
• 资助国家: 德国
• 起止时间: 1998-12-31 至 2001-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5176626?language=en
• 关键词: Automatische; Verifikation; von; Qualit; tsmerkmalen

Unser Ziel ist es, eine durchgängig verhaltensorientierte Methodik zu entwickeln, die die Spezifikation des Systems und des Leistungsmaßes auf demselben hohen Abstraktionsniveau erlaubt. Dazu soll eine verhaltensorientierte temporale Logik zur Spezifikation des Leistungsmaßes definiert werden. Weiterhin sollen Verfahren entwickelt werden, die die vollautomatische quantitative Verifikation der temporal-logischen Formeln ermöglichen. Beim Entwurf dieser sog. Model Checking-Algorithmen steht die Effizienz im Vordergrund. Dazu wollen wir die Reduktion des Zustandsraums sowie dessen kompakte Darstellung im stochastischen Kontext untersuchen.

因此，一个以卫理公会为指导的系统和教育的专门化在抽象的抽象中得以实现。因此，我们需要一个非常有针对性的时间逻辑，来确定韦尔登的语言特征。然而，我们需要韦尔登，即对时间逻辑形式的体积计量学定量验证。我是说，我的意思是。模型检查--在前级中检查效率。大足希望我们能在随机背景下减少房间数量。