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