A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems

TL;DR

This paper proposes a formal verification approach for feedback context-aware pervasive systems using Boolean Control Networks, demonstrated through a healthcare management case study to assess correctness and dependability.

Contribution

It introduces a novel application of Boolean Control Networks for formal verification of feedback context-aware systems, bridging control theory and pervasive computing.

Findings

Boolean Control Networks effectively model feedback context-aware systems.

The approach verifies system correctness and dependability properties.

Case study demonstrates practical applicability in healthcare systems.

Abstract

The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correctness and dependability properties. Many of these properties are common to Automatic Control systems, a field that developed well established analysis and design techniques to formalize and investigate them. In this paper, we use Boolean Control Networks, to discuss some properties of a feedback Context-aware system in a case study based on a healthcare management example.