A transformation for system level design model specifications into implementation descriptions

This paper presents the transformation of system level model specifications to implementation level process-based design specification for embedded systems design purposes. Its main contribution is the definition of a formal mapping of a parallel discrete event system specification (DEVS) atomic model specification to a timed communicating sequential process (tCSP) description. In addition, the extension for this component mapping to composed design models is discussed. A simple example is used to illustrate the mapping of a simple model component to the corresponding tCSP process in detail. Finally, the use and an application of this mapping is presented in the context of a model-based codesign methodology