A verification technique for self-adaptive software by using model-checking

Euijong Lee, Doo Kwon Baik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Self-adaptive software refers to software that can change its behavior by itself to perform an intended objective according to changes in the surrounding environment. In this study, a technique is proposed to detect the possibility of problem occurrence in advance, before the self-adaptive software carries out self-adaptation according to changes in the surrounding environment. For the proposed technique, a model-checking technique is applied, which is a software modeling verification technique. The proposed technique was applied to ZNN.com, which provides a self-adaptive software scenario. Through this, the possibility was shown that an adaptive-strategy can be prepared in advance by self-adaptive software through the model-checking technique in the stage prior to the execution of self-adaptation.

Original languageEnglish
Title of host publicationProceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015
EditorsElena B. Kozerenko, Peter M. LaMonica, Todd Waskiewicz, Jose A. Olivas, George Jandieri, David de la Fuente, Hamid R. Arabnia, Roger Dziegiel, Raymond A. Liuzzi
PublisherCSREA Press
Pages395-396
Number of pages2
ISBN (Electronic)1601324073, 9781601324078
Publication statusPublished - 2019 Jan 1
Event2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015 - Las Vegas, United States
Duration: 2015 Jul 272015 Jul 30

Publication series

NameProceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015

Conference

Conference2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015
CountryUnited States
CityLas Vegas
Period15/7/2715/7/30

Keywords

  • Model-Checking
  • Self-adaptive software
  • Software verification

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'A verification technique for self-adaptive software by using model-checking'. Together they form a unique fingerprint.

  • Cite this

    Lee, E., & Baik, D. K. (2019). A verification technique for self-adaptive software by using model-checking. In E. B. Kozerenko, P. M. LaMonica, T. Waskiewicz, J. A. Olivas, G. Jandieri, D. de la Fuente, H. R. Arabnia, R. Dziegiel, & R. A. Liuzzi (Eds.), Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015 (pp. 395-396). (Proceedings of the 2015 International Conference on Artificial Intelligence, ICAI 2015 - WORLDCOMP 2015). CSREA Press.