Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Formal Techniques for Safety-Critical Systems

FTSCS 2015: Formal Techniques for Safety-Critical Systems pp 155–171Cite as

Probabilistic Analysis of a Calculus for Wireless Sensor Networks

  • Conference paper
  • First Online:

  • 673 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 596))

Abstract

The CWQ Calculus (a Calculus for Wireless sensor networks from Quality perspective) was recently proposed for modeling and reasoning about Wireless Sensor Networks (WSNs). It has the flexibility that not all input data in a binder need to be received in order for the process to continue. Meanwhile, it has the unique and important characteristic that, in order for the decision of a system of a WSN to be of high trustworthiness, the decision is expected to be made by considering all data from all network nodes in the WSN. Consequently, decisions of a system may have different trustworthiness depending on which input data have actually been received. In this paper, we propose a data-driven probabilistic trust analysis of the CWQ Calculus for WSNs. We assume that data received from a channel have trust values that follow a probability distribution; that is, the trust value of a data represents the trust of the decision of a system made solely based on that data. Thus, we decouple the probability of receiving input data from the probability of data trustworthiness. The overall trustworthiness of the decision of a system is determined by performing a relational analysis to combine these probability distributions.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Details of binder \( { \& }_q(c_1^{l_1}?x_1, \cdots , c_n^{l_n}?x_n)\) shall be introduced in Sect. 2.

References

  1. Akyildiz, I.F., Su, W., Sankarasubramaniam, Y., Cayirci, E.: Wireless sensor networks: a survey. Comput. Netw. 38, 393–422 (2002)

    Article  Google Scholar 

  2. Bulusu, N., Jha, S.: Wireless Sensor Networks: A Systems Perspective. Artech House, Norwood (2005)

    Google Scholar 

  3. Ene, C., Muntean, T.: A broadcast-based calculus for communicating systems. In: Proceedings of 15th International Parallel and Distributed Processing Symposium (IPDPS 2001), pp. 149–149, San Francisco, CA, April 2001

    Google Scholar 

  4. Fehnker, A., van Glabbeek, R., Höfner, P., McIver, A., Portmann, M., Tan, W.L.: A process algebra for wireless mesh networks. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol. 7211, pp. 295–315. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  5. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Lanese, I., Sangiorgi, D.: An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19), 1928–1948 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  7. Lee, E.A.: Architectural support for cyber-physical systems. In: Proceedings of 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2015), pp. 14–18, Istanbul, Turkey, March 2015

    Google Scholar 

  8. Liu, S., Zhao, Y., Zhu, H., Li, Q.: A calculus for mobile ad hoc networks from a group probabilistic perspective. In: Proceedings of 13th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2011), pp. 157–162. IEEE Computer Society (2011)

    Google Scholar 

  9. Merro, M., Sibilio, E.: A timed calculus for wireless systems. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 228–243. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. Mezzetti, N., Sangiorgi, D.: Towards a calculus for wireless systems. Electr. Notes Theor. Comput. Sci. 158, 331–353 (2006)

    Article  Google Scholar 

  11. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (1999)

    Book  MATH  Google Scholar 

  12. Nielson, H.R., Nielson, F.: Probabilistic analysis of the quality calculus. In: Proceedings of 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013), pp. 258–272, Florence, Italy (2013)

    Google Scholar 

  13. Nielson, H.R., Nielson, F., Vigo, R.: A calculus for quality. In: Păsăreanu, C.S., Salaün, G. (eds.) FACS 2012. LNCS, vol. 7684, pp. 188–204. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  14. Prasad, K.: A calculus of broadcasting systems. Sci. Comput. Program. 25(2–3), 285–327 (1995)

    Article  Google Scholar 

  15. Prasad, K.: A prospectus for mobile broadcasting systems. Electr. Notes Theor. Comput. Sci. 162, 295–300 (2006)

    Article  Google Scholar 

  16. Wu, X., Nielson, H.R., Zhu, H.: A SAT-based analysis of a calculus for wireless sensor networks. In: Proceedings of 9th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), pp. 23–30. IEEE Computer Society (2015)

    Google Scholar 

  17. Wu, X., Zhu, H.: A calculus for wireless sensor networks from quality perspective. In: Proceedings of IEEE 16th International Symposium on High Assurance Systems Engineering (HASE 2015), pp. 223–231, Daytona Beach, FL, USA, January 2015

    Google Scholar 

Download references

Acknowledgement

This work was partly supported by the Danish National Research Foundation and the National Natural Science Foundation of China (Grant No. 61361136002) for the Danish-Chinese Center for Cyber Physical Systems. It was also supported by National Natural Science Foundation of China (Grant No. 61321064) and Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things (No. ZF1213).

Author information

Authors and Affiliations

  1. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China

    Xi Wu & Huibiao Zhu

Authors
  1. Xi Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huibiao Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xi Wu .

Editor information

Editors and Affiliations

  1. AIST Ikeda, Ikeda,Osaka, Japan

    Cyrille Artho

  2. University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Wu, X., Zhu, H. (2016). Probabilistic Analysis of a Calculus for Wireless Sensor Networks. In: Artho, C., Ölveczky, P. (eds) Formal Techniques for Safety-Critical Systems. FTSCS 2015. Communications in Computer and Information Science, vol 596. Springer, Cham. https://doi.org/10.1007/978-3-319-29510-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-29510-7_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-29509-1

  • Online ISBN: 978-3-319-29510-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation