4 Hits in 3.2 sec

A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks

Admar Ajith Kumar Somappa, Lars Michael Kristensen, Knut Ovsthus
2013 International Symposium on Wireless and pervasive Computing (ISWPC)  
In this article, we provide a formal executable specification for the GinMAC protocol. With this formal executable we precisely capture the abstract features of this protocol and analyze it.  ...  The inception of Wireless Sensor Actuator Networks from the existing Wireless Sensor Networks domain was mainly to satisfy the requirements of the automation applications.  ...  In this article, we have modeled a formal executable specification of the GinMAC protocol.  ... 
doi:10.1109/iswpc.2013.6707433 dblp:conf/iswpc/SomappaKO13 fatcat:y24rxe2wwbad3lsr7urc4mkpsq

Towards a model-based development approach for wireless sensor-actuator network protocols

S. A. Ajith Kumar, Kent I. F. Simonsen
2014 Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14  
Wireless Sensor Actuator Networks consisting of resource constrained hardware and platformspecific operating system is one application area where the advantages of MDSE can be exploited.  ...  Also, with the use of network simulators and formal modeling tools, we obtain a verified and validated model to be used as a basis for code-generation.  ...  INTRODUCTION Wireless Sensor-Actuator Networks (WSANs) consists of a network-connected sensors and actuators working towards a specific mission.  ... 
doi:10.1145/2593458.2593465 dblp:conf/cyphy/KumarS14 fatcat:xcdemlmztncqxay5zhzovelyza

End-to-End Reliability-Aware Scheduling for Wireless Sensor Networks

Felix Dobslaw, Tingting Zhang, Mikael Gidlund
2016 IEEE Transactions on Industrial Informatics  
The authors in [KSØK14] noted the lack of a protocol for the treatment of wireless sensor actuator networks that includes control loops in the protocol while guaranteeing end-to-end QoS.  ...  for the sensor-actuator flows.  ... 
doi:10.1109/tii.2014.2382335 fatcat:k5w5uvt7e5g5ph6sdjxzlxrjpy

Latency Improvement Strategies for Reliability-Aware Scheduling in Industrial Wireless Sensor Networks

Felix Dobslaw, Tingting Zhang, Mikael Gidlund
2015 International Journal of Distributed Sensor Networks  
We propose novel strategies for end-to-end reliability-aware scheduling in Industrial Wireless Sensor Networks (IWSNs).  ...  the TDMA superframe execution times from tens of seconds to seconds only, which allows for a utilization of SchedEx for many time-critical control applications.  ...  Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper.  ... 
doi:10.1155/2015/178368 fatcat:jkqnquhivfe4tkuc7r5o27p4gm