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
VolumePart F128005
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

Other

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

    Fingerprint

Keywords

  • Model checking
  • Self-adaptive software
  • Transition system

ASJC Scopus subject areas

  • Software

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 (Vol. Part F128005, pp. 65-68). Association for Computing Machinery. https://doi.org/10.1145/3019612.3019851