The AdaptiV approach to verification of adaptive systems

Christopher Rouff; Richard Buskens; Laura Pullum; Xiaohui Cui; Mike Hinchey

doi:10.1145/2347583.2347600

The AdaptiV approach to verification of adaptive systems

Christopher Rouff, Richard Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Proceedings - C Conference on Computer Science and Software Engineering, C3S2Ea'12
Pages	118-122
Number of pages	5
DOIs	https://doi.org/10.1145/2347583.2347600
Publication status	Published - 2012
Externally published	Yes
Event	5th International C Conference on Computer Science and Software Engineering,C3S2E 2012 - Montreal, QC, Canada Duration: 27 Jun 2012 → 29 Jun 2012

Publication series

Name	ACM International Conference Proceeding Series

Conference

Conference	5th International C Conference on Computer Science and Software Engineering,C3S2E 2012
Country/Territory	Canada
City	Montreal, QC
Period	27/06/12 → 29/06/12

Keywords

adaptive systems
compositional verification
high performance computing simulation
verification

Access to Document

10.1145/2347583.2347600

Cite this

@inproceedings{343cd4ff2eeb4d97a84e138189907bd7,

title = "The AdaptiV approach to verification of adaptive systems",

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.",

keywords = "adaptive systems, compositional verification, high performance computing simulation, verification",

author = "Christopher Rouff and Richard Buskens and Laura Pullum and Xiaohui Cui and Mike Hinchey",

year = "2012",

doi = "10.1145/2347583.2347600",

language = "English",

isbn = "9781450310840",

series = "ACM International Conference Proceeding Series",

pages = "118--122",

booktitle = "Proceedings - C Conference on Computer Science and Software Engineering, C3S2Ea'12",

note = "5th International C Conference on Computer Science and Software Engineering,C3S2E 2012 ; Conference date: 27-06-2012 Through 29-06-2012",

}

Rouff, C, Buskens, R, Pullum, L, Cui, X & Hinchey, M 2012, The AdaptiV approach to verification of adaptive systems. in Proceedings - C Conference on Computer Science and Software Engineering, C3S2Ea'12. ACM International Conference Proceeding Series, pp. 118-122, 5th International C Conference on Computer Science and Software Engineering,C3S2E 2012, Montreal, QC, Canada, 27/06/12. https://doi.org/10.1145/2347583.2347600

The AdaptiV approach to verification of adaptive systems. / Rouff, Christopher; Buskens, Richard; Pullum, Laura et al.
Proceedings - C Conference on Computer Science and Software Engineering, C3S2Ea'12. 2012. p. 118-122 (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The AdaptiV approach to verification of adaptive systems

AU - Rouff, Christopher

AU - Buskens, Richard

AU - Pullum, Laura

AU - Cui, Xiaohui

AU - Hinchey, Mike

PY - 2012

Y1 - 2012

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

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

KW - adaptive systems

KW - compositional verification

KW - high performance computing simulation

KW - verification

UR - http://www.scopus.com/inward/record.url?scp=84866033107&partnerID=8YFLogxK

U2 - 10.1145/2347583.2347600

DO - 10.1145/2347583.2347600

M3 - Conference contribution

AN - SCOPUS:84866033107

SN - 9781450310840

T3 - ACM International Conference Proceeding Series

SP - 118

EP - 122

BT - Proceedings - C Conference on Computer Science and Software Engineering, C3S2Ea'12

T2 - 5th International C Conference on Computer Science and Software Engineering,C3S2E 2012

Y2 - 27 June 2012 through 29 June 2012

ER -

The AdaptiV approach to verification of adaptive systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this