Paper Info
Title
Formal Assessment Of Some Properties Of Context-Aware Systems
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.
Year
Venue
Keywords
2019
INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING
Boolean Control Networks (BCN), Context-Aware Systems, Fault detection, Formal properties, Pervasive Systems, Reconstructibility, Stability assessment
Field
DocType
Volume
ALARM,Computer science,Control engineering,Stable equilibrium,Landslide,System dynamics
Journal
10
Issue
ISSN
Citations 
3
2229-4678
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Fabio Alberto Schreiber100.34
Maria Elena Valcher249339.11