Skip to main content
Springer Nature Link
Log in

Quantitative Reliability Assessment for Mobile Cooperative Systems

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security (SAFECOMP 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9923))

Included in the following conference series:

  • 2119 Accesses

Abstract

This article proposes a systematic approach to statistical testing for cooperative systems consisting of autonomous mobile agents. Based on Coloured Petri Net models of cooperative behaviour, it analyses different sources of randomness and defines an automatic test case generation procedure to derive cooperative scenarios according to a given operational profile. As an example, the approach is applied to a model of trolleys moving within a common environment. The results allow for quantitative reliability estimations of cooperative behaviour on the basis of statistical sampling theory.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009)

    Book  MATH  Google Scholar 

  2. Bergenhem, C., Shladover, S., Coelingh, E.: Overview of Platooning Systems. In: Proceedings of the 19th World Congress on Intelligent Transportation Systems (ITS) (2012)

    Google Scholar 

  3. Saglietti, F., Föhrweiser, D., Winzinger, S., Lill, R.: Model-based design and testing of decisional autonomy and cooperation in cyber-physical systems. In: Proceedings of the International Conference on Software Engineering and Advanced Applications. IEEE Xplore Digital Library (2015)

    Google Scholar 

  4. Cai, Z., Zhang, J., Liu, Z.: Generating test cases using colored petri net. In: Proceedings of the 2nd International Symposium on Information Engineering and Electronic Commerce. IEEE Xplore Digital Library (2010)

    Google Scholar 

  5. Söhnlein, S., Saglietti, F., Bitzer, F., Meitner, M., Baryschew, S.: Software reliability assessment based on the evaluation of operational experience. In: Müller-Clostermann, B., Echtle, K., Rathgeb, E.P. (eds.) MMB & DFT 2010. LNCS, vol. 5987, pp. 24–38. Springer, Heidelberg (2010)

    Google Scholar 

  6. Störmer, H.: Mathematische Theorie der Zuverlässigkeit. Oldenbourg, Munich (1983)

    MATH  Google Scholar 

  7. Nehmzow, U.: Scientific Methods in Mobile Robotics. Springer, Heidelberg (2006)

    Google Scholar 

  8. CPNTools and Access/CPN by AIS Group, Eindhoven University of Technology and CPN Group, Aarhus University

    Google Scholar 

Download references

Acknowledgment

The authors gratefully acknowledge that part of the work presented was carried out within the European Research Programme ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems), project R5-COP (Reconfigurable ROS-based Resilient Reasoning Robotic Co-operating Systems), supported by the German Federal Ministry of Education and Research (BMBF).

Author information

Authors and Affiliations

  1. Software Engineering (Informatik 11), University of Erlangen-Nuremberg, Martensstr. 3, 91058, Erlangen, Germany

    Francesca Saglietti, Ralf Spengler & Matthias Meitner

Authors
  1. Francesca Saglietti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Spengler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Matthias Meitner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Francesca Saglietti .

Editor information

Editors and Affiliations

  1. Norwegian University of Science and Technology, Trondheim, Norway

    Amund Skavhaug

  2. University of Toulouse, Toulouse, France

    Jérémie Guiochet

  3. Austrian Institute of Technology GmbH, Wien, Austria

    Erwin Schoitsch

  4. Thales Transportation Systems GmbH, Ditzingen, Germany

    Friedemann Bitsch

Appendix

Appendix

See Tables 2, 3, 4, 5, 6 and 7.

Table 2. Initial function availability of robots (-: function unavailable, X: function available)
Full size table
Table 3. Risk level and charging facility per area (-: normal, X: risky, N: no charge, Y: charge)
Full size table
Table 4. Probability of areas being mission targets
Full size table
Table 5. Probability of areas being mission targets with given functional demands
Full size table
Table 6. Probability of segment types being robot starting positions
Full size table
Table 7. Failure probability of robot functions in normal and risky areas
Full size table

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Saglietti, F., Spengler, R., Meitner, M. (2016). Quantitative Reliability Assessment for Mobile Cooperative Systems. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2016. Lecture Notes in Computer Science(), vol 9923. Springer, Cham. https://doi.org/10.1007/978-3-319-45480-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-45480-1_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-45479-5

  • Online ISBN: 978-3-319-45480-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics