A geographically distributed framework for embedded system design and validation

The difficulty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of ports available and pressure to we multiple processors to meet performance criteria. Validation tools should contain several features in order to keep up with this trend, including the ability to dynamically change detail levels, built in protection for intellectual property, and support for gradual migration of functionality from a simulation environment to the real hardware. In this paper, we present our approach to the problem which includes a geographically distributed co-simulation framework. This framework is a system of nodes such that each can include either portions of the simulator or real hardware. In support of this, the framework includes a mechanism for maintaining consistent versions of virtual time.

[1]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[2]  A. Richard Newton,et al.  WELD—an environment for Web-based electronic design , 1998, DAC.

[3]  Russ Klein,et al.  Miami: a hardware software co-simulation environment , 1996, Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype.

[4]  Gaetano Borriello,et al.  Dynamic communication models in embedded system co-simulation , 1997, DAC.

[5]  G. Borriello,et al.  Optimizing communication in embedded system co-simulation , 1997, Proceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97.

[6]  Gaetano Borriello,et al.  Software architecture synthesis for retargetable real-time embedded systems , 1997, Proceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97.

[7]  Gaetano Borriello,et al.  Communication Synthesis for Embedded Systems with Global Considerations , 1997, CODES.

[8]  David L. Russell,et al.  State Restoration in Systems of Communicating Processes , 1980, IEEE Transactions on Software Engineering.

[9]  Carl Ebeling,et al.  Experiences with the MacTester in computer science and engineering education , 1997 .