Semantics-based optimization across uncoordinated tasks in networked embedded systems

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: Thomas Erl, Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services, Prentice Hall PTR, Upper Saddle River, NJ, 2004
• 6: Eric Freeman , Ken Arnold , Susanne Hupfer, JavaSpaces Principles, Patterns, and Practice, Addison-Wesley Longman Ltd., Essex, UK, 1999
• 7: Thierry Gautier , Paul Le Guernic , Löic Besnard, SIGNAL: A declarative language for synchronous programming of real-time systems, Proc. of a conference on Functional programming languages and computer architecture, p.257-277, October 1987, Portland, Oregon, United States
• 8: David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985 [doi>10.1145/2363.2433]
• 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: Ben Greenstein , Eddie Kohler , Deborah Estrin, A sensor network application construction kit (SNACK), Proceedings of the 2nd international conference on Embedded networked sensor systems, November 03-05, 2004, Baltimore, MD, USA [doi>10.1145/1031495.1031505]
• 11: Thomas A. Henzinger , Benjamin Horowitz , Christoph Meyer Kirsch, Embedded Control Systems Development with Giotto, Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems, p.64-72, August 2001, Snow Bird, Utah, United States
• 12: Edward A. Lee, Modeling concurrent real-time processes using discrete events, Annals of Software Engineering, v.7 n.1-4, p.25-45, 1999
• 13: Edward A. Lee, What's Ahead for Embedded Software?, Computer, v.33 n.9, p.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: Jesse Liberty , Valerie Quercia, Programming C#, O'Reilly & Associates, Inc., Sebastopol, CA, 2003
• 16: John C. Mitchell, Foundations of programming languages, MIT Press, Cambridge, MA, 1996
• 17: Eddie Kohler , Robert Morris , Benjie Chen , John Jannotti , M. Frans Kaashoek, The click modular router, ACM Transactions on Computer Systems (TOCS), v.18 n.3, p.263-297, Aug. 2000 [doi>10.1145/354871.354874]
• 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: Gordon S. Novak, Jr., Conversion of Units of Measurement, IEEE Transactions on Software Engineering, v.21 n.8, p.651-661, August 1995 [doi>10.1109/32.403789 ]
• 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: Clemens Szyperski, Component software: beyond object-oriented programming, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998
• 24: Rob van Ommering , Frank van der Linden , Jeff Kramer , Jeff Magee, The Koala Component Model for Consumer Electronics Software, Computer, v.33 n.3, p.78-85, March 2000 [doi>10.1109/2.825699 ]
• 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.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS
      Subjects: Real-time and embedded systems

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.3 Studies of Program Constructs
          Subjects: Type structure

General Terms:
Design

Keywords:
sensor network, service-oriented runtime, type system