Synthesis of communication structures and protocols in distributed embedded systems

Most embedded systems consist of distributed but highly interconnected applications. Lots of resources are invested to design and implement reliable and efficient communication systems. This paper introduces a new approach for the prototyping of communication structures and protocols. The developed methodology was embedded in the IFS-flow (interface synthesis flow) that generates glue logic between incompatible tasks and media. The presented approach allows us to construct complex communication prototypes in restricted embedded systems more efficiently. Therefore, five optimization strategies were defined for the generation of interfaces (IFB). The computation of dedicated protocols between the spread interfaces helps us to overcome structural communication gaps comprising an efficient and reliable communication. An example shows the practicability of the approach and presents achievable advantages.

[1]  Robert Siegmund,et al.  SVE: a methodology for the design of protocol dominated digital systems , 2003 .

[2]  Alberto L. Sangiovanni-Vincentelli,et al.  Automatic synthesis of interfaces between incompatible protocols , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[3]  Daniel Gajski,et al.  Interface Synthesis from Protocol Specification , 2002 .

[4]  Jürgen Teich,et al.  Digitale Hardware/Software-Systeme - Synthese und Optimierung , 1997 .

[5]  Wolfram Hardt,et al.  Modeling of Configurable HW/SW-Interfaces , 2003, MBMV.

[6]  Frank Vahid,et al.  System specification and synthesis with the SpecCharts language , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[7]  Daniel D. Gajski,et al.  SPECC: Specification Language and Methodology , 2000 .

[8]  Andreas Gerstlauer,et al.  System Design - A Practical Guide with SpecC , 2001 .

[9]  Wolfram Hardt,et al.  Rapid prototyping of real-time communication. A case study: interacting robots , 2003, 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings..