Sorin Alexander Huss and Wolfgang Boßung
Darmstadt University of Technology, Germany

This paper proposes a process notation based on a functional partitioning of a new system as a high-level co-design model for specification, evaluation, and implementation purposes. A well-defined computational model allows the synchronization and activation of concurrent processes. The design environment includes the refinement steps from symbolic execution with dynamic processes via simplified scheduling/execution methods to the complete implementation. Examples from the world of digital image processing systems illustrate the method.