A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is
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
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
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
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