In: Informatik-Fachberichte, Vol. 231; PEARL 89: Workshop über Realzeitsysteme, 10. Fachtagung des PEARL-Vereins, 1989, Boppard, Germany, pages 231-243. Berlin: Springer-Verlag, 1989. In German.
Abstract: In diesem Beitrag wird beschrieben, wie durch die Ergänzung der Entwicklungsumgebung für Realzeitsysteme EPOS durch eine auf Petri-Netz Modellierung beruhende Simulationskomponente (PACE) eine dynamische Betrachtung der Systemspezifikation auf den verschiedenen Abstraktionsebenen im Rahmen des Top Down Entwurfs ermöglicht wird. Damit kann der Entwurf frühzeitig hinsichtlich des `Timing' und anderer, von der Dynamik abhängiger Eigenschaften, überprüft werden.
Keywords: prototyping; real time application; simulation; dynamic study; top down design.