论文标题
对上下文感知系统的某些属性的正式评估
Formal assessment of some properties of Context-Aware Systems
论文作者
论文摘要
上下文感知系统正在成为自主和监视应用中的有用组件，并且对其属性的评估是迈向可靠实施的重要一步，尤其是在安全至关重要的应用中。在本文中，使用雪崩/滑坡警报系统作为一个示例，我们提出了一种基于布尔控制网络的技术，以验证系统动力学是否具有稳定的平衡状态，与持续的输入相对应，因此它不能显示出振荡行为，并没有表现出其他有用的属性，以实现精确和更友好的系统。
Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implementation, especially in safety-critical applications. In this paper, using an avalanche/landslide alert system as a running example, we propose a technique, based on Boolean Control Networks, to verify that the system dynamics has stable equilibrium states, corresponding to constant inputs, and hence it does not exhibit oscillatory behaviors, and to establish other useful properties in order to implement a precise and timely alarm system.
