Runtime verification method for self-adaptive software using reachability of transition system model

Euijong Lee, Young Gab Kim, Young Duk Seo, Kwangsoo Seol, Doo Kwon Baik

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

3 Citations (Scopus)

Abstract

Self-adaptive software can change its own behavior in order to achieve an intended objective in a changing environment. Consequently, self-adaptive software requires practical runtime verification and validation. We propose an approach for runtime verification of self-adaptive software by using a designed transition system model. The proposed approach consists of two phases: pre-computing phase and runtime phase. In the precomputing phase, we assume that the self-adaptive software is designed as a transition system. In this phase, the proposed approach translates the designed transition system into equations for runtime verification. For translation, we suggest an algorithm based on state elimination and reachability. After the pre-computing phase, the results of the translated equations are verified in the runtime phase. In order to demonstrate the suitability of our proposed approach, we performed experiments to evaluate the performance of the pre-processing phase and the runtime phase. In comparison with other model-checking tools, our approach achieved excellent results.

Original languageEnglish
Title of host publication32nd Annual ACM Symposium on Applied Computing, SAC 2017
PublisherAssociation for Computing Machinery
Pages65-68
Number of pages4
ISBN (Electronic)9781450344869
DOIs
Publication statusPublished - 2017 Apr 3
Event32nd Annual ACM Symposium on Applied Computing, SAC 2017 - Marrakesh, Morocco
Duration: 2017 Apr 42017 Apr 6

Publication series

NameProceedings of the ACM Symposium on Applied Computing
VolumePart F128005

Other

Other32nd Annual ACM Symposium on Applied Computing, SAC 2017
CountryMorocco
CityMarrakesh
Period17/4/417/4/6

Keywords

  • Model checking
  • Self-adaptive software
  • Transition system

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Runtime verification method for self-adaptive software using reachability of transition system model'. Together they form a unique fingerprint.

  • Cite this

    Lee, E., Kim, Y. G., Seo, Y. D., Seol, K., & Baik, D. K. (2017). Runtime verification method for self-adaptive software using reachability of transition system model. In 32nd Annual ACM Symposium on Applied Computing, SAC 2017 (pp. 65-68). (Proceedings of the ACM Symposium on Applied Computing; Vol. Part F128005). Association for Computing Machinery. https://doi.org/10.1145/3019612.3019851