Capturing Requirement Correlation in Adaptive Systems

Ratih N.E. Anggraini, T. P. Martin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 publicationProceedings of the 2018 International Conference on Robotics, Biomimetics, and Intelligent Computational Systems, Robionetics 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages6-11
Number of pages6
ISBN (Electronic)9781538660867
DOIs
Publication statusPublished - 25 Mar 2019
Externally publishedYes
Event2018 International Conference on Robotics, Biomimetics, and Intelligent Computational Systems, Robionetics 2018 - Bandung, Indonesia
Duration: 8 Aug 201810 Aug 2018

Publication series

NameProceedings of the 2018 International Conference on Robotics, Biomimetics, and Intelligent Computational Systems, Robionetics 2018

Conference

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

Keywords

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

Fingerprint

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

Cite this