This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 IEEE Real-Time and Embedded Technology and Applications Symposium
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
April 22-April 24
ISBN: 978-0-7695-3146-5
ASCII Text
x 
 
Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee, "Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems," 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 137-146, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 2008.
 
 
BibTex
x
 
@article{ 10.1109/RTAS.2008.28,
author = {Jianliang Yi and Honguk Woo and James C. Browne and Aloysius K. Mok and Fei Xie and Ella Atkins and Chan-Gun Lee},
title = {Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems},
journal ={2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium},
volume = {0},
year = {2008},
issn = {1080-1812},
pages = {137-146},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2008.28},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium
TI - Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
SN - 1080-1812
SP137
EP146
A1 - Jianliang Yi,
A1 - Honguk Woo,
A1 - James C. Browne,
A1 - Aloysius K. Mok,
A1 - Fei Xie,
A1 - Ella Atkins,
A1 - Chan-Gun Lee,
PY - 2008
KW - null
VL - 0
JA - 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium
ER -
 
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. Resource-related concerns are not closely linked with current xUML model-based software development although they are critical for embedded systems. We describe how to integrate resource analysis techniques into the early phase of an xUML-based development cycle. Our hybrid framework for resource safety verification combines static resource analysis and runtime monitoring. A case study based on an embedded controller for satellite simulation, TableSat, illustrates the benefits obtained by incorporating resource verification into design and combining static analysis and runtime monitoring.
Citation:
Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee, "Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems," rtas, pp.137-146, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Usage of this product signifies your acceptance of the Terms of Use.