A Fault-Tolerant Model of Wireless Sensor-Actuator Network

References

• Akyildiz , I. F. and Kasimoglu , I. H. 2004 . Wireless sensor and actor networks: research challenges . Ad Hoc Networks Journal (Elsevier) , 2 : 351 – 367 .
   Google Scholar
• Akyildiz , I. F. , Sankarasubramaniam , W. , Su , Y. and Cayirci , E. 2002 . Wireless sensor networks: a survey . Computer Networks Journal (Elsevier) , 38 : 393 – 422 .
   Web of Science ®Google Scholar
• Bernstein , P. A. , Hadzilacos , V. and Goodman , N. 1987 . Concurrency Control and Recovery in Database Systems , Addison-Wesley .
   Google Scholar
• Defago , X. , Schiper , A. and Sergent , N. . Semi-passive replication . Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems (SRDS-17) . pp. 43 – 50 .
   Google Scholar
• Durresi , A. and Paruchuri , V. . Geometric broadcast protocol for heterogeneous sensor networks . Proc. of 19th IEEE International Conf. on Advanced Information Networking and Applications (AINA2005) . Vol. 1 , pp. 343 – 348 .
   Google Scholar
• Eliot , J. and Moss , B. 1981 . Nested Transactions: An Approach to Reliable Distributed Computing , Cambridge, MA : PhD thesis, Massachusetts Institute of Technology .
   Google Scholar
• Eswaren , K. P. , Gray , J. N. , Lode , R. and Traiger , I. L. 1976 . The notion of consistency and predicate locks in database systems . Communications of the ACM , 19 ( 11 ) : 624 – 637 .
   Google Scholar
• Garcia-Molina , H. and Salem , K. . Sagas . Proceedings of the 1987 ACM SIGMOD international conference on Management of data . pp. 249 – 259 .
   Google Scholar
• Goldberg , A. and Robson , D. 1983 . Smalltalk-80: The Interactive Programming Environment , Addison-Wesley .
   Google Scholar
• Gray , J. and Reuter , A. 1993 . Transaction Processing: Concepts and Techniques Morgan Kaufmann
   Google Scholar
• 11. IEEE. IEEE Std 802.11b – Wireless LAN Medium Access Control (MAC) and Physical layer (PHY) Specifications: High Speed Physical Layer (PHY) in the 2.4 GHz Band. IEEE, 1999.
   Google Scholar
• 2000 . “ IEEE ” . In Carrier Sense Multiple Access with Collision Detection (CSMA/CD) Access Method and Physical Layer Specifications , IEEE .
   Google Scholar
• 13. S. S. Lam. A carrier sense multiple access protocol for local networks. Technical report, Austin, TX, USA, 1979.
   Google Scholar
• Lamport , L. , Shostak , R. and Pease , M. 1982 . The byzantine generals problem . ACM Transactions on Programming Languages and Systems , 4 ( 3 ) : 382 – 401 .
   Web of Science ®Google Scholar
• Lynxmotion. http://www.lynxmotion.com/
   Google Scholar
• Melodia , T. , Pompili , D. , Gungor , V. C. and Akyildiz , I. F. . A distributed coordination framework for wireless sensor and actor networks . Proceedings of the 6th ACM International Symposium on Mobile Ad Hoc Networking and Computing . Vol. 1 , pp. 99 – 110 .
   Google Scholar
• Nakano , K. and Olariu , S. 2002 . Uniform leader election protocols for radio networks . IEEE Transactions on Parallel and Distriuted Systems , 13 ( 5 ) : 516 – 526 .
   Google Scholar
• Ozaki , K. , Watanabe , K. , Itaya , S. , Hayashibara , N. , Enokido , T. and Takizawa , M. . A fault-tolerant model of wireless sensor-actor network . Proceedings of the 9th International Symposium on Object and Component-Oriented Read-Time Distributed Computing (ISORC 2006) . pp. 186 – 193 . IEEE Computer Society .
   Google Scholar
• Skeen , D. and Stonebraker , M. 1983 . A formal model of crash recovery in distributed systems . IEEE Trans. Software Engineering , 9 ( 3 )
   Google Scholar
• TinyOS. http://www.tinyos.net
   Google Scholar
• Weiser , M. 1993 . “ Hot topics: Ubiquitous computing ” . In IEEE Computer 71 – 72 .
   Google Scholar
• Wiesmann , M. , Pedone , F. , Schiper , A. , Kemme , B. and Alonso , G. 2000 . Understanding replication in databases and distributed systems . Proceedings of 20th International Conference on Distributed Computing Systems (ICDCS’2000) . Apr 2000 , Taipei, Taiwan. pp. 264 – 274 . R.O.C. . IEEE Computer Society Technical Commitee on Distributed Processing
   Google Scholar
• Yasuzawa , S. , Takizawa , M. and Ouchi , T. . Resolution of parallel deadlock by partial abortion . Proc. of the 1st International Symposium on Computer Communications (ISCOM) . pp. 708 – 711 .
   Google Scholar