Session 6: System design

As it is evident from most of the sessions of this conference, co-design, synthesis, and formalisms that enable co-design, co-simulation, and co-synthesis are extremely important for ESL based methodologies for system design. In this session, these issues nicely come together in two problems taken up by the two papers. The first paper introduces an architecture template and an accompanying tool for the automated generation of an application-specific digital mockup platform for a cyber-physical system. The second paper describes hardware-software co-design enabling transparent communication between components through a three-layered communication architecture. The main focus is an integration of two development and simulation environments: nesC (for network protocols for wireless sensor network) and GEZEL (an FSMD based hardware modeling, synthesis and simulation environment).