More Web Proxy on the site http://driver.im/

research-article

Public Access

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain

Authors:

Fuyuki Ishikawa,

Nian-Ze LeeAuthors Info & Claims

VaMoS '19: Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems

Article No.: 12, Pages 1 - 6

https://doi.org/10.1145/3302333.3302345

Published: 06 February 2019 Publication History

Abstract

Safety analyses in the automotive domain (in particular automated driving) present unprecedented challenges due to its complexity and tight integration with the physical environment. Given the diversity in the types of cars, potentially unlimited number of possible environmental and driving conditions, it is crucial to devise a systematic way of managing variability in hazards, driving and environmental conditions in individual cars, families of cars, and families of families of cars to facilitate analyses efficiently. To this end, we present our ongoing work in a research project that focuses on devising a model-based reasoning framework for systematically managing hazards in the automotive domain and supporting safety analyses (e.g., falsification).

References

[1]

R. B. Abdessalem, S. Nejati, L. C. Briand, and T. Stifter. Testing advanced driver assistance systems using multi-objective search and neural networks. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, pages 63--74, New York, NY, USA, 2016. ACM.

Digital Library

[2]

R. B. Abdessalem, S. Nejati, L. C. Briand, and T. Stifter. Testing vision-based control systems using learnable evolutionary algorithms. In Proceedings of the 40th International Conference on Software Engineering, ICSE '18, pages 1016--1026, New York, NY, USA, 2018. ACM.

Digital Library

[3]

R. B. Abdessalem, A. Panichella, S. Nejati, L. C. Briand, and T. Stifter. Testing autonomous cars for feature interaction failures using many-objective search. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, pages 143--154, New York, NY, USA, 2018. ACM.

Digital Library

[4]

M. Acher, A. Cleve, G. Perrouin, P. Heymans, C. Vanbeneden, P. Collet, and P. Lahire. On extracting feature models from product descriptions. In Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pages 45--54, New York, NY, USA, 2012. ACM.

Digital Library

[5]

H. Beohar and M. R. Mousavi. Input-output conformance testing for software product lines. Journal of Logical and Algebraic Methods in Programming, 85(6):1131--1153, 2016. NWPT 2013.

[6]

T. Berger, D. Lettner, J. Rubin, P. Grünbacher, A. Silva, M. Becker, M. Chechik, and K. Czarnecki. What is a feature?: A qualitative study of features in industrial software product lines. In Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pages 16--25, New York, NY, USA, 2015. ACM.

Digital Library

[7]

D. Bruns, V. Klebanov, and I. Schaefer. Verification of software product lines with delta-oriented slicing. In Proceedings of the 2010 International Conference on Formal Verification of Object-oriented Software, FoVeOOS'10, pages 61--75, Berlin, Heidelberg, 2011. Springer-Verlag.

Digital Library

[8]

A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model checking lots of systems: Efficient verification of temporal properties in software product lines. In Proc. of the 32Nd ACM/IEEE International Conference on Software Engineering - Vol. 1, ICSE '10, pages 335--344, New York, NY, USA, 2010. ACM.

Digital Library

[9]

K. Czarnecki. WISE drive: Requirements analysis framework for automated driving systems. Technical report, Waterloo Intelligent Systems Engineering Lab (WISE), University of Waterloo, 07 2018. https://uwaterloo.ca/waterloo-intelligent-systems-engineering-lab/projects/wise-drive-requirements-analysis-framework-automated-driving.

[10]

S. Dobi, M. Gleirscher, M. Spichkova, and P. Struss. Model-based hazard and impact analysis. CoRR, abs/1512.02759, 2015.

[11]

A. Dokhanchi, S. Yaghoubi, B. Hoxha, G. Fainekos, G. Ernst, Z. Zhang, P. Arcaini, I. Hasuo, and S. Sedwards. ARCH-COMP18 category report: Results on the falsification benchmarks. In G.Frehse, editor, ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, volume 54 of EPiC Series in Computing, pages 104--109. EasyChair, 2018.

[12]

I. Hasuo. Metamathematics for systems design. New Generation Computing, 35(3):271--305, Jul 2017.

Digital Library

[13]

G. Holl, P. Grünbacher, and R. Rabiser. A systematic review and an expert survey on capabilities supporting multi product lines. Information and Software Technology, 54(8):828--852, 2012. Special Issue: Voice of the Editorial Board.

Digital Library

[14]

X. Jin, J. V. Deshmukh, J. Kapinski, K. Ueda, and K. Butts. Powertrain control verification benchmark. In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, HSCC '14, pages 253--262, New York, NY, USA, 2014. ACM.

Digital Library

[15]

J. Kapinski, J. V. Deshmukh, X. Jin, H. Ito, and K. Butts. Simulation-based approaches for verification of embedded control systems: An overview of traditional and advanced modeling, testing, and verification techniques. IEEE Control Systems Magazine, 36(6):45--64, Dec 2016.

[16]

