short-paper

Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes

Authors:

Betty H. C. ChengAuthors Info & Claims

SEAMS '18: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems

Pages 94 - 100

https://doi.org/10.1145/3194133.3194141

Published: 28 May 2018 Publication History

Abstract

The validity of systems at run time depends on the features included in those systems operating as specified. However, when feature interactions occur, the specifications no longer reflect the state of the run-time system due to the conflict. While methods exist to detect feature interactions at design time, conflicts that cause features to fail may still arise when new detected feature interactions are considered unreachable, new features are added, or an exhaustive design-time detection approach is impractical due to computational costs. This paper introduces Thoosa, an approach for using models at run time to detect features that can fail due to n-way feature interactions at run time and thereby trigger mitigating adaptations and/or updates to the requirements. We illustrate our approach by applying Thoosa to an industry-based automotive braking system comprising multiple subsystems.

References

[1]

Sven Apel, Joanne M. Atlee, Luciano Baresi, and Pamela Zave. 2014. Feature Interactions: The Next Generation (Dagstuhl Seminar 14281). Dagstuhl Reports 4, 7 (2014), 1--24.

[2]

Sven Apel, Sergiy Kolesnikov, Norbert Siegmund, Christian Kästner, and Brady Garvin. 2013. Exploring feature interactions in the wild: the new feature-interaction challenge. In Proceedings of the 5th International Workshop on Feature-Oriented Software Development. ACM, 1--8.

Digital Library

[3]

Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander Von Rhein, and Dirk Beyer. 2011. Detection of feature interactions using feature-aware verification. In Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering. IEEE Computer Society, 372--375.

Digital Library

[4]

Sven Apel, Alexander Von Rhein, Thomas Thüm, and Christian Kästner. 2013. Feature-interaction detection based on feature-based specifications. Computer Networks 57, 12 (2013), 2399--2409.

Digital Library

[5]

Silky Arora, Prahladavaradan Sampath, and S Ramesh. 2012. Resolving uncertainty in automotive feature interactions. In Requirements Engineering Conference (RE), 2012 20th IEEE International. IEEE, 21--30.

Digital Library

[6]

Cecylia Bocovich and Joanne M. Atlee. 2014. Variable-specific resolutions for feature interactions. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. 553--563.

Digital Library

[7]

Muffy Calder, Mario Kolberg, Evan H Magill, and Stephan Reiff-Marganiec. 2003. Feature interaction: a critical review and considered forecast. Computer Networks 41, 1 (2003), 115--141.

Digital Library

[8]

Muffy Calder and Alice Miller. 2006. Feature interaction detection by pairwise analysis of LTL properties-a case study. Formal Methods in System Design 28, 3 (2006), 213--261.

Digital Library

[9]

A Chavan, L Yang, K Ramachandran, and WH Leung. 2007. Resolving Feature Interaction with Precedence Lists in the Feature Language Extensions. In ICFI. 114--128.

[10]

Lawrence Chung and Julio Cesar Sampaio do Prado Leite. 2009. Onnon-functional requirements in software engineering. In Conceptual modeling: Foundations and applications. Springer, 363--379.

Digital Library

[11]

Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, and Pierre-Yves Schobbens. 2016. Reusable self-adaptation through bidirectional programming. In Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2016 IEEE/ACM 11th International Symposium on. IEEE, 4--15.

Digital Library

[12]

Michael A Cusumano. 2011. Reflections on the Toyota debacle. Commun. ACM 54, 1 (2011), 33--35.

Digital Library

[13]

Byron DeVries. 2017. Using Formal Analysis and Search-Based Techniques to Address the Assurance of Cyber-Physical Systems at the Requirements Level. Ph.D. Dissertation. Michigan State University.

[14]

Byron DeVries and Betty H. C. Cheng. 2016. Automatic detection of incomplete requirements via symbolic analysis. In 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Proceedings, Saint-Malo, France, October 2-7. ACM, 385--395.

Digital Library

[15]

Byron DeVries and Betty H. C. Cheng. 2017. Automatic Detection of Incomplete Requirements Using Symbolic Analysis and Evolutionary Computation. In International Symposium on Search Based Software Engineering. Springer, 49--64.

[16]

Byron DeVries and Betty H. C. Cheng. 2017. Detecting Unintended N-Way Feature Interactions and their Causes for Autonomous Systems. Technical Report (2017). http://www.cse.msu.edu/%7Echengb/FI-Techreport-2017.pdf

