skip to main content
10.1145/1944892.1944910acmotherconferencesArticle/Chapter ViewAbstractPublication PagesvamosConference Proceedingsconference-collections
research-article

Experiences of applying model-based analysis to support the development of automotive software product lines

Published: 27 January 2011 Publication History

Abstract

In embedded systems in general and in automotive systems in particular the systematic reuse of existing assets is crucial. Moreover, companies in these domains often offer whole families of similar products. Hence, the application of product line engineering seems to be an obvious option.
However, current products have reached a complexity level where management of products within a product line cannot be handled with current techniques and tools (e.g. Matlab/Simulink) alone. To sustain an efficient engineering process and to reach the required quality levels of the products, additional techniques are required.
In this paper we report on a prototypical framework for the analysis of embedded systems product lines. The techniques and tools offered by the framework were developed to support engineers in typical tasks, which occur during design, implementation, and maintenance of embedded software product lines. The techniques allow to analyse product line artefacts by transforming them into models, which are then used in an analysis process based on model transformation languages.

References

[1]
A. Agrawal, G. Simon, and G. Karsai. Semantic translation of simulink/stateflow models to hybrid automata using graph transformations. Electronic Notes in Theoretical Computer Science, 109:43--56, 2004. Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2004).
[2]
K. Alhawash, T. Ceylan, T. Eckardt, M. Fazal-Baqaie, J. Greenyer, C. Heinzemann, S. Henkler, R. Ristov, D. Travkin, and C. Yalcin. The Fujaba automotive tool suite. In Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008.
[3]
M. Biehl, C. DeJiu, and M. Törngren. Integrating safety analysis into the model-based development toolchain of automotive embedded systems. In LCTES 2010, pages 125--132, New York, NY, USA, 2010. ACM.
[4]
G. Botterweck, A. Polzer, and S. Kowalewski. Interactive configuration of embedded systems product lines. In International Workshop on Model-driven Approaches in Software Product Line Engineering(MAPLE 2009) collocated with SPLC 2009, volume 557, pages 29--35, San Francisco, California, USA, August 2009. CEUR Workshop Proceedings. ISSN 1613--0073.
[5]
G. Botterweck, A. Polzer, and S. Kowalewski. Using higher-order transformations to derive variability mechanism for embedded systems. In 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2009), Workshop at MoDELS 2009, Denver, Colorado, USA, September 2009.
[6]
P. Clements and L. M. Northrop. Software Product Lines: Practices and Patterns. The SEI series in software engineering. Addison-Wesley, Boston, MA, USA, 2002.
[7]
Eclipse-Foundation. Atl (ATLAS Transformation Language). http://www.eclipse.org/m2m/atl/.
[8]
Eclipse-Foundation. EMF - Eclipse Modelling Framework. http://www.eclipse.org/modeling/emf/.
[9]
Eclipse-Foundation. Epsilon. http://www.eclipse.org/gmt/epsilon/.
[10]
Eclipse-Foundation. GMF - Graphical Modelling Framework. http://www.eclipse.org/modeling/gmf/.
[11]
Eclipse-Foundation. Xtext - a programming language framework. http://www.eclipse.org/Xtext/.
[12]
IBM-Corporation. IBM Rational DOORS. http://www-01.ibm.com/software/awdtools/doors/.
[13]
D. L. Parnas. On the design and development of program families. IEEE Trans. Software Eng., 2(1):1--9, 1976.
[14]
K. Pohl, G. Boeckle, and F. van der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, New York, NY, 2005.
[15]
A. Polzer, S. Kowalewski, and G. Botterweck. Applying software product line techniques in model-based embedded systems engineering. In Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009), Workshop at ICSE 2009, pages 2--10. IEEE Computer Societ, May 2009.
[16]
A. Polzer, D. Merschen, J. Thomas, B. Hedenetz, G. Botterweck, and S. Kowalewski. View-supported rollout and evolution of model-based ecu applications. In 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010) collocated with ASE 2010, pages 37--44, Antwerp, Belgium, September 2010.

Cited By

View all
  • (2022)Managed Evolution of Automotive Software Product Line Architectures: A Systematic Literature StudyElectronics10.3390/electronics1112186011:12(1860)Online publication date: 13-Jun-2022
  • (2019)Reengineering Variants of MATLAB/Simulink Software SystemsSecurity and Quality in Cyber-Physical Systems Engineering10.1007/978-3-030-25312-7_10(267-301)Online publication date: 10-Nov-2019
  • (2018)Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME.2018.00026(160-171)Online publication date: Sep-2018
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
VaMoS '11: Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive Systems
January 2011
174 pages
ISBN:9781450305709
DOI:10.1145/1944892
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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 January 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Matlab
  2. Simulink
  3. eclipse modeling framework
  4. embedded systems

Qualifiers

  • Research-article

Funding Sources

Conference

VaMoS '11

Acceptance Rates

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)0
Reflects downloads up to 23 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Managed Evolution of Automotive Software Product Line Architectures: A Systematic Literature StudyElectronics10.3390/electronics1112186011:12(1860)Online publication date: 13-Jun-2022
  • (2019)Reengineering Variants of MATLAB/Simulink Software SystemsSecurity and Quality in Cyber-Physical Systems Engineering10.1007/978-3-030-25312-7_10(267-301)Online publication date: 10-Nov-2019
  • (2018)Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME.2018.00026(160-171)Online publication date: Sep-2018
  • (2014)Feature location for software product line migrationProceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 210.1145/2647908.2655967(52-59)Online publication date: 15-Sep-2014
  • (2014)An Integrated Analysis and Testing Methodology to Support Model-Based Quality AssuranceSoftware Quality. Model-Based Approaches for Advanced Software and Systems Engineering10.1007/978-3-319-03602-1_9(135-154)Online publication date: 2014
  • (2013)Analysis and testing of matlab simulink models: a systematic mapping studyProceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation10.1145/2489280.2489285(29-34)Online publication date: 15-Jul-2013
  • (2013)Analysis of Simulink Models Using Databases and Model TransformationsModel-Based Methodologies for Pervasive and Embedded Software10.1007/978-3-642-38209-3_5(69-84)Online publication date: 2013
  • (2012)Integration and Analysis of Design Artefacts in Embedded Software DevelopmentProceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops10.1109/COMPSACW.2012.94(503-508)Online publication date: 16-Jul-2012
  • (2012)Managing complexity and variability of a model-based embedded software product lineInnovations in Systems and Software Engineering10.1007/s11334-011-0174-z8:1(35-49)Online publication date: 1-Mar-2012

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media