Abstract:Formal specification and runtime detection of contextual properties is one of the primary approaches to enabling context awareness in pervasive computing environments. Due to the intrinsic dynamism of the pervasive computing environment, dynamic properties, which delineate concerns of context-aware applications on the temporal evolution of the environment state, are of great importance. However, detection of dynamic properties is challenging, mainly due to the intrinsic asynchrony among computing entities in the pervasive computing environment. Moreover, the detection must be conducted at runtime in pervasive computing scenarios, which makes existing schemes do not work. To address these challenges, we propose the property detection for asynchronous context (PDAC) framework, which consists of three essential parts: 1) Logical time is employed to model the temporal evolution of environment state as a lattice. The active surface of the lattice is introduced as the key notion to model the runtime evolution of the environment state; 2) Specification of dynamic properties is viewed as a formal language defined over the trace of environment state evolution; and 3) The SurfMaint algorithm is proposed to achieve runtime maintenance of the active surface of the lattice, which further enables runtime detection of dynamic properties. A case study is conducted to demonstrate how the PDAC framework enables context awareness in asynchronous pervasive computing scenarios. The SurfMaint algorithm is implemented and evaluated over MIPA--the open-source context-aware middleware we developed. Performance measurements show the accuracy and cost-effectiveness of SurfMaint, even when faced with dynamic changes in the asynchronous pervasive computing environment.

Stateful Property And Stateful Monitoring Of Manufacturing Resource In Dynamic Networked Environment (Id : 8-016)

Research on the State Property of Manufacturing Resource in Dynamic Network Environment

Resource Failure and Buffer Space Allocation Control for Automated Manufacturing Systems

Research on Networked Manufacturing Resource Service Status Monitor

The Design of Integrated Monitoring Software Used for Online Steel-measuring System

DESIGN AND APPLICATION OF ELECTRIC POWER NETWORK STABILITY REAL-TIME MONITORING SOFTWARE

Framework for Network Resource Property Description

Research on Monitoring Properties of Open Environments

Monitoring properties of open environments

Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments

Aiming in Harsh Environments: A New Framework for Flexible and Adaptive Resource Management

Robust Dynamic Latent Variable Model for Dynamic Process Monitoring with Missing Data in Cyber-Physical Systems

A Systematic Monitoring Framework Utilizing Dynamic Bayesian Network in Plant-wide Processes

Web Service-Oriented Manufacturing Resource Applications for Networked Product Development

Research on a Network of Real-Time Monitoring in the Industrial Fields

Study on Intelligent Industrial Monitoring Network Frame Based on UPnP

Networked manufacturing system based on UPnP

Manufacturing capability of P-P-R modeling and mapping based on ontology

A Framework Of Joint Energy Provisioning And Manufacturing Scheduling In Smart Industrial Wireless Rechargeable Sensor Networks

Optimizing Repetitive Resource Accesses with Stateful Web Services

Study on the automated monitoring control system in process quality under the network environment