Äquivalenzen zur Verifikation stochastischer Systeme und deren Klassifizierung

随机系统验证的等价及其分类

• 批准号: 33853674
• 负责人: Professorin Dr. Mila Majster-Cederbaum
• 金额: --
• 依托单位: Lehr- und Forschungseinheit Programmierung und Softwaretechnik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2009-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/33853674?language=en
• 关键词: quivalenzen; zur; Verifikation; stochastischer; Systeme

In diesem Forschungsvorhaben werden Äquivalenzen für stochastische Prozesskalküle untersucht, d.h. für Spezifikationsformalismen zur Modellierung von Systemen, die zufälligen Einflüssen unterliegen bzw. für die stochastische Annahmen sinnvoll sind. Jede Äquivalenz besitzt einen unterschiedlich starken Abstraktionsgrad im Hinblick auf das spezifizierte System und verifiziert auf der jeweiligen Abstraktionsebene die Gleichheit zweier (als Transitionssystem gegebener) Modelle. Dabei werden Methoden für klassische Prozesskalküle aus dem Verifikationsbereich mit Methoden aus der stochastischen Modellierung großer komplexer Systeme kombiniert. Das Resultat ist eine nach Abstraktionsgrad geordnete Auswahl von „Gleichheitsbegriffen", die zu Verifikationszwecken verwendet werden können und deren Nutzen anhand von Beispielsystemen aus der Biologie gezeigt werden soll.

In diesem Forschungsvorhaben韦尔登<$quivalenzen für stochastische Prozesskalküle untersucht，d.h. für Spezifikationsformalismen zur Modellierung von Systemen，die zufäligen Einflüssen unterliegen bzw.为了那些随机的Annahmen。这是一个非常复杂的抽象概念，在特定的系统上进行抽象，并在抽象概念的基础上进行验证。Dabei韦尔登方法für klassche Prozesskalküle aus dem Verifikationsbereich mit Methoden aus der stochastischen Modellierung grosser komplexer Systeme kombiniert.该结果是一个抽象的、基于“Gleichheitsbegriffen”的、用于验证韦尔登的结果，并且是来自生物学领域韦尔登的Beispielsystem的结果。