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
EditorsDavid de la Fuente, Roger Dziegiel, Elena B. Kozerenko, Peter M. LaMonica, Raymond A. Liuzzi, Jose A. Olivas, Todd Waskiewicz, George Jandieri, Hamid R. Arabnia
PublisherCSREA Press
Pages395-396
Number of pages2
ISBN (Electronic)1601324073, 9781601324078
Publication statusPublished - 2019
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

  • Artificial Intelligence
  • Software

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