loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th International Conference on VLSI Design
Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling
New Delhi, India
January 04-January 08
ISBN: 0-7695-1868-0
ASCII Text
x 
 
Pao-Ann Hsiung, Feng-Shi Su, "Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling," VLSI Design, International Conference on, pp. 579, 16th International Conference on VLSI Design, 2003.
 
 
BibTex
x
 
@article{ 10.1109/ICVD.2003.1183196,
author = {Pao-Ann Hsiung and Feng-Shi Su},
title = {Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling},
journal ={VLSI Design, International Conference on},
volume = {0},
year = {2003},
issn = {1063-9667},
pages = {579},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICVD.2003.1183196},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - VLSI Design, International Conference on
TI - Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling
SN - 1063-9667
SP
EP
A1 - Pao-Ann Hsiung,
A1 - Feng-Shi Su,
PY - 2003
KW - null
VL - 0
JA - VLSI Design, International Conference on
ER -
 
Pao-Ann Hsiung, National Chung Cheng University
Feng-Shi Su, National Chung Cheng University
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with complex interrelated branching choices for execution within a user-given memory bound, but also tries to guarantee the satisfaction of local and global time constraints. Our proposed method called Timed Quasi-Static Scheduling (TQSS) synthesizes real-time embedded software code from a set of Time Complex-Choice Petri Nets. The two most important issues in real-time embedded software, namely memory and time constraints are both elegantly and efficiently handled in TQSS. We show the feasibility of our method through a master-slave role switch application which is a part of the Bluetooth wireless communication protocol.
Citation:
Pao-Ann Hsiung, Feng-Shi Su, "Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling," vlsid, pp.579, 16th International Conference on VLSI Design, 2003
Usage of this product signifies your acceptance of the Terms of Use.