Verification of Adaptive Systems

Laura Pullum, Xiaohui Cui, Emil Vassev, Michael Hinchey, Christopher Rouff, Richard Buskens
2012 Infotech@Aerospace 2012  
Adaptive systems are critical for future space and other unmanned and intelligent systems. Verification of these systems is also critical for their use in systems with potential harm to human life or with large financial investments. Due to their nondeterministic nature and extremely large state space, current methods for verification of software systems are not adequate to provide a high level of assurance for them. The combination of stabilization science, high performance computing
more » ... s, compositional verification and traditional verification techniques, plus operational monitors, provides a complete approach to verification and deployment of adaptive systems that has not been used before. This paper gives an overview of this approach.
doi:10.2514/6.2012-2478 dblp:conf/itaero/PullumCVHRB12 fatcat:hrwz2fmmbnb5ljrbvmvizbu3na