Date
2012
Abstract
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 simulations, 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.
Supervisor
Description
peer-reviewed
Publisher
The American Institute of Aeronautics and Astronautics (AIAA)
Citation
Infotech@Aerospace Conference 2012;
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
Pullum_2012.pdf
Adobe PDF, 645.09 KB
Keywords
adaptive systems, intelligent systems, software systems
ULRR Identifiers
https://hdl.handle.net/10344/3742
 https://doi.org/10.34961/393
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
License
Embedded videos