C. Kolassa, H. Rendel, and B. Rumpe. Evaluation of variability concepts for simulink in the automotive domain. In 2015 48th Hawaii International Conference on System Sciences, pages 5373--5382, Jan 2015.

Digital Library

[17]

M. Lienhardt, F. Damiani, S. Donetti, and L. Paolini. Multi software product lines in the wild. In Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2018, pages 89--96, New York, NY, USA, 2018. ACM.

Digital Library

[18]

R. Matinnejad, S. Nejati, L. C. Briand, and T. Bruckmann. Automated test suite generation for time-continuous Simulink models. In Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pages 595--606, New York, NY, USA, 2016. ACM.

Digital Library

[19]

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake. A classification and survey of analysis strategies for software product lines. ACM Comput. Surv., 47(1):6:1--6:45, June 2014.

Digital Library

[20]

T. Thüm, I. Schaefer, S. Apel, and M. Hentschel. Family-based deductive verification of software product lines. In Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, pages 11--20, New York, NY, USA, 2012. ACM.

Digital Library

[21]

J. Weiland and P. Manhart. A classification of modeling variability in Simulink. In Proc. of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, pages 7:1--7:8, New York, NY, USA, 2013. ACM.

Digital Library

[22]

Z. Zhang, G. Ernst, S. Sedwards, P. Arcaini, and I. Hasuo. Two-layered falsification of hybrid systems guided by monte carlo tree search. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(11):2894--2905, Nov 2018.

Cited By

Trombetta VFelfernig AFuentes L(2022)BEEHIVEProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547064(17-22)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547064
Horcas JPinto MFuentes L(2022)Empirical analysis of the tool support for software product linesSoftware and Systems Modeling10.1007/s10270-022-01011-222:1(377-414)Online publication date: 8-Jun-2022
https://doi.org/10.1007/s10270-022-01011-2
Kenner AMay RKrüger JSaake GLeich TMousavi MSchobbens P(2021)Safety, security, and configurable software systemsProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A10.1145/3461001.3471147(148-159)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461001.3471147
Show More Cited By

Index Terms

Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation
2. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
        Software product lines

Recommendations

Stability analysis for safety of automotive multi-product lines: a search-based approach
GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference

Safety assurance for automotive products is crucial and challenging. It becomes even more difficult when the variability in automotive products is considered. Recently, the notion of automotive multi-product lines (multi-PL) is proposed as a unified ...
Bi-directional safety analysis of product lines

As product-line engineering becomes more widespread, more safety-critical software product lines are being built. This paper describes a structured method for performing safety analysis on a software product line, building on standard product-line ...
Model-based analysis of driver distraction by infotainment systems in automotive domain
EICS '17: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Nowadays cars are equipped with technologies that are getting more and more sophisticated. Due to this increase of such technologies, driver distractions have incredibly grown and they are more and more studied. In cognitive science, numerous studies ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

VaMoS '19: Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems

February 2019

116 pages

ISBN:9781450366489

DOI:10.1145/3302333

Conference Chair:
Danny Weyns,
Program Chairs:
Gilles Perrouin,
Danny Weyns

Copyright © 2019 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]

In-Cooperation

FWO: Fund for Scientific Research - Flanders (Belgium)
FNRS: Fonds National de la Recherche Scientifique

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 February 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Conference

VAMOS '19

VAMOS '19: 13th International Workshop on Variability Modelling of Software-Intensive Systems

February 6 - 8, 2019

Leuven, Belgium

Acceptance Rates

VaMoS '19 Paper Acceptance Rate 14 of 24 submissions, 58%;

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
233
Total Downloads

Downloads (Last 12 months)38
Downloads (Last 6 weeks)6

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Trombetta VFelfernig AFuentes L(2022)BEEHIVEProceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B10.1145/3503229.3547064(17-22)Online publication date: 12-Sep-2022
https://dl.acm.org/doi/10.1145/3503229.3547064
Horcas JPinto MFuentes L(2022)Empirical analysis of the tool support for software product linesSoftware and Systems Modeling10.1007/s10270-022-01011-222:1(377-414)Online publication date: 8-Jun-2022
https://doi.org/10.1007/s10270-022-01011-2
Kenner AMay RKrüger JSaake GLeich TMousavi MSchobbens P(2021)Safety, security, and configurable software systemsProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A10.1145/3461001.3471147(148-159)Online publication date: 6-Sep-2021
https://dl.acm.org/doi/10.1145/3461001.3471147
Lee NArcaini PAli SIshikawa FAuger AStützle T(2019)Stability analysis for safety of automotive multi-product linesProceedings of the Genetic and Evolutionary Computation Conference10.1145/3321707.3321755(1241-1249)Online publication date: 13-Jul-2019
https://dl.acm.org/doi/10.1145/3321707.3321755
Zhang XArcaini PIshikawa F(2019)Assessing the Relation Between Hazards and Variability in Automotive Systems2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)10.1109/ICECCS.2019.00028(190-199)Online publication date: Nov-2019
https://doi.org/10.1109/ICECCS.2019.00028

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

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

Media

Figures

Other

Tables

View Table of Contents