Zustandsübergangsdiagramme als Strukturbestimmende Sicht Eines Systems

Zusammenfassung

Wir haben langjährige Erfahrung in der Anwendung moderner SA—Methoden unter Anwendung der entsprechenden Tools bis hin zu RT-ProMod. Aber in einem Projekt reichten die uns bis dahin bekannten SA—Methoden nicht aus, eine dem Problem angemessene Beschreibung zu finden. Es handelte sich um die Aufgabe, ein Protokoll für die Kommunikation in einem verteilten Netz über (oft stark gestörte) Funk—Kanäle zu entwickeln. Mittels DFDs waren zwar die datenverarbeitenden Komponenten dieser Aufgabe gut zu beschreiben, aber die Komplexität der Protokoll—Komponente mit all ihren Zuständen hat die Möglichkeiten, die RT—SA mit seinen einfachen, an DFDs gekoppelten Zustandsübergangsdiagrammen bietet, gesprengt.