short-paper

The AdaptiV approach to verification of adaptive systems

Authors:

Mike HincheyAuthors Info & Claims

C3S2E '12: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering

Pages 118 - 122

https://doi.org/10.1145/2347583.2347600

Published: 27 June 2012 Publication History

Get Access

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.

References

[1]

NASA, Space Technology Roadmaps, Office of the Chief Technologist, October 2011, http://www.nasa.gov/offices/oct/home/roadmaps/index.html

Google Scholar

[2]

NASA, Space Technology Grand Challenges, Office of the Chief Technologist, October 2011, http://www.nasa.gov/offices/oct/strategic_integration/grand_ challenges_detail.html

Google Scholar

[3]

Taylor, B. J., Darrah, M. A., Pullum, L. L., et al., Methods and Procedures for the Verification and Validation of Neural Networks, Brian Taylor, ed., Springer-Verlag, 2005.

Digital Library

Google Scholar

[4]

Pullum, L., Taylor, B., and Darrah, M. Guidance for the Verification and Validation of Neural Networks, IEEE Computer Society Press (Wiley), 2007.

Digital Library

Google Scholar

[5]

Pullum, L. L., Darrah, M. A., and Taylor, B. J. Independent Verification and Validation of Neural Networks -Developing Practitioner Assistance, Software Tech News, July, 2004.

Google Scholar

[6]

Yerramalla, S., Fuller, E., Mladenovski, M., Cukic, B. Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System. Self-Stabilizing Systems 2003: 77--91.

Digital Library

Google Scholar

[7]

Phattanasri, P., Loparo, K. A., Soares, F. Verification and Validation of Complex Adaptive Systems. EECS Department, Case Western Reserve Univ., Contek Research, Inc., April 2005.

Google Scholar

[8]

Emadi, A. and Ehsani, M., Aircraft Power Systems: Technology, State of the Art, and Future Trends, Aerospace and Electronic Systems Magazine, IEEE, Volume 15, Issue 1, Jan. 2000, pp. 28--32.

Crossref

Google Scholar

[9]

Roever, W.-P. de, Boer, F. de, Hanneman, U., Hooman, J., Lakhnech, Y., Poel, M., and Zwiers, J., Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Cambridge University Press, 2001.

Digital Library

Google Scholar

[10]

Baier, C. and Katoen, J.-P., Principles of Model Checking, MIT Press, 2008.

Digital Library

Google Scholar

Cited By

View all

Baudet AAktouf OMercier AJamont J(2021)A Case Study of Run-Time Testing of Self Organizations in Multi-Embedded-Agent Systems2021 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)10.1109/PDP52278.2021.00018(62-66)Online publication date: Mar-2021
https://doi.org/10.1109/PDP52278.2021.00018
Jarrar AAit Wakrime ABalouki Y(2020)Formal approach to model complex adaptive computing systemsComplex Adaptive Systems Modeling10.1186/s40294-020-0069-78:1Online publication date: 12-Feb-2020
https://doi.org/10.1186/s40294-020-0069-7
Baudet AAktouf OMercier AJamont J(2019)Toward Testing Self-organizations in Multi-Embedded-Agent SystemsSoftware Engineering for Resilient Systems10.1007/978-3-030-30856-8_7(97-108)Online publication date: 10-Sep-2019
https://doi.org/10.1007/978-3-030-30856-8_7
Show More Cited By

Index Terms

The AdaptiV approach to verification of adaptive systems
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification
  2. Software organization and properties
    1. Software functional properties
      1. Formal methods

Recommendations

Modeling and Verification of Reactive Systems using Rebeca

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
Modeling and Verification of Reactive Systems using Rebeca

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
Efficient and User-Friendly Verification

A compositional verification method from a high-level resource-management standpoint is presented for dense-time concurrent systems and implemented in the tool of SGM (State-Graph Manipulators) with graphical user interface. SGM packages sophisticated ...

Comments

Information & Contributors

Information

Published In

C3S2E '12: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering

June 2012

139 pages

ISBN:9781450310840

DOI:10.1145/2347583

General Chair:
Bipin C. Desai
Concordia University, Canada
,
Program Chairs:
Emil Vassev
University of Limerick, Ireland
,
Sudhir Mudur
Concordia University, Canada
,
Bipin C. Desai
Concordia University, Canada

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 June 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Funding Sources

Science Foundation Ireland

Conference

C3S2E '12

Sponsor:

University of Limerick
Concordia University

C3S2E '12: Fifth International C* Conference on Computer Science & Software Engineering

June 27 - 29, 2012

Quebec, Montreal, Canada

Acceptance Rates

Overall Acceptance Rate 12 of 42 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
98
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Baudet AAktouf OMercier AJamont J(2021)A Case Study of Run-Time Testing of Self Organizations in Multi-Embedded-Agent Systems2021 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)10.1109/PDP52278.2021.00018(62-66)Online publication date: Mar-2021
https://doi.org/10.1109/PDP52278.2021.00018
Jarrar AAit Wakrime ABalouki Y(2020)Formal approach to model complex adaptive computing systemsComplex Adaptive Systems Modeling10.1186/s40294-020-0069-78:1Online publication date: 12-Feb-2020
https://doi.org/10.1186/s40294-020-0069-7
Baudet AAktouf OMercier AJamont J(2019)Toward Testing Self-organizations in Multi-Embedded-Agent SystemsSoftware Engineering for Resilient Systems10.1007/978-3-030-30856-8_7(97-108)Online publication date: 10-Sep-2019
https://doi.org/10.1007/978-3-030-30856-8_7
Zeigler BMittal STraore MMittal SRisco Martin JLützenberger M(2018)Fundamental requirements and DEVS approach for modeling and simulation of complex adaptive system of systemsProceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems10.5555/3213227.3213231(1-12)Online publication date: 15-Apr-2018
https://dl.acm.org/doi/10.5555/3213227.3213231
Mittal SRisco-Martín J(2017)Simulation-Based Complex Adaptive SystemsGuide to Simulation-Based Disciplines10.1007/978-3-319-61264-5_6(127-150)Online publication date: 28-Jul-2017
https://doi.org/10.1007/978-3-319-61264-5_6
Ben Salem MMosbahi OKhalgui MJlalia ZFrey GSmida M(2016)BROMETH: Methodology to design safe reconfigurable medical robotic systemsThe International Journal of Medical Robotics and Computer Assisted Surgery10.1002/rcs.178613:3Online publication date: 14-Nov-2016
https://doi.org/10.1002/rcs.1786
Torjusen AAbie HPaintsil ETrcek DSkomedal ÅZdun U(2014)Towards Run-Time Verification of Adaptive Security for IoT in eHealthProceedings of the 2014 European Conference on Software Architecture Workshops10.1145/2642803.2642807(1-8)Online publication date: 25-Aug-2014
https://dl.acm.org/doi/10.1145/2642803.2642807

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Modeling and Verification of Reactive Systems using Rebeca

Modeling and Verification of Reactive Systems using Rebeca

Efficient and User-Friendly Verification

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations