CSP-based sensor network architecture for reconfigurable measurement systems

IEEE Transactions on Instrumentation and Measurement

Volumn 60, Issue 6, 2011, Pages 2104-2117

  Jaskó, Szilárd ^a   Simon, Gyula ^a  

^a UNIVERSITY OF PANNONIA   (Hungary)

Author keywords

Communicating Sequential Processes (CSP); intelligent sensors; multisensor systems; reconfigurable architectures; reliability

Indexed keywords

COMMUNICATING SEQUENTIAL PROCESS; FLEXIBLE MEASUREMENT; FUNCTIONAL ELEMENTS; INTELLIGENT SENSORS; MEASUREMENT SYSTEM; MULTISENSOR SYSTEMS; PROPOSED ARCHITECTURES; RE-CONFIGURABLE; RECONFIGURABLE ARCHITECTURES; RELIABLE MEASUREMENT; RUNTIMES; SYSTEM REQUIREMENTS; VIRTUAL MACHINES;

COMPUTER OPERATING PROCEDURES; MEASUREMENTS; SENSOR NETWORKS; SENSORS;

NETWORK ARCHITECTURE;

EID: 79955945550     PISSN: 00189456     EISSN: None     Source Type: Journal    
DOI: 10.1109/TIM.2011.2117210     Document Type: Article

References (59)

1. J. Kumagai, "Life of birds [wireless sensor network for bird study]," IEEE Spectr., vol. 41, no. 4, pp. 42-49, Apr. 2004.
2. O. A. Postolache, J. M. D. Pereira, and P. M. B. S. Girao, "Smart sensors network for air quality monitoring applications," IEEE Trans. Instrum. Meas., vol. 58, no. 9, pp. 3253-3262, Sep. 2009.
3. T. Wark, D. Swain, C. Crossman, P. Valencia, G. Bishop-Hurley, and R. Handcock, "Sensor and actuator networks: Protecting environmentally sensitive areas," IEEE Pervasive Comput., vol. 8, no. 1, pp. 30-36, Jan. 2009.
4. T. Wark, P. Corke, P. Sikka, L. Klingbeil, Y. Guo, C. Crossman, P. Valencia, D. Swain, and G. Bishop-Hurley, "Transforming agriculture through pervasive wireless sensor networks," IEEE Pervasive Comput., vol. 6, no. 2, pp. 50-57, Apr. 2007. (Pubitemid 46645072)
5. Y. Kim, R. G. Evans, and W. M. Iversen, "Remote sensing and control of an irrigation system using a distributed wireless sensor network," IEEE Trans. Instrum. Meas., vol. 57, no. 7, pp. 1379-1387, Jul. 2008.
6. R. Morais, M. A. Fernandes, S. G. Matos, C. Serôdio, P. J. Ferreira, and M. J. Reis, "A ZigBee multi-powered wireless acquisition device for remote sensing applications in precision viticulture," Comput. Electron. Agriculture, vol. 62, no. 2, pp. 94-106, Jul. 2008.
7. K. Fu Chintalapudi, T. Paek, J. Kothari, N. Rangwala, S. Caffrey, J. Govindan, R. Johnson, and E. Masri, "Monitoring civil structures with a wireless sensor network," IEEE Internet Comput., vol. 10, no. 2, pp. 26- 34, Mar./Apr. 2006.
8. H. Jiang, L. Chen, J. Wu, S. Chen, and H. Leung, "A reliable and highbandwidth multihop wireless sensor network for mine tunnel monitoring," IEEE Sensors J., vol. 9, no. 11, pp. 1511-1517, Nov. 2009.
9. H. Ghasemzadeh, R. Jafari, and B. Prabhakaran, "A body sensor network with electromyogram and inertial sensors: Multimodal interpretation of muscular activities," IEEE Trans. Inf. Technol. Biomed., vol. 14, no. 2, pp. 198-206, Mar. 2010.
10. G. Song, Z. Wei, W. Zhang, and A. Song, "A hybrid sensor network system for home monitoring applications," IEEE Trans. Consum. Electron., vol. 53, no. 4, pp. 1434-1439, Nov. 2007. (Pubitemid 351279138)
11. R. Bose, "Sensor networks-Motes, smart spaces, and beyond," IEEE Pervasive Comput., vol. 8, no. 3, pp. 84-90, Jul. 2009.
12. A. Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik, V.Mittal, H. Cao, M. Gouda, Y. Choi, T. Herman, S. Kulkarni, U. Arumugam, M. Nesterenko, A. Vora, andM.Miyashita, "A line in the sand: A wireless sensor network for target detection, classification, and tracking," Comput. Netw., vol. 46, no. 5, pp. 605-634, Dec. 2004.
13. A. Ledeczi, A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, and G. Simon, "Countersniper system for urban warfare," ACM Trans. Sensor Netw., vol. 1, no. 2, pp. 153-177, Nov. 2005.
14. E. I. Gaura, J. Brusey, J. Kemp, and C. D. Thake, "Increasing safety of bomb disposal missions: A body sensor network approach," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 39, no. 6, pp. 621-636, Nov. 2009.
15. A. M. Mielke, S. M. Brennan, M. C. Smith, D. C. Torney, A. B. Maccabe, and M. J. F. Karlin, "Independent sensor networks," IEEE Instrum. Meas. Mag., vol. 8, no. 2, pp. 33-37, Jun. 2005. (Pubitemid 40902759)
16. Y. Eugene Song and K. Lee, "Understanding IEEE 1451-Networked smart transducer interface standard-What is a smart transducer?" IEEE Instrum. Meas. Mag., vol. 11, no. 2, pp. 11-17, Apr. 2008. (Pubitemid 351593427)
17. R. X. Gao and Z. Fan, "Architectural design of a sensory node controller for optimized energy utilization in sensor networks," IEEE Trans. Instrum. Meas., vol. 55, no. 2, pp. 415-428, Apr. 2006.
18. J. Lin, W. Xiao, F. L. Lewis, and L. Xie, "Energy-efficient distributed adaptive multisensor scheduling for target tracking in wireless sensor networks," IEEE Trans. Instrum. Meas., vol. 58, no. 6, pp. 1886-1896, Jun. 2009.
19. A. Kansal, J. Hsu, S. Zahedi, and M. B. Srivastava, "Power management in energy harvesting sensor networks," ACM Trans. Embedded Comput. Syst., vol. 6, no. 4, p. 32, Sep. 2007.
20. M. Bertocco, G. Gamba, A. Sona, and S. Vitturi, "Experimental characterization of wireless sensor networks for industrial applications," IEEE Trans. Instrum. Meas., vol. 57, no. 8, pp. 1537-1546, Aug. 2008.
21. A. I. Moustapha and R. R. Selmic, "Wireless sensor network modeling using modified recurrent neural networks: Application to fault detection," IEEE Trans. Instrum. Meas., vol. 57, no. 5, pp. 981-988, May 2008. (Pubitemid 351583514)
22. S. Jaskó and G. Simon, "Reconfigurable sensor network architecture for distributed measurement systems," in Proc. I2MTC, Austin, TX, 2010, pp. 198-203.
23. Y. Isobe and M. Roggenbach, "CSP-Prover-A proof tool for the verification of scalable concurrent systems," J. Comput. Softw., JSSST, vol. 25, no. 4, pp. 485-492, Dec. 2008.
24. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 713-723, Dec. 1990.
25. F. Iwama and N. Kobayashi, "A new type system for JVM lock primitives," New Gener. Comput., vol. 26, no. 2, pp. 125-170, Feb. 2008.
26. A. S. Tanenbaum, Modern Operating Systems. Englewood Cliffs, NJ: Prentice-Hall, 2007.
27. R. T. Hailpern, Verifying Concurrent Processes Using Temporal Logic. New York: Springer-Verlag, 1982.
28. K. G. Larsen, P. Pettersson, and Y. Wang, "Uppaal in a Nutshell," Int. J. Softw. Tools Technol. Transfer, vol. 1, no. 1/2, pp. 134-152, Dec. 1997.
29. R. Alur, "Timed automata," Theor. Comput. Sci., vol. 126, pp. 183-235, 1994.
30. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications," ACM Trans. Program. Lang. Syst., vol. 8, no. 2, pp. 244-263, Apr. 1986. (Pubitemid 16633197)
31. D. GuASPari, C. Marceau, and W. Polak, "Formal verification of Ada programs," IEEE Trans. Softw. Eng., vol. 16, no. 9, pp. 1058-1075, Sep. 1990.
32. J. Barnes, High Integrity Software: The SPARK Approach to Safety and Security. Boston, MA: Addison-Wesley Longman Publ., 2003.
33. Draft Standard for the Functional Verification Language e, IEEE P1647/D4, Jul. 2010.
34. S. Schneider and R. Delicata, "Verifying security protocols: An application of CSP," in Proc. SOFSEM-Theory and Practice of Informatics, vol. 3525, Lecture Notes in Computer Science, May 2005, pp. 243-263. (Pubitemid 41422265)
35. G. S. Stiles, "Safe and verifiable design of multithreaded java programs with CSP and FDR," in Proc. Workshop FUJ, Vancouver, BC, Canada, Nov. 1998, p. 12.
36. A. I. McInnes, "Using CSP to model and analyze TinyOS applications," in Proc. 16th Annu. IEEE Int. Conf. Workshop ECBS, San Francisco, CA, 2009, pp. 79-88.
37. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Sequential synthesis by language equation solving," in Proc. Int. Workshop Logic Synthesis, 2003, pp. 1-47.
38. G. J. Holzmann, "The model checker SPIN," IEEE Trans. Softw. Eng., vol. 23, no. 5, pp. 279-295, May 1997. (Pubitemid 127828295)
39. N. Brownlee, Formal Systems (Europe) Ltd. Failures-Divergence Refinement: FDR2 User Manual, 2000.
40. Y.Wang, S. Lafortune, T. Kelly,M. Kudlur, and S. Mahlke, "The theory of deadlock avoidance via discrete control," ACMSIGPLAN Notices, vol. 44, no. 1, pp. 252-263, Jan. 2009.
41. K. Suenaga, "Type-based deadlock-freedom verification for non blockstructured lock primitives and mutable references," Program. Lang. Syst., vol. 5356, Lecture Notes in Computer Science, pp. 155-170, 2008.
42. J. Duato, "A new theory of deadlock-free adaptive multicast routing in wormhole networks," in Proc. 5th IEEE Symp. Parallel Distrib. Process., Dallas, TX, Dec. 1993, pp. 64-71.
43. M. G. Hincheya, J. L. Rasha, C. A. Rouffb, and D. Graèaninc, "Achieving dependability in sensor networks through automated requirements-based programming," Comput. Commun., vol. 29, no. 2, pp. 246-256, Jan. 2006.
44. J. S. Dong, J. Sun, J. Sun, K. Taguchi, and X. Zhang, Specifying and verifying sensor networks: An experiment of formal methods. Berlin, Germany: Springer-Verlag, Oct. 2008, pp. 318-337.
45. D. Gay, P. Leves, R. V. Behren, M. Welsh, E. Brewer, and D. Culler, "The nesC language: A holistic approach to networked embedded systems," in Proc. Conf. PLDI, New York, 2003, pp. 1-11.
46. C. Han, R. Kumar, R. Shea, E. Kohler, and M. Srivastava, "A dynamic operating system for sensor nodes," in Proc. 3rd Int. Conf. MobiSys, New York, 2005, pp. 163-176.
47. P. Levis and D. Culler, "Maté: A tiny virtual machine for sensor networks," in Proc. ACM Conf. Archit. Support Program. Lang. Oper. Syst., New York, 2002, pp. 85-95.
48. P. Levis, D. Gay, and D. E. Culler, "Active sensor networks," in Proc. NSDI 2nd Symp., 2005, pp. 343-356.
49. A. Boulisa, C. Han, R. Sheab, and M. B. Srivastava, "SensorWare: Programming sensor networks beyond code update and querying," Pervasive Mobile Comput., vol. 3, no. 4, pp. 386-412, Aug. 2007. (Pubitemid 46908909)
50. J. Koshy, I. Wirjawan, R. Pandey, and Y. Ramin, "Balancing computation and communication costs: The case for hybrid execution in sensor networks," Ad Hoc Netw., vol. 6, no. 8, pp. 1185-1200, Nov. 2008.
51. C. Hoare, Communicating Sequential Processes. Englewood Cliffs, NJ: Prentice-Hall, 1985.
52. A. Roscoe, The Theory and Practice of Concurrency. Upper Saddle River, NJ: Prentice-Hall, 1997.
53. S. Abramsky, Interaction Categories and Communicating Sequential Processes. Upper Saddle River, NJ: Prentice Hall, 1994.
54. INMOS, OCCAM Programming Manual, Engelwood Cliffs, NJ: Prentice-Hall, 1984.
55. L. D. Natanson and W. B. Samson, "An animator for CSP implemented in HOPE," in Proc. BCS-FACS Workshop Specification Verification Concurrent Syst., London, U.K., 1990, pp. 575-594.
56. E. Bin, R. Emek, G. Shurek, and A. Ziv, "Using a constraint satisfaction formulation and solution techniques for random test program generation," IBM Syt. J., vol. 41, no. 3, pp. 386-402, Jul. 2002.
57. mCRL2.[Online].Available: http://www.mcrl2.org/mcrl2/wiki/index.php/ Home
58. PAT: Process Analysis Toolkit. [Online]. Available: http://www.comp. nus.edu.sg/~pat
59. J. M. R. Martin, "A design strategy for deadlock-free concurrent systems," Transputer Commun., vol. 3, no. 4, pp. 215-232, Aug. 1997.