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. 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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2347583.2347600 | C3S2E |
Keywords | Field | DocType |
large state space,large financial investment,traditional verification technique,adaptive system,current method,adaptiv approach,complete approach,compositional verification,high performance computing simulation,future space,high level,performance,adaptive systems,verification,simulation,software systems,state space | Verification and validation of computer simulation models,Functional verification,Intelligent decision support system,Software engineering,Intelligent verification,Computer science,Runtime verification,Verification,High-level verification,Reliability engineering,Software verification | Conference |
Citations | PageRank | References |
1 | 0.35 | 1 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christopher A. Rouff | 1 | 409 | 50.08 |
Richard Buskens | 2 | 39 | 5.70 |
Laura Pullum | 3 | 11 | 2.82 |
Xiaohui Cui | 4 | 374 | 44.64 |
Mike Hinchey | 5 | 494 | 51.89 |