Functional Specification of Distributed Digital Image Processing
Systems by Process Interface Descriptions
Wolfgang Boßung, Sorin Alexander Huss, Stephan Klaus, and Lars Wehmeyer
Abstract
This paper presents an approach to the notation of high-level
specifications of information processing systems.
The system functionality and timing behavior are captured by
hierarchical process nets, and a novel method for process activation
conditions is introduced, which form the proposed Codesign Model (CDM).
An execution of its embedded data and control flow encapsulated in
abstract tokens by a conditional scheduling allows for investigations of
the resulting timing behavior of the model during early phases of system
design.
The proposed CDM supports a specification entry for periodical and
aperiodical operations and allows an assessment of all possible abstract
state sequences within one scheduling pass.
Advantages and some restrictions of the proposed approach are discussed
using an example of an interactive image processing system.
Keywords:
Functional High-Level Specification, Distributed Processing,
Hierarchical Process Nets, Input/Output Relations,
Incomplete State Desriptions.
Related URL:
http://www.vlsi.informatik.tu-darmstadt.de/staff/bossung/publications.html