Monads for the formalization of a pattern matching procedure

Zhozhikashvili, A. V.

doi:10.1134/s0361768814030074

Cited by 2 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Formal methods are mathematical notations which are effective for modeling, specifying and analyzing properties of safety, mission-critical systems, and complex systems. [5][6][7][8] Few preliminary results of our research are presented in Afzaal and Zafar. 9,10 Maintaining connectivity is an important issue because if a node fails, then network may be partitioned into disjoint segments.…”

Section: Introductionmentioning

confidence: 99%

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks

Afzaal

Zafar

Alhumaidan

2017

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

An unattended deployment of wireless sensor and actor networks in a harsh and inhospitable environment may cause its failure by partitioning it into the disjoint segments. Although many variants of this problem are addressed using different approaches, it still needs to be investigated due to its various applications. In this article, an efficient, localized, hybrid failure detection and recovery algorithm is proposed which assumes planned deployment of nodes. The algorithm is approximate and distributed as its topology is partitioned into subnets localizing failure recovery procedure and efficient as the time complexity is reduced from nondeterministic polynomial-time-hard to polynomial time. The algorithm is hybrid as pre-failure planning and post-failure recovery is assumed for the critical nodes. Graph-based model is designed to represent static part which is then transformed into a formal model using Vienna Development Method-specification language. The static model consists of subnets, circular topology, sensors, actors, and gateways as composite objects in Vienna Development Method-specification language. The dynamic model is developed by defining its state space, functions, and possible operations to describe the failure recovery procedure. Invariants are defined on static model to assure correctness, and pre/post conditions are used in the dynamic model to control the behavior preventing system to enter into an unwanted situation. The formal specification is analyzed using Vienna Development Method-specification language Toolbox to visualize the model.

show abstract

Section: Introductionmentioning

confidence: 99%

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks

Afzaal

Zafar

Alhumaidan

2017

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

show abstract

“…Formal methods are mathematical notations which are used for modelling, specifying and analyzing properties of safety, mission-critical and complex systems. Further, FMs are proved successful to develop precise, unambiguous, structured and correct specification at an appropriate level of abstraction (Zhozhikashvili 2014). As there is a need to mitigate the damages caused by the earthquakes, therefore an effective model of earthquake disaster mitigation and management using formal methods and WSANs is proposed in this work.…”

mentioning

confidence: 99%

Formal model of earthquake disaster mitigation and management system

Zafar

Afzaal

2017

Complex Adapt Syst Model

View full text Add to dashboard Cite

Background Wireless sensor and actor networks (WSANs) consist of sensors and actors connected through wireless medium. In the network, sensors are used to sense complex events in an environment and actors take intelligent decisions and perform actions as required. Sensors are cheap devices which have low power batteries, slow processing capabilities and short communication range as compared to actors which are more expensive and powerful in terms of resources. It is noted that actors are capable of sensing the environment but sensors do not have ability to perform any action (Akyildiz and Kasimoglu 2004). As an example from military defence system, sensors detect enemy troops and report to actors which destroy the troops by coordinating with each other. For an effective monitoring and decision making, there must be a continuous sensor-sensor, sensor-actor and actor-actor communication to perform an appropriate action whenever

show abstract

Monads for the formalization of a pattern matching procedure

Cited by 2 publications

References 6 publications

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks

Formal model of earthquake disaster mitigation and management system

Contact Info

Product

Resources

About