Spezifikation

  • Inhalte einer Spezifikation
  • Beispielspezifikation Ampelsteuerung
  • Formale Beschreibung
  • Blockdiagramme
  • ... für die Ampel
  • Zustandsübergangs-diagramme
  • ... für die Ampel
  • Task-Flow-Graphen
  • ... für die Ampel
  • System Level Design Language
  • ... Vorteile
  • ... Konstrukte
Startseite

Die Abbildung zeigt den Taskflow-Graphen für die Ampelsteuerung. Der Datenfluss besteht hier in der Signalisierung, dass etwas bestimmtes ausgeführt werden muss.