research-article

Modelling feature interactions in the automotive domain

Authors:

Alma L. Juarez-Dominguez,

Jeffrey J. JoyceAuthors Info & Claims

MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering

Pages 45 - 50

https://doi.org/10.1145/1370731.1370743

Published: 10 May 2008 Publication History

Abstract

We propose to use model checking to detect feature interactions in a set of features under design for an automotive embedded system. In this paper, we present (1) the characteristics of the feature interaction problem in the automotive domain that make model checking an appropriate detection technique; (2) our proposal for a general, systematic definition of feature interactions for this domain based on the set of actuators in the vehicle influenced by the features; and (3) our solutions to two modelling issues that arise when creating a description in SMV of the behaviour of an integrated set of automotive features designed in MATLAB's STATEFLOW.

References

[1]

A. Agrawal, G. Simon, and G. Karsai. Semantic translation of simulink/stateflow models to hybrid automata using graph transformations. In International Workshop on Graph Transformation and Visual Modeling Techniques. ENTCS, 2004.

Digital Library

[2]

C. Banphawatthanarak and B. H. Krogh. Verification of stateflow diagrams using smv: sf2smv 2.0. Technical Report CMU-ECE-2000-020, Carnegie Mellon University, 2000.

[3]

M. Calder, M. Kolberg, E. Magill, and S. Reiff-Marganiec. Feature interaction: a critical review and considered forecast. Computer Networks, 41(1):115--141, 2003.

Digital Library

[4]

K. Camera. SF2VHD: A stateflow to VHDL translator. Master’s thesis, University of California, Berkeley, 2001.

[5]

W. Chan, R. J. Anderson, et al. Model checking large software specifications. IEEE Trans. on SE, 24(7):498--520, 1998.

Digital Library

[6]

J. Dabney and T. L. Harman. Mastering Simulink. Pearson/Prentice Hall, 2004.

Digital Library

[7]

D. Harel. Statecharts: A visual formalism for complex systems. Sci. of Comp. Prog, 8(3):231--274, June 1987.

Digital Library

[8]

A. L. Juarez-Dominguez, N. A. Day, and R. T. Fanson. A preliminary report on tool support and methodology for feature interaction detection. Technical Report CS-2007-44, University of Waterloo, 2007.

[9]

D. Kalita and P. P. Khargonekar. SF2STeP: A CAD tool for formal verification of timed stateflow diagrams. In IEEE Int. Sym. on Comp.-Aided Control Sys. Design, pages 156--162, 2000.

[10]

D. O. Keck and P. J. Kuehn. The feature and service interaction problem in telecommunications systems: A survey. IEEE Trans. on SE, 24(10):779--796, 1998.

Digital Library

[11]

E. A. Lee. Cyber-physical systems - are computing foundations adequate? Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, 2006.

[12]

N. G. Leveson. Safeware: System Safety and Computers. Addison Wesley, first edition, 2001.

[13]

Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, first edition, 1992.

Digital Library

[14]

K. L. McMillan. Symbolic model checking. Kluwer Academic, 1993.

Digital Library

[15]

A. Metzger. Feature interactions in embedded control systems. Computer Networks, 45(5):625--644, 2004.

Digital Library

[16]

A. Metzger and C. Webel. Feature interaction detection in building control systems by means of a formal product model. In Feature Interactions in Telecom. and Soft. Sys., pages 105--121. IOS Press, 2003.

[17]

P. J. Pingree and E. Mikk. The hivy tool set. In CAV, volume 3114, pages 466--469. Springer, 2004.

[18]

S. Reiff-Marganiec and M. Ryan, editors. Feature Interactions in Telecommunications and Software Systems VIII. IOS Press, 2005.

[19]

N. Scaife, C. Sofronis, P. Caspi, et al. Defining and translating a "safe" subset of simulink/stateflow into lustre. In ACM Int. Conf. on Embedded software, pages 259--268. ACM Press, 2004.

Digital Library

[20]

M. L. Shooman. Probabilistic reliability : an engineering approach. Brooklyn Polytechnic Institute series. McGraw-Hill, first edition, 1968.

[21]

M. Wilson and E. H. Magill. An environmental model for service interaction in home networks. In Postgraduate Research Conf. in Electronics, Photonics, Communications and Software., 2003.

[22]

M. Wilson, E. H. Magill, and M. Kolberg. An online approach for the service interaction problem in home automation. In IEEE Consumer Comm. and Networking Conf., pages 251-- 256, 2005.

Cited By

Priyadarshini Greiner SMassierer MAktouf O(2023)Feature-based software architecture analysis to identify safety and security interactions2023 IEEE 20th International Conference on Software Architecture (ICSA)10.1109/ICSA56044.2023.00010(12-22)Online publication date: Mar-2023
https://doi.org/10.1109/ICSA56044.2023.00010
Ebert RJolianis JKriebel SMarkthaler MPruenster BRumpe BSalman K(2019)Applying Product Line Testing for the Electric Drive SystemProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336318(14-24)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336318
Kaindl HHoch RRathmair MLuckeneder C(2019)Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative ModelsEvaluation of Novel Approaches to Software Engineering10.1007/978-3-030-22559-9_12(261-287)Online publication date: 29-Jun-2019
https://doi.org/10.1007/978-3-030-22559-9_12
Show More Cited By

Index Terms

Modelling feature interactions in the automotive domain

Recommendations

Resolving uncertainty in automotive feature interactions
RE '12: Proceedings of the 2012 IEEE 20th International Requirements Engineering Conference (RE)

The modern automobile is a complex electronic system with a number of features providing functionalities for driver and passenger convenience, control of the vehicle, and safety of the occupants. As new features are developed and introduced into the ...
Detecting Feature Interactions in FORML Models
From Software Engineering to Formal Methods and Tools, and Back
Abstract
Requirement engineers must know how features (units of functionality) interact, in order to resolve undesired interactions. Model checking has been proposed as an effective method for detecting feature interactions. We propose a method for (1) ...
Capturing the form of feature interactions in black-box models
Abstract
Detecting feature interactions is an important post-hoc method to explain black-box models. The literature on feature interactions mainly focus on detecting their existence and calculating their strength. Little attention has been ...
Highlights
- A novel method of capturing the form of feature interactions is proposed.
- The ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering

May 2008

88 pages

ISBN:9781605580258

DOI:10.1145/1370731

Program Chairs:
Joanne Atlee
University of Waterloo, Canada
,
Robert France
Colorado State University, USA
,
Geri Georg
Colorado State University, USA
,
Ana Moreira
Universidade Nova Lisboa, Portugal
,
Bernhard Rumpe
Technische Universität Braunschweig, Germany
,
Steven Völkel
Technische Universität Braunschweig, Germany
,
Steffen Zschaler
Technische Universität Dresden, Germany

Copyright © 2008 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 ACM 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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 May 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '08

Sponsor:

ICSE '08: International Conference on Software Engineering

May 10 - 11, 2008

Leipzig, Germany

Acceptance Rates

MiSE '08 Paper Acceptance Rate 13 of 30 submissions, 43%;

Overall Acceptance Rate 13 of 30 submissions, 43%

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

13
Total Citations
View Citations
363
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)2

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Priyadarshini Greiner SMassierer MAktouf O(2023)Feature-based software architecture analysis to identify safety and security interactions2023 IEEE 20th International Conference on Software Architecture (ICSA)10.1109/ICSA56044.2023.00010(12-22)Online publication date: Mar-2023
https://doi.org/10.1109/ICSA56044.2023.00010
Ebert RJolianis JKriebel SMarkthaler MPruenster BRumpe BSalman K(2019)Applying Product Line Testing for the Electric Drive SystemProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336318(14-24)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336318
Kaindl HHoch RRathmair MLuckeneder C(2019)Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative ModelsEvaluation of Novel Approaches to Software Engineering10.1007/978-3-030-22559-9_12(261-287)Online publication date: 29-Jun-2019
https://doi.org/10.1007/978-3-030-22559-9_12
Abdessalem RPanichella ANejati SBriand LStifter THuchard MKästner CFraser G(2018)Testing autonomous cars for feature interaction failures using many-objective searchProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3238192(143-154)Online publication date: 3-Sep-2018
https://dl.acm.org/doi/10.1145/3238147.3238192
Watanabe KKang ELin CShiraishi S(2018)Runtime monitoring for safety of intelligent vehiclesProceedings of the 55th Annual Design Automation Conference10.1145/3195970.3199856(1-6)Online publication date: 24-Jun-2018
https://dl.acm.org/doi/10.1145/3195970.3199856
Zibaeenejad MZhang CAtlee JBodden ESchäfer WDeursen AZisman A(2017)Continuous variable-specific resolutions of feature interactionsProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106302(408-418)Online publication date: 21-Aug-2017
https://dl.acm.org/doi/10.1145/3106237.3106302
Rathmair MLuckeneder CKaindl H(2016)Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination2016 23rd Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC.2016.041(233-240)Online publication date: 2016
https://doi.org/10.1109/APSEC.2016.041
Bocovich CAtlee JCheung SOrso AStorey M(2014)Variable-specific resolutions for feature interactionsProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2635927(553-563)Online publication date: 11-Nov-2014
https://dl.acm.org/doi/10.1145/2635868.2635927
Atlee JBeidu SDay NFaghih FShaker P(2013)Recommendations for improving the usability of formal methods for product lines2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE)10.1109/FormaliSE.2013.6612276(43-49)Online publication date: May-2013
https://doi.org/10.1109/FormaliSE.2013.6612276
Nie KYue TAli SZhang LFan Z(2013)ConstraintsProceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 810710.1007/978-3-642-41533-3_23(370-387)Online publication date: 29-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-41533-3_23
Show More Cited By

View Options

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