论文标题
布尔控制网络方法，以形式验证反馈情境感知的普遍系统
A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems
论文作者
论文摘要
自主，监控和关键安全应用领域中情境感知系统的出现要求定义方法，以正式评估其正确性和可靠性。这些属性中的许多都是自动控制系统的常见，该领域开发了建立的分析和设计技术以正式和调查它们。在本文中，我们使用布尔控制网络，讨论基于医疗保健管理示例的案例研究中反馈背景感知系统的某些属性。
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.
