Rialto: A bridge between description and implementation of control algorithms for wireless sensor networks

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 183-186

  Bonivento, Alvise ^a   Carloni, Luca P ^b   Sangiovanni Vincentelli, Alberto L ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Columbia University ^*  (United States)

Author keywords

Design Automation; Design Flow; Sensor Networks

Indexed keywords

COMMUNICATION AND SENSING INFRASTRUCTURE; LOGICAL COMPONENTS QUERIES; RIALTO MODEL; WIRELESS SENSOR NETWORKS;

ALGORITHMS; COMMAND AND CONTROL SYSTEMS; CONTROL SYSTEMS; SENSORS; WIRELESS TELECOMMUNICATION SYSTEMS;

MOBILE COMPUTING;

EID: 29244491976     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. M. Sgroi et al., "A Service-Based Universal Application Interface for Ad-hoc Wireless Sensor Networks", whitepaper, U.C.Berkeley 2004.
2. G. Kahn, "The Semantics of a Simple Language for Parallel Programming." Proc. of the IFIP Congress 74, North-Holland Pub.
3. G. Kahn and D. B. MacQueen, "Coroutines and Networks of Parallel Processes," Information Processing 77, B. Gilchrist, editor, North-Holland Publishing Co., 1977.
4. http://www.motion.aptd.nist.gov/
5. J. Hill, D. Culler, "Mica: A Wireless Platform for Deeply Embedded Networks" IEEE Micro., vol22 (6), Nov/Dec 2002, pp.12-24.
6. D. Gay et al., "The nesC Language; A Holistic Approach to Networked Embedded Systems", Proceedings of Programming Language Design and Implementation (PLDI) 2003, June 2003.
7. P. Levis et al., "TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Application", SENSYS 03.
8. A. Varga, "The OMNeT++ Discrete Event Simulation System", In European Simulation Multiconference June 2001.
9. P. Baldwin et al., "Visualsense: Visual Modeling for Wireless and Sensor Network Systems", UCB ERL Memorandum UCB/ERL M04/8 April 23, 2004.
10. http://ptolemy.eecs.berkeley.edu
11. R.C. Shah et al., "Joint Optimization of a Protocol Stack for Sensor Networks", MILCOM 2004.
12. E. A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation", IEEE Transactions on CAD, 17(12), December, 1998.
13. J. Misra, "Distributed Discrete-Event Simulation", ACM Computing Surveys, Vol. 18, No. 1, 1986, pp. 39-65.
14. Y. Yu et al., "Communication Models for Algorithm Design in Wireless Sensor Networks", IPDPS '05.
15. A. Bakshi, V.K. Prasanna, "Algorithm Design and Synthesis for Wireless Sensor Networks", ICPP '04.