loading...
Resource Modeling for Embedded Systems Design
Vienna, Austria May 11-May 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WSTFEUS.2004.10021Second IEEE Workshop on Software Tech ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Oleg Sokolsky, "Resource Modeling for Embedded Systems Design," Software Technologies for Future Embedded and Ubiquitous Systems, IEEE Workshop on, pp. 99, Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (WSTFEUS'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/WSTFEUS.2004.10021,
author = {Oleg Sokolsky},
title = {Resource Modeling for Embedded Systems Design},
journal ={Software Technologies for Future Embedded and Ubiquitous Systems, IEEE Workshop on},
volume = {0},
year = {2004},
isbn = {0-7695-2123-1},
pages = {99},
doi = {http://doi.ieeecomputersociety.org/10.1109/WSTFEUS.2004.10021},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Technologies for Future Embedded and Ubiquitous Systems, IEEE Workshop on
TI - Resource Modeling for Embedded Systems Design
SN - 0-7695-2123-1
SP
EP
A1 - Oleg Sokolsky,
PY - 2004
KW - null
VL - 0
JA - Software Technologies for Future Embedded and Ubiquitous Systems, IEEE Workshop on
ER -
 
Oleg Sokolsky, University of Pennsylvania
The paper describes a formal framework for designing and reasoning about resource-constrained embedded systems. The framework is based on a series of process algebraic formalisms which have been previously developed to describe and analyze various aspects of real-time concurrent systems. We present a uniform framework for formal treatment of resources and illustrate modeling of common resource classes.
Citation:
Oleg Sokolsky, "Resource Modeling for Embedded Systems Design," wstfeus, pp.99, Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (WSTFEUS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.