Capturing Requirement Correlation in Adaptive Systems

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

141 Downloads (Pure)

Abstract

An adaptive system is expected to modify its behavior to suit changes in environmental and system condition. Somehow, it causes problems during requirement specification (and in subsequent verification) since it is difficult to provide all possible adaptation needed during runtime. Thus, it may be necessary to temporarily ignore non-critical requirements to a certain point in order to maintain satisfaction, especially on critical and invariant requirements.One way to handle uncertainty in the adaptive system is by relaxing requirement and present the verification result using a graded (fuzzy) condition in a requirement satisfaction. Often, relaxing one requirement can affect the satisfaction of another related requirement. In this paper, we use linear regression to capture the relationship between two relaxed system requirements. Pearson and Spearman correlation coefficient is utilized to calculate correlation strength. To illustrate the approach, we consider a smart vacuum system problem.

Original languageEnglish
Title of host publication2018 International Conference on Robotics, Biomimetics, and Intelligent Computational Systems, (Robionetics 2018)
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages6-11
Number of pages6
ISBN (Electronic)9781538660867
ISBN (Print)9781538660874
DOIs
Publication statusPublished - 25 Mar 2019
Event2018 International Conference on Robotics, Biomimetics, and Intelligent Computational Systems, Robionetics 2018 - Bandung, Indonesia
Duration: 8 Aug 201810 Aug 2018

Conference

Conference2018 International Conference on Robotics, Biomimetics, and Intelligent Computational Systems, Robionetics 2018
CountryIndonesia
CityBandung
Period8/08/1810/08/18

Keywords

  • adaptive system
  • linear regression
  • Pearson correlation coefficient
  • relax requirement
  • Spearman correlation coefficient

Fingerprint Dive into the research topics of 'Capturing Requirement Correlation in Adaptive Systems'. Together they form a unique fingerprint.

  • Cite this

    Anggraini, R. N. E., & Martin, T. P. (2019). Capturing Requirement Correlation in Adaptive Systems. In 2018 International Conference on Robotics, Biomimetics, and Intelligent Computational Systems, (Robionetics 2018) (pp. 6-11). [8674673] Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/ROBIONETICS.2018.8674673