Formale Analyse von Sequential Function Charts

在顺序功能图的基础上，进行了软件分析和程序设计。国家治理结构(SCS)是一种国家治理结构，也是国家治理结构的一部分，它既适用于国有企业，也不适用于国有企业。从现在开始，我们将死在德国的施奈特斯泰尔和他的模型检查自动化系统(Haen)里。德克恩·德·德杰科斯·比尔德特·达赫尔是一名变革者，他在一家工厂和一家工厂的工厂里工作，这是一件非常重要的事情。他说：“这是一件非常重要的事情。”

Ziel des Projektes ist die Bereitstellung eines Rechnerwerkzeugs zur formalen Analyse von Softwarespezifikationen auf der Basis von Sequential Function Charts. Da in Vorarbeiten der Antragsteller bereits eine entsprechende Werkzeugunterstützung für die Spezifikationssprache Statecharts (SCs) realisiert wurde und die beiden Spezifikationsmittel im wesentlichen auf einer gemeinsamen Modellgrundlage beruhen, soll dieses Ziel durch eine Einbindung der SFCs in diesen Ansatz erreicht werden. Konkret bedeutet das, daß die gleiche Zwischendarstellung verwendet wird, die in den Vorarbeiten schon als Schnittstelle zwischen SCs und den Modelcheckern diente, nämlich Hierarchische Automaten (HAen). Den Kern des Projektes bildet daher die Entwicklung eines Transformationsverfahrens, das SFCs in HAen abbildet und so die Anwendung der für dieses Spezifikationsmittel bereits zur Verfügung stehenden Werkzeuge ermöglicht. Dies soll zunächst für SFCs und HAen ohne Zeitbehaftung geschehen und in einem zweiten Schritt auch Echtzeitspezifikationen erweitert werden.