Skip to main content

JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware

  • Chapter
  • First Online:
  • 592 Accesses

Abstract

The use of publish/subscribe middleware within the context of critical systems has raised the issue of assessing the provided degree of reliability and fault tolerance. Literature is rich of frameworks for the performance evaluation of publish/subscribe services. However, it lacks efficient solutions for an effective robustness evaluation of these middleware. For this purpose, this paper proposes a tool to automatically evaluate the robustness of DDS-compliant solutions. In addition, experiments have been conducted on an actual implementation of the DDS standard, by means of injecting a set of invalid and/or exceptional inputs through its API and analyzing the observed behaviors. The tool has helped revealing two types of middleware misbehaviors, which according to the CRASH scale, were classified as Silent and Restart.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover 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.

    http://www.eurocontrol.int/content/sesar-and-research

  2. 2.

    A Finmeccanica company. http://www.selex-si.com/

References

  1. Eugster, P., Felber, P., Guerraoui, R., Kermarrec, A.M.: The many faces of publish/subscribe. ACM Comput. Surv. (CSUR) 35(2), (2003)

    Google Scholar 

  2. Esposito, C., Cotroneo, D., Gokhale, A.: Reliable publish/subscribe middleware for time-sensitive internet-scale applications. In: Proceedings of the 3rd ACM International Conference on Distributed Event-Based Systems (DEBS 09), Nashville, pp. 1–12 (2009)

    Google Scholar 

  3. Esposito, C., Cotroneo, D., Gokhale, A., Schmidt, D.: Architectural evolution of monitor and control systems—issues and challenges. Int. J. Netw. Protoc. Algorithms 2(3), 1–17 (2010)

    Google Scholar 

  4. IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems, Geneva (2005)

    Google Scholar 

  5. RTCA SC-167, E.W.: Software considerations in airborne systems and equipment certification. In: DO-178B, Washington (1992)

    Google Scholar 

  6. IEEE Std 610.12-1990: Standard glossary of software engineering terminology. IEEE, New York (1990)

    Google Scholar 

  7. van Moorsel, A., Madeira, H.: D2.2 State of the art in resilience assessment, measurement and benchmarking, chapter 13 robustness testing. Amber Project Deliverable. http://www.amber-project.eu/stateart.php (2009)

  8. OMG Data-Distribution Service for Real-Time Systems. http://www.omg.org/spec/DDS/1.2/PDF/

  9. Napolitano, A., Carrozza, G., Bovenzi, A., Esposito, C.: Automatic robustness assessment of dds-compliant middleware. In: Proceedings of the IEEE 17th Pacific Rim International Symposium on Dependable, Computing. Pasadena, pp. 174–183 (2011)

    Google Scholar 

  10. Forrester, J.E., Miller, B.P.: An empirical study of the robustness of windows nt applications using random testing. In: Proceedings of the 4th Conference USENIX Windows Systems Symposium. Seattle, pp. 59–68 (2000)

    Google Scholar 

  11. Kropp, N., Koopman, P., Siewiorek, D.: Automated robustness testing of off-the-shelf software components. In: Proceedings of the 28th International Symposium on Fault-Tolerant, Computing. Munich, pp. 30–37 (1998)

    Google Scholar 

  12. Rodriguez, M., Salles, F., Fabre, J.C., Arlat, J.: Mafalda: microkernel assessment by fault injection and design aid. In: Proceedings of the Third European Dependable Computing Conference on Dependable Computing. Prague, pp. 143–160 (1999)

    Google Scholar 

  13. Marsden, E., Fabre, J.C.: Failure mode analysis of corba service implementations. In: Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms. Heidelberg, Germany, pp. 216–231 (2001)

    Google Scholar 

  14. Laranjeiro, N., Vieira, M., Madeira, H.: Experimental robustness evaluation of JMS middleware. In: Proceedings of the IEEE International Conference on Services Computing. Honolulu, pp. 119–126 (2008)

    Google Scholar 

  15. Koopman, P., DeVale, J.: Comparing the robustness of posix operating systems. In: Proceedings of the 29th Annual International Symposium on Fault-Tolerant, Computing. IEEE CS Press, Madison, pp. 30–37 (1999)

    Google Scholar 

  16. Laranjeiro, N., Vieira, M., Madeira, H.: Robustness validation in service-oriented architectures. Architecting Dependable Systems VI, LNCS 5835/2009 (2009)

    Google Scholar 

  17. Martins, E., Rubira, C.M.F., Leme, N.G.M.: Jaca: A reflective fault injection tool based on patterns. In: Proceedings of the International Conference on Dependable Systems and, Networks. IEEE Computer Society, Bethesda, pp. 483–482 (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Antonio Bovenzi .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Italia

About this chapter

Cite this chapter

Bovenzi, A., Napolitano, A., Esposito, C., Carrozza, G. (2013). JFIT: an Automatic Tool for Assessing Robustness of DDS-Compliant Middleware. In: Cotroneo, D. (eds) Innovative Technologies for Dependable OTS-Based Critical Systems. Springer, Milano. https://doi.org/10.1007/978-88-470-2772-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-88-470-2772-5_6

  • Published:

  • Publisher Name: Springer, Milano

  • Print ISBN: 978-88-470-2771-8

  • Online ISBN: 978-88-470-2772-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics