A higher level system communication model for object-oriented specification and design of embedded systems

The design starting point for current embedded systems design is getting higher and higher on the abstraction level scale in order to meet the challenge of the increasing design gap. Up till now the state-of-the-art tools and methods have used as a highest abstraction of communication the send-receive over a channel, e.g. as in SDL and COSSAP. We introduce a novel higher level communication mechanism for system-level specification which has features supporting object-oriented descriptions and client-server type communication modelling as in CORBA. The communication primitives have been implemented as extensions to System-C, and simulation experiments have been performed.

[1]  Tohru Kikuno,et al.  An integration-oriented approach for designing communication protocols from component-based service specifications , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[2]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[3]  Bill Lin,et al.  Synthesis Of Concurrent System Interface Modules With Automatic Protocol Conversion Generation , 1994, IEEE/ACM International Conference on Computer-Aided Design.

[4]  Bill Lin,et al.  Hardware/Software Communication and System Integration for Embedded Architectures , 1997, Des. Autom. Embed. Syst..

[5]  D. Walker,et al.  A Calculus of Mobile Processes, Part I , 1989 .

[6]  Tadashi Ohta,et al.  Protocol synthesis from rule‐based communications service specifications , 1998 .

[7]  Dieter Monjau,et al.  Integrating SDL and VHDL for System-Level Hardware Design , 1993, CHDL.

[8]  Bill Lin,et al.  Hardware/Software Communication and System Integration for Embedded Architectures , 1997, Des. Autom. Embed. Syst..

[9]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[10]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[11]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[12]  Nacer-Eddine Zergainoh,et al.  Multilanguage design of heterogeneous systems , 1999, Proceedings of the Seventh International Workshop on Hardware/Software Codesign (CODES'99) (IEEE Cat. No.99TH8450).

[13]  Tadashi Ohta,et al.  Stepwise Refinement of Communications Service Specifications for Conforming to a Functional Model (Special Issue on Distributed Architecture for Next Generation Communication Networks) , 1994 .

[14]  Jan Madsen,et al.  Integrating communication protocol selection with hardware/software codesign , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  Edward A. Lee.  Embedded Software — An Agenda for Research , 1999 .

[16]  Dieter Hogrefe,et al.  The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.