Ä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 werden Equivalenzen für stochastische Prozesskalküle untersucht, d.h.对于系统建模的规范形式化，请参阅下文。 für die stochastische Annahmen sinnvoll sind。它是在特殊系统的 Hinblick 中对抽象进行的，并且对抽象抽象进行了验证（作为转换系统）模型。该方法是一种基于随机模型的验证方法，是一个复杂的系统组合方法。 Das Resultat ist eine nach Abstraktionsgradnete Auswahl von “Gleichheitsbegriffen”, die zu Verifikationszwecken verwendet werden können and deren Nutzen anhand von Beispielsystemen aus der Biologie gezeigt werden soll.