开放环境特性感知技术

提出了一个开放环境特性描述框架.该框架支持便捷地、形式化地描述异步环境的各种特性,包括那些既有技术不能处理的时序特性.该框架还引入了谓词检测技术,支持高效的环境特性感知机制的实现.开发了一个开放环境特性感知中间件平台,并通过详细的案例分析展示了如何基于所提出的环境特性描述框架与中间件平台,高效地感知环境特性,支持可信软件系统的构建.

Monitoring Properties of Open Environments

This paper proposes a framework for the specification of open environment properties. This framework enables convenient and formal specification of properties of asynchronous environments, including temporal properties which cannot be handled in the existing work. This framework also supports implementation of effective schemes for monitoring environment properties based on distributed predicate detection. A middleware infrastructure is designed and implemented, which supports efficient monitoring of environment properties for building high-confidence systems in open environments. This paper also evaluates design of the proposed infrastructure with a case study.