390
7 Optimierung
Mit Hilfe einer Petrinetz-basierten Technik, die von Cortadella et al. beschrieben wurde [111], können sehr aufwendige Transformationen der Spezifikationen
vorgenommen werden. Diese Vorgehensweise beginnt mit einer Spezifikation einer
Menge an Tasks, die in der Sprache FlowC beschrieben werden. FlowC erweitert C
um Prozessdefinitionen und Kommunikation zwischen Tasks, die durch READ- und
WRITE-Funktionsaufrufe spezifiziert wird.
Beispiel 7.7: Abb. 7.10 zeigt eine Eingabespezifikation in FlowC mit den Eingabeports IN und COEF sowie dem Ausgabeport OUT. Punkt-zu-Punkt-Kommunikation
zwischen den einzelnen Prozessen wird durch einen unidirektionalen gepufferten
Kanal DATA realisiert. Die Task GetData liest Umgebungsdaten ein und sendet diese
Abb. 7.10 Systemspezifikation
an den Kanal DATA. Wenn N Datenwerte gesendet wurden, wird auch ihr Durch-