A Transformation for System Level Design Model Specifications into Implementation Descriptions

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Stephan Schulz

XXI International Conference of the Chilean Computer Science Society (SCCC'01)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SCCC.2001.972654

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.