Semantics-based optimization across uncoordinated tasks in networked embedded systems

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. Categories and Subject Descriptors C.3 [SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS]: Real-time and embedded systems; F.3.3 [Studies of Program Constructs]: Type structure General Terms Design Keywords Type system, sensor network, service-or...

• Type: Conference
• Year: 2005
• Where: EMSOFT
• Authors: Jie Liu, Elaine Cheong, Feng Zhao
• Keywords: EMSOFT 2005, Event Semantics, Service-oriented Microserver Runtime, Type System