loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
XXI International Conference of the Chilean Computer Science Society (SCCC'01)
A Transformation for System Level Design Model Specifications into Implementation Descriptions
Punta Arenas, Chile
November 07-November 09
ISBN: 0-7695-1396-4
ASCII Text
x 
 
Stephan Schulz, "A Transformation for System Level Design Model Specifications into Implementation Descriptions," Chilean Computer Science Society, International Conference of the, pp. 0247, XXI International Conference of the Chilean Computer Science Society (SCCC'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/SCCC.2001.972654,
author = {Stephan Schulz},
title = {A Transformation for System Level Design Model Specifications into Implementation Descriptions},
journal ={Chilean Computer Science Society, International Conference of the},
volume = {0},
year = {2001},
isbn = {0-7695-1396-4},
pages = {0247},
doi = {http://doi.ieeecomputersociety.org/10.1109/SCCC.2001.972654},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Chilean Computer Science Society, International Conference of the
TI - A Transformation for System Level Design Model Specifications into Implementation Descriptions
SN - 0-7695-1396-4
SP
EP
A1 - Stephan Schulz,
PY - 2001
KW - system modeling
KW - codesign
KW - CSP
KW - embedded systems design
VL - 0
JA - Chilean Computer Science Society, International Conference of the
ER -
 
Stephan Schulz, Nokia Research Center
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
Index Terms:
system modeling, codesign, CSP, embedded systems design
Citation:
Stephan Schulz, "A Transformation for System Level Design Model Specifications into Implementation Descriptions," sccc, pp.0247, XXI International Conference of the Chilean Computer Science Society (SCCC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.