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.

[1]  Fabio A. Schreiber,et al.  Context-aware Self Adapting Systems: a Ground for the Cooperation of Data, Software, and Services , 2017, Int. J. Next Gener. Comput..

[2]  Ettore Fornasini,et al.  On the periodic trajectories of Boolean control networks , 2013, Autom..

[3]  Zhihua Zhang,et al.  Active Fault Detection of Boolean Control Networks , 2018, 2018 Annual American Control Conference (ACC).

[4]  Daizhan Cheng,et al.  A Linear Representation of Dynamics of Boolean Networks , 2010, IEEE Transactions on Automatic Control.

[5]  Ettore Fornasini,et al.  Fault Detection Analysis of Boolean Control Networks , 2015, IEEE Transactions on Automatic Control.

[6]  Chafia Bouanaka,et al.  A formal framework for context-aware systems specification and verification , 2016, J. Syst. Softw..

[7]  W. Feng,et al.  observability ? , 2013 .

[8]  Bernard Burg,et al.  Stability in Context-Aware Pervasive Systems: A State-Space Modeling Approach , 2004, IWUC.

[9]  Kamel Barkaoui,et al.  Towards Formal Modeling and Verification of Context-Aware Systems , 2014, VECoS.

[10]  S Sutavani,et al.  Disturbance Decoupling and Instantaneous Fault Detection in Boolean Control Networks , 2019, ArXiv.

[11]  Gail E. Kaiser,et al.  Self-managing systems: a control theory foundation , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[12]  Daizhan Cheng,et al.  Controllability and observability of Boolean control networks , 2009, Autom..

[13]  Ettore Fornasini,et al.  Observability, Reconstructibility and State Observers of Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

[14]  Carlo Curino,et al.  A data-oriented survey of context models , 2007, SGMD.

[15]  Bernard Burg,et al.  Maintaining Continuous Dependability in Sensor-Based Context-Aware Pervasive Computing Systems , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[16]  Anind K. Dey,et al.  Understanding and Using Context , 2001, Personal and Ubiquitous Computing.

[17]  Michael Margaliot,et al.  Observability of Boolean networks: A graph-theoretic approach , 2013, Autom..

[18]  Carlo Curino,et al.  And what can context do for data? , 2009, Commun. ACM.

[19]  Daizhan Cheng,et al.  State–Space Analysis of Boolean Networks , 2010, IEEE Transactions on Neural Networks.

[20]  D. Cheng,et al.  Stability and stabilization of Boolean networks , 2011 .

[21]  Lijun Zhang,et al.  Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata , 2014, IEEE Transactions on Automatic Control.

[22]  Fornasini Ettore,et al.  Fault detection problems for Boolean networks and Boolean control networks , 2015, 2015 34th Chinese Control Conference (CCC).

[23]  Daizhan Cheng,et al.  Analysis and Control of Boolean Networks , 2011 .

[24]  Romain Rouvoy,et al.  A flexible context stabilization approach for self-adaptive application , 2010, 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops).