skip to main content
10.1145/1086228.1086278acmconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
Article

Semantics-based optimization across uncoordinated tasks in networked embedded systems

Published: 18 September 2005 Publication History

Abstract

Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and computing results among these tasks is critical for optimal resource utilization. This paper presents a service-oriented microserver runtime --- Share and its semantics-based task management design. Event semantics checking and conversion are based on a signal type system (STS) that captures both data values and service triggering. Based on the compatibility of event semantics, redundant computations in uncoordinated tasks are removed from the runtime. A prototype of Share has been experimented with a parking garage sensor network executing three uncoordinated user queries.

References

[1]
1451.2: A Standard for a Smart Transducer Interface for Sensors and Actuators - Transducer to Microprocessor Communication Protocols and Transducer Electronic Data Sheet (TEDS) Formats. 1997.
[2]
S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider, and L. A. Stein. OWL web ontology language reference, 2004. W3C, http://www.w3.org/TR/2004/REC-owl-ref-20040210/.
[3]
L. Cabral, J. Domingue, E. Motta, T. Payne, and F. Hakimpour. Approaches to semantic web services: An overview and comparisons. Lecture Notes in Computer Science, 3053:225--239, 2004. Proceedings First European Semantic Web Symposium (ESWS2004), Heraklion, Crete, Greece.
[4]
J. Davis, II, et. al. Ptolemy II: Heterogeneous concurrent modeling and design in Java. Technical Memorandum UCB/ERL M01/12, EECS, University of California, Berkeley, Mar. 2001.
[5]
T. Erl. Service-Oriented Architecture : A Field Guide to Integrating XML and Web Services. Prentice Hall, 2004.
[6]
E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces: Principles, Patterns, and Practive. Addison-Wesley, 1999.
[7]
T. Gautier, P. L. Guernic, and L. Besnard. Signal: A declarative language for synchronous programming of real-time systems. In Proc. of a conference on Functional programming languages and computer architecture, Portland, OG, pages 257 -- 277. Springer-Verlag, 1987.
[8]
D. Gelertner. Generative communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80--112, 1985.
[9]
P. B. Gibbons, B. Karp, Y. Ke, S. Nath, and S. Seshan. IrisNet: An architecture for compute-intensive wide-area sensor network services. IEEE Pervasive Computing, 2(4):22--33, October 2003.
[10]
B. Greenstein, E. Kohler, and D. Estrin. A sensor network application construction kit (SNACK). In Proceedings of the 2nd international conference on Embedded networked sensor systems (SenSys'04), Baltimore, MD, pages 69--80, November 2004.
[11]
T. Henzinger, B. Horowitz, and C. Kirsch. Embedded control systems development with Giotto. In Proceedings of Languages, Compilers, and Tools for Embedded Systems (LCTES'01), June 2001.
[12]
E. A. Lee. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering, 7:25--45, 1999.
[13]
E. A. Lee. What's ahead for embedded software? IEEE Computer, 33(9):18--26, September 2000.
[14]
E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on CAD, 17(12):1217--1229, Dec. 1998.
[15]
J. Liberty. Programming C# (3rd. Ed.). O'Reilly, 2003.
[16]
J. C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
[17]
R. Morris, E. Kohler, J. Jannotti, and M. F. Kaashoek. The Click modular router. ACM Transactions on Computer Systems, 18(3):263--297, August 2000.
[18]
S. Nath, Y. Ke, P. B. Gibbons, B. Karp, and S. Seshan. A distributed filtering architecture for multimedia sensors. In First Workshop on Broadband Advanced Sensor Networks (BaseNets), October 2004.
[19]
G. S. Novak Jr. Conversion of units of measurement. IEEE Transactions on Software Engineering, 21(8):651--661, August 1995.
[20]
Object Management Group. OMG unified modeling language specification (action semantics). November 2002. OMG Document #ptc/02-01-09.
[21]
Open Geospatial Consortium, Inc. Sensor Model Language (SensorML) for In-situ and Remote Sensors (v1.0.0 beta). 2004. doc# 04-019r2.
[22]
C. O'Ryan, D. C. Schmidt, and J. R. Noseworthy. Patterns and performance of a CORBA event service for large-scale. International Journal of Computer Systems Science and Engineering, CRL Publishing, 2001.
[23]
C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 1997.
[24]
R. van Ommering, F. van~der Linden, J. Kramer, and J. Magee. The Koala component model for consumer electronics software. IEEE Computer, 333(3):78--85, March 2000.
[25]
K. Whitehouse, F. Zhao, and J. Liu. Semantic Streams: a framework for declarative queries and automatic data interpretation. Technical Report MSR-TR-2005-45, Microsoft Research, One Microsoft Way, Redmond, WA 98052, April 2005.

Cited By

View all
  • (2016)Design framework for sensors and RFID tags with healthcare applicationsHealth Policy and Technology10.1016/j.hlpt.2016.07.0075:4(357-369)Online publication date: Dec-2016
  • (2012)A genetic algorithm based approach to maximizing real-time system value under resource constraints2012 IEEE 31st International Performance Computing and Communications Conference (IPCCC)10.1109/PCCC.2012.6407769(285-294)Online publication date: Dec-2012
  • (2012)Overall System Value Maximization for Resource Constrained Heterogeneous Real-Time SystemsProceedings of the 2012 IEEE 15th International Conference on Computational Science and Engineering10.1109/ICCSE.2012.86(586-593)Online publication date: 5-Dec-2012
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software
September 2005
390 pages
ISBN:1595930914
DOI:10.1145/1086228
  • Conference Chair:
  • Wayne Wolf
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. sensor network
  2. service-oriented runtime
  3. type system

Qualifiers

  • Article

Conference

EMSOFT05
Sponsor:

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2016)Design framework for sensors and RFID tags with healthcare applicationsHealth Policy and Technology10.1016/j.hlpt.2016.07.0075:4(357-369)Online publication date: Dec-2016
  • (2012)A genetic algorithm based approach to maximizing real-time system value under resource constraints2012 IEEE 31st International Performance Computing and Communications Conference (IPCCC)10.1109/PCCC.2012.6407769(285-294)Online publication date: Dec-2012
  • (2012)Overall System Value Maximization for Resource Constrained Heterogeneous Real-Time SystemsProceedings of the 2012 IEEE 15th International Conference on Computational Science and Engineering10.1109/ICCSE.2012.86(586-593)Online publication date: 5-Dec-2012
  • (2011)Exploiting Mobility Prediction for Dependable Service Composition in Wireless Mobile Ad Hoc NetworksIEEE Transactions on Services Computing10.1109/TSC.2010.464:1(44-55)Online publication date: 1-Jan-2011
  • (2011)PhotoNetProceedings of the 2011 IEEE 32nd Real-Time Systems Symposium10.1109/RTSS.2011.36(317-326)Online publication date: 29-Nov-2011
  • (2011)A Semantic Agent Framework for Cyber-Physical SystemsSemantic Agent Systems10.1007/978-3-642-18308-9_9(189-213)Online publication date: 2011
  • (2010)The Tenet architecture for tiered sensor networksACM Transactions on Sensor Networks10.1145/1777406.17774136:4(1-44)Online publication date: 13-Jul-2010
  • (2010)Cross-Layer Sleep Scheduling Design in Service-Oriented Wireless Sensor NetworksIEEE Transactions on Mobile Computing10.1109/TMC.2010.1249:11(1622-1633)Online publication date: 1-Nov-2010
  • (2009)A design automation and power estimation flow for RFID systemsACM Transactions on Design Automation of Electronic Systems10.1145/1455229.145523614:1(1-31)Online publication date: 23-Jan-2009
  • (2008)Service Sharing for Streaming Video MulticastIEEE Transactions on Multimedia10.1109/TMM.2008.200493510:7(1393-1405)Online publication date: 1-Nov-2008
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media