[17]

Byron DeVries and Betty H. C. Cheng. 2017. Using Models at Run Time to Detect Incomplete and Inconsistent Requirements. In Proceedings of the 21th International Workshop on [email protected] co-located with 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, Texas, September 18.

[18]

Alma L Juarez Dominguez. 2012. Detection of feature interactions in automotive active safety features. Ph.D. Dissertation. University of Waterloo.

[19]

Alessandro Fantechi, Stefania Gnesi, and Laura Semini. 2017. Optimizing Feature Interaction Detection. In Critical Systems: Formal Methods and Automated Verification. Springer, 201--216.

[20]

Erik M Fredericks, Byron DeVries, and Betty H. C. Cheng. 2014. AutoRELAX: automatically RELAXing a goal model to address uncertainty. Empirical Software Engineering 19, 5 (2014), 1466--1501.

Digital Library

[21]

Erik M Fredericks, Byron DeVries, and Betty H. C. Cheng. 2014. Towards runtime adaptation of test cases for self-adaptive systems in the face of uncertainty. In Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, 17--26.

Digital Library

[22]

Heather J Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, and Danny Hughes. 2008. Goal-based modeling of dynamically adaptive system requirements. In Engineering of Computer Based Systems, 2008. ECBS 2008. 15th Annual IEEE International Conference and Workshop on the. IEEE, 36--45.

Digital Library

[23]

Nancy D Griffeth and Hugo Velthuijsen. 1994. The negotiating agents approach to runtime feature interaction resolution. In FIW. 217--235.

[24]

Jonathan D. Hay and Joanne M. Atlee. 2000. Composing Features and Resolving Interactions. In Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: Twenty-first Century Applications (SIGSOFT '00/FSE-8). ACM, New York, NY, USA, 110--119. 355061

Digital Library

[25]

Praveen Jayaraman, Jon Whittle, Ahmed M Elkhodary, and Hassan Gomaa. 2007. Model composition in product lines and feature interaction detection using critical pair analysis. In Model Driven Engineering Languages and Systems. Springer, 151--165.

Digital Library

[26]

Jeffrey O Kephart and David M Chess. 2003. The vision of autonomic computing. Computer 36, 1 (2003), 41--50.

Digital Library

[27]

Phil Koopman. 2014. A case study of Toyota unintended acceleration and software safety. Presentation. Sept (2014).

[28]

Emmanuel Letier and Axel van Lamsweerde. 2002. Deriving operational software specifications from system goals. In Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering. ACM, 119--128.

Digital Library

[29]

Henry Muccini, Mohammad Sharaf, and Danny Weyns. 2016. Self-adaptation for cyber-physical systems: a systematic literature review. In Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, 75--81.

Digital Library

[30]

Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl, and Javier Cámara. 2017. Towards a formal framework for hybrid planning in self-adaptation. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE Press, 109--115.

Digital Library

[31]

Vítor E Silva Souza, Alexei Lapouchnian, William N Robinson, and John Mylopoulos. 2011. Awareness requirements for adaptive systems. In Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems. ACM, 60--69.

Digital Library

[32]

Vítor E Silva Souza, Alexei Lapouchnian, William N Robinson, and John Mylopoulos. 2013. Awareness requirements. In Software Engineering for Self-Adaptive Systems II. Springer, 133--161.

[33]

Axel van Lamsweerde et al. 2009. Requirements engineering: from system goals to UML models to software specifications. Wiley.

Digital Library

[34]

Pascal Weisenburger, Manisha Luthra, Boris Koldehofe, and Guido Salvaneschi. 2017. Quality-aware runtime adaptation in complex event processing. In Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. IEEE Press, 140--151.

Digital Library

[35]

Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H. C. Cheng, and Jean-Michel Bruel. 2009. Relax: Incorporating uncertainty into the specification of self-adaptive systems. In Requirements Engineering Conference, 2009. RE'09. 17th IEEE International. IEEE, 79--88.

Digital Library

[36]

M Hadi Zibaeenejad, Chi Zhang, and Joanne M Atlee. 2017. Continuous variable-specific resolutions of feature interactions. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE. ACM, 408--418.

Digital Library

Cited By

Chambers TVierhauser MAgrawal AMurphy MBrauer JPurandare SCohen MCleland-Huang J(2024)HIFuzz: Human Interaction Fuzzing for Small Unmanned Aerial VehiclesProceedings of the 2024 CHI Conference on Human Factors in Computing Systems10.1145/3613904.3642958(1-14)Online publication date: 11-May-2024
https://dl.acm.org/doi/10.1145/3613904.3642958
Chu SShedden EZhang CMeira-Góes RMoreno GGarlan DKang E(2023)Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS59076.2023.00025(115-125)Online publication date: May-2023
https://doi.org/10.1109/SEAMS59076.2023.00025
Cámara JTroya JVallecillo ABencomo NCalinescu RCheng BGarlan DSchmerl B(2022)The uncertainty interaction problem in self-adaptive systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01037-621:4(1277-1294)Online publication date: 1-Aug-2022
https://dl.acm.org/doi/10.1007/s10270-022-01037-6
Show More Cited By

Index Terms

Run-time monitoring of self-adaptive systems to detect N-way feature interactions and their causes
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis
  2. Software organization and properties
    1. Extra-functional properties
      1. Interoperability

Recommendations

Avoidance of Feature Interactions at Run-Time
ICSEA '06: Proceedings of the International Conference on Software Engineering Advances

Many researches for detecting feature interactions of telephony services have been discussed all over the world. But, there is no guarantee that all detected feature interactions can be resolved. In fact, services must be provided with unresolved ...
Detecting Arbitrary Order Beneficial Feature Interactions for Recommender Systems
KDD '22: Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

Detecting beneficial feature interactions is essential in recommender systems, and existing approaches achieve this by examining all the possible feature interactions. However, the cost of examining all the possible higher-order feature interactions is ...
Behaviour interactions among product-line features
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1

A software product line (SPL) is often constructed as a set of features, such that individual products can be assembled from a set of common features and a selection of optional features. Although features are conceptualized, developed, and evolved as ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SEAMS '18: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems

May 2018

244 pages

ISBN:9781450357159

DOI:10.1145/3194133

General Chair:
Jesper Andersson
Linnaeus University, Sweden
,
Program Chair:
Danny Weyns
Katholieke Universiteit Leuven, Belgium | Linnaeus University, Sweden

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 May 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

ICSE '18

Sponsor:

SIGSOFT
IEEE-CS

ICSE '18: 40th International Conference on Software Engineering

May 28 - 29, 2018

Gothenburg, Sweden

Acceptance Rates

Overall Acceptance Rate 17 of 31 submissions, 55%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
154
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Chambers TVierhauser MAgrawal AMurphy MBrauer JPurandare SCohen MCleland-Huang J(2024)HIFuzz: Human Interaction Fuzzing for Small Unmanned Aerial VehiclesProceedings of the 2024 CHI Conference on Human Factors in Computing Systems10.1145/3613904.3642958(1-14)Online publication date: 11-May-2024
https://dl.acm.org/doi/10.1145/3613904.3642958
Chu SShedden EZhang CMeira-Góes RMoreno GGarlan DKang E(2023)Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)10.1109/SEAMS59076.2023.00025(115-125)Online publication date: May-2023
https://doi.org/10.1109/SEAMS59076.2023.00025
Cámara JTroya JVallecillo ABencomo NCalinescu RCheng BGarlan DSchmerl B(2022)The uncertainty interaction problem in self-adaptive systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01037-621:4(1277-1294)Online publication date: 1-Aug-2022
https://dl.acm.org/doi/10.1007/s10270-022-01037-6
Anda AAmyot D(2020)An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE)10.1109/MoDRE51215.2020.00008(11-20)Online publication date: Aug-2020
https://doi.org/10.1109/MoDRE51215.2020.00008
DeVries BCheng BLitoiu MClarke STei K(2019)Towards the detection of partial feature interactionsProceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2019.00026(146-152)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/SEAMS.2019.00026
Anda AAmyot D(2019)Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems2019 IEEE 27th International Requirements Engineering Conference (RE)10.1109/RE.2019.00034(245-256)Online publication date: Sep-2019
https://doi.org/10.1109/RE.2019.00034
DeVries BCheng B(2019)Goal-Based Modeling and Analysis of Non-Functional Requirements2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS.2019.00010(261-271)Online publication date: Sep-2019
https://doi.org/10.1109/MODELS.2019.00010
DeVries BCheng B(2018)Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS.2018.00039(257-268)Online publication date: Jul-2018
https://doi.org/10.1109/QRS.2018.00039

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents