An Efficient Approach to Specification and Concept Validation of Embedded Information Processing Systems

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.