Skip to main content
SpringerLink
Log in

Testing Adaptive Probabilistic Software Components in Cyber Systems

  • Conference paper
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems (Monterey Workshop 2010)

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

Included in the following conference series:

  • 1389 Accesses

Abstract

This paper addresses improved principles for verification and validation to establish confidence in robustness of adaptive software systems, to include uncertainty with respect to cyber environment and dynamics of internal system configuration. It applies to component based systems with probabilistic decision making at multiple levels and bridges the gap between checking the correctness of a single component and validating systems composed of many components.

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

Access this chapter

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 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hinchey, M., Vassev, E.: Software Verification of Autonomic Systems Developed with ASSL. In: Monterey Workshop on Modeling, Development, and Verification of Adaptive Systems, Microsoft Research, March 31-April 2, pp. 7–15 (2010)

    Google Scholar 

  2. Luqi, Zhang, L., Berzins, V., Qiao, Y.: Documentation Driven Development for Complex Real-Time Systems. IEEE Transactions on Software Engineering 30(12), 936–952 (2004)

    Article  Google Scholar 

  3. Qiao, Y., Luqi: Admission Control for Dynamic Software Reconfiguration in Systems of Embedded Systems. In: Proceedings of the 2004 International Conference on Embedded Systems and Applications (ESA 2004), Las Vegas, Nevada, USA, June 21-24, pp. 136–142 (2004)

    Google Scholar 

  4. Luqi: Transforming Documents to Evolve High-Confidence Systems. In: Proceedings of Workshop on Advances in Computer Science and Engineering, Berkeley, CA, May 6, pp. 71–72 (2006)

    Google Scholar 

  5. Oreizy, P., Gorlick, M., Taylor, R., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D., Wolf, A.: An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems and their Applications 14(3), 54–62 (1999)

    Article  Google Scholar 

  6. Garlan, S.W.C., Huang, A.C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure. Computer 37(10), 46–54 (2004)

    Article  Google Scholar 

  7. Calinescu, R.: Reconfigurable Service-Oriented Architecture for Autonomic Computing. International Journal on Advances in Intelligent Syste 2(1), 38–57 (2009)

    Google Scholar 

  8. Rajkumar, R., Lee, I., Sha, L., Stankovic, J.: Cyber-Physical Systems: The Next Computing Revolution. In: Proceedings of the 47th Design Automation Conference, pp. 731–736 (2010)

    Google Scholar 

  9. Proceedings of the 4th Monterey Workshop on Specification Based Software Architectures, Monterey, California (1995)

    Google Scholar 

  10. Proceedings of the 16th Monterey Workshop on Modeling, Development, and Verification of Adaptive Systems, Microsoft Research, March 31-April 2 (2010)

    Google Scholar 

  11. Luqi, Kordon, F.: Modeling, Development, and Verification of Adaptive Systems. In: Proceedings of the Monterey Workshop on Modeling, Development, and Verification of Adaptive Systems, Microsoft Research, March 31-April 2 (2010)

    Google Scholar 

  12. Sztipanovits, J.: Software Verification for Adaptive Systems: is it Easier or Harder? In: Proceedings of the Monterey Workshop on Modeling, Development, and Verification of Adaptive Systems, Microsoft Research, March 31-April 2 (2010)

    Google Scholar 

  13. Luqi: Dependable Software Architecture Based on Quantifiable Compositional Model, AFOSR Final Report (November 2007)

    Google Scholar 

  14. Berzins, V., Rodriguez, M., Wessman, M.: Putting Teeth into Open Architectures: Infrastructure for Reducing the Need for Retesting. In: Proceedings of the 4th Annual Acquisition Research Symposium: Creating Synergy for Informed Change, Monterey, CA, May 16-17, pp. 285–312 (2007)

    Google Scholar 

  15. Dailey, P.: High-Fidelity Profile-Based Automated Testing of Open Architecture Track-Processing Software, NPS Ph.D. Dissertation (June 2010)

    Google Scholar 

  16. Luqi, Goguen, J., Berzins, V.: Formal Support for Software Evolution. In: Proceedings of Monterey Workshop 1994, Monterey, CA, September 7-9, pp. 10–21 (1994)

    Google Scholar 

  17. Luqi, Berzins, V.: Software Architecture in Computer-Aided Prototyping. In: Proceedings of 1995 Monterey Workshop on Increasing the Practical Impact of Formal Methods in Computer Aided Software Development: Software Architecture, Monterey, CA, September 12-14, pp. 44–57 (1995)

    Google Scholar 

  18. Luqi: Formal Models and Prototyping. In: Proceedings 1997 ARO Workshop on Requirements Targeting Software and System Engineering - Towards a Scientific Basis, Munich, Germany, October 12-14, pp. 183–194 (1997)

    Google Scholar 

  19. Luqi: Engineering Automation for Computer Based Systems. In: Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, Monterey, CA, April 1998, pp. 3–8 (1998)

    Google Scholar 

  20. Luqi, Nogueria, J.C.: A Risk Assessment Model for Evolutionary Software Projects. In: Proceedings of the 2000 Monterey Workshop on Modeling Software Systems Structures in a Fastly Moving Scenario, Santa Margherita Ligure, Italy, June 13-16, pp. 208–215 (2000)

    Google Scholar 

  21. Murrah, M., Johnson, C., Luqi: Enhancements & Extensions of Formal Models for Risk Assessment in Software Projects. In: Proceedings Monterey Workshop 2001, Engineering Automation for Software Intensive System Integration, NPS, Monterey, CA, June 18-22, pp. 120–127 (2001)

    Google Scholar 

  22. Luqi, Qiao, Y., Zhang, L.: Computational Model for High-confidence Embedded System Development. In: Monterey Workshop – Radical Innovations of Software and Systems Engineering in the Future, Venice, Italy, October 7-11, pp. 265–303 (2002)

    Google Scholar 

  23. Luqi, Zhang, L.: Documentation Driven Agile Development for Systems of Embedded Systems. In: Monterey Workshop Series: Workshop on Software Engineering for Embedded Systems: From Requirement to Implementation, Chicago, IL, September 24-26, pp. 13–25 (2003)

    Google Scholar 

  24. 11th Monterey Workshop:  Software Engineering Tools: Compatibility and Integration, Vienna, Austria (2004)

    Google Scholar 

  25. Luqi, Berzins, V., Roof, W.: Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN). In: Monterey Workshop 2005: Realization of Reliable Systems on Top of Unreliable Networked Platforms, Univ. of California, Irvine, USA, Laguna Beach, September 22-24, pp. 1–9 (2005)

    Google Scholar 

  26. Luqi, Ivanchenko, V., Rodriguez, M., Berzins, V.: Reliability and Flexibility Properties of Models for Design and Run-time Analysis. In: Monterey Workshop 2006 Composition of Embedded Systems: Scientific and Industrial Issues, Paris, October 16-18 (2006)

    Google Scholar 

  27. 15th Monterey Workshop:  Foundations of Computer Software, Future Trends and Techniques for Development, Budapest, Hungary (2008)

    Google Scholar 

  28. Demir, Y.: JOGL: An OpenGL Based Graphics Domain for Ptolemy II. In: Cyberphysical Systems Education Workshop (CPSEW), Arlington, VA, August 12 (2010)

    Google Scholar 

  29. Jacoby, G., Chang, D.: Towards Command and Control Networking of Cooperative Autonomous Robotics for Military Applications (CARMA). In: CCECE/CCGEI Conference, Niagara Falls, Canada, May 5-7 (2008)

    Google Scholar 

  30. Porter, A., Memon, A., Yilmaz, C., Schmidt, D., Natarajan, B.: Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. IEEE Transactions on Software Engineering 33(8), 510–525 (2007)

    Article  Google Scholar 

  31. Luqi, Dailey, P.: Profile-Based Automated Testing Process for Open Architecture Track-Processing Software. Technical Report #NPS-CS-10-005 (March 2010)

    Google Scholar 

  32. Niebuhr, D., Rausch, A., Klein, C., Reichmann, J., Schmid, R.: Achieving Dependable Component Bindings in Dynamic Adaptive Systems - A Runtime Testing Approach. In: Proc. Third IEEE International Conference on Self-Adapting and Self-Organizing Systems, San Francisco, CA, September 14-18, pp. 186–197 (2009)

    Google Scholar 

  33. Prasanth, R., Boskovic, J., Mehra, R.: Computational Methods for the Verification of Adaptive Control Systems. In: Proc. SPIE 5429, 264, Orlando, FL, April 12, pp. 264–272 (2004)

    Google Scholar 

  34. Schaefer, I., Poetzsch-Heffter, A.: Model-Based Verification of Adaptive Embedded Systems under Environment Constraints. ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems, APRES 2009, 6(3) (October 2009) (no page numbers used)

    Google Scholar 

  35. Zhang, J., Goldsby, H., Chang, B.: Modular Verification of Dynamically Adaptive Systems. In: Proc. AOSD 2009, Charlottesville VA, March 2-6, pp. 161–172 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Naval Postgraduate School, USA

    Luqi

  2. United States Military Academy, USA

    Grant Jacoby

Authors
  1. Luqi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Grant Jacoby
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Oxford University, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Radu Calinescu

  2. Microsoft Research, One Microsoft Way, 98052-6399, Redmond, WA, USA

    Ethan Jackson

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Luqi, Jacoby, G. (2011). Testing Adaptive Probabilistic Software Components in Cyber Systems. In: Calinescu, R., Jackson, E. (eds) Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Monterey Workshop 2010. Lecture Notes in Computer Science, vol 6662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21292-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21292-5_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21291-8

  • Online ISBN: 978-3-642-21292-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation