Compositional Software Synthesis of Communicating Processes

	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 Xiaohan Zhu Articles by Bill Lin

1999 IEEE International Conference on Computer Design (ICCD'99)

Austin, Texas

October 10-October 13

ISBN: 0-7695-0406-X

	ASCII Text	x
	Xiaohan Zhu, Bill Lin, "Compositional Software Synthesis of Communicating Processes," Computer Design, International Conference on, pp. 646, 1999 IEEE International Conference on Computer Design (ICCD'99), 1999.

	BibTex	x
	@article{ 10.1109/ICCD.1999.808610, author = {Xiaohan Zhu and Bill Lin}, title = {Compositional Software Synthesis of Communicating Processes}, journal ={Computer Design, International Conference on}, volume = {0}, year = {1999}, issn = {1063-6404}, pages = {646}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICCD.1999.808610}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Design, International Conference on TI - Compositional Software Synthesis of Communicating Processes SN - 1063-6404 SP EP A1 - Xiaohan Zhu, A1 - Bill Lin, PY - 1999 KW - Software Synthesis KW - Embedded Systems KW - Hardware/Software Co-Design KW - System-On-a-Chip Applications VL - 0 JA - Computer Design, International Conference on ER -

Xiaohan Zhu, University of California at San Diego

Bill Lin, University of California at San Diego

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICCD.1999.808610

In this paper, we describe a new compositional software synthesis method for synthesizing concurrent software programs into ordinary C programs so that they can be executed on embedded processors without the need for a run-time multi-tasking operating system. The synthesized C program can be readily retargeted to different processors using available optimizing C compilers. The method works by transforming the initial input specification into a set of interacting Petri net components. It then applies a quasi-static scheduling method on each Petri net component to produce a corresponding state machine model. The resulting set of interacting state machines are then mapped into a single C program, which can finally be compiled to native machine code via conventional C compilers. In the degenerate case, each process in the initial input specification is mapped into a separate Petri net component. In this case, the size of the resulting C program is directly proportional to the size of the original concurrent specification. Thus, this technique can scale well to large applications and is immune to code explosion.

Index Terms:

Software Synthesis, Embedded Systems, Hardware/Software Co-Design, System-On-a-Chip Applications

Citation:

Xiaohan Zhu, Bill Lin, "Compositional Software Synthesis of Communicating Processes," iccd, pp.646, 1999 IEEE International Conference on Computer Design (ICCD'99), 1999

Peer Review Notice | Give Us Feedback

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