Testing Adaptive Probabilistic Software Components in Cyber Systems

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.

[1]  Valdis Berzins,et al.  Putting Teeth into Open Architectures: Infrastructure for Reducing the Need for Retesting , 2007 .

[2]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[3]  Andreas Rausch,et al.  Achieving Dependable Component Bindings in Dynamic Adaptive Systems - A Runtime Testing Approach , 2009, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[4]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[5]  Manfred Broy,et al.  Proceedings of The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems Held in Carmel, California on October 23-26, 1998. , 1999 .

[6]  Luqi Engineering Automation for Computer Based Systems , 1999, Electron. Notes Theor. Comput. Sci..

[7]  G.A. Jacoby,et al.  Towards command and control networking of cooperative autonomous robotics for military applications (CARMA) , 2008, 2008 Canadian Conference on Electrical and Computer Engineering.

[8]  Douglas C. Schmidt,et al.  Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance , 2007, IEEE Transactions on Software Engineering.

[9]  Luqi,et al.  Documentation Driven Agile Development for Systems of Embedded Systems , 2003 .

[10]  Luqi,et al.  Admission Control for Dynamic Software Reconfiguration in Systems of Embedded Systems , 2004, ESA/VLSI.

[11]  Raman K. Mehra,et al.  Computational methods for the verification of adaptive control systems , 2004, SPIE Defense + Commercial Sensing.

[12]  Heather Goldsby,et al.  Modular verification of dynamically adaptive systems , 2009, AOSD '09.

[13]  Radu Calinescu,et al.  Reconfigurable service-oriented architecture for autonomic computing , 2009 .

[14]  Luqi,et al.  Documentation driven development for complex real-time systems , 2004, IEEE Transactions on Software Engineering.

[15]  Peyman Oreizy,et al.  An architecture-based approach to self-adaptive software , 1999, IEEE Intell. Syst..

[16]  Bradley R. Schmerl,et al.  Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure , 2004, Computer.

[17]  Michael G. Hinchey,et al.  Software Verification of Autonomic Systems Developed with ASSL , 2010, Monterey Workshop.

[18]  Luqi Formal Methods and Prototyping , 1997, Requirements Targeting Software and Systems Engineering.

[19]  Arnd Poetzsch-Heffter,et al.  Model-based verification of adaptive embedded systems under environment constraints , 2009, SIGBED.

[20]  Luqi,et al.  Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN) , 2005, Monterey Workshop.