Formal assessment of some properties of Context-Aware Systems

TL;DR

This paper presents a formal method using Boolean Control Networks to verify stability and other properties of Context-Aware systems, ensuring reliable and predictable behavior in safety-critical applications.

Contribution

It introduces a novel technique for assessing stability and properties of Context-Aware systems using Boolean Control Networks, demonstrated on an avalanche alert system.

Findings

Verified system stability and equilibrium states

Ensured absence of oscillatory behaviors

Supported precise alarm implementation

Abstract

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.