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.
- 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). Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- P. Clements and L. M. Northrop. Software Product Lines: Practices and Patterns. The SEI series in software engineering. Addison-Wesley, Boston, MA, USA, 2002.Google Scholar
- Eclipse-Foundation. Atl (ATLAS Transformation Language). http://www.eclipse.org/m2m/atl/.Google Scholar
- Eclipse-Foundation. EMF - Eclipse Modelling Framework. http://www.eclipse.org/modeling/emf/.Google Scholar
- Eclipse-Foundation. Epsilon. http://www.eclipse.org/gmt/epsilon/.Google Scholar
- Eclipse-Foundation. GMF - Graphical Modelling Framework. http://www.eclipse.org/modeling/gmf/.Google Scholar
- Eclipse-Foundation. Xtext - a programming language framework. http://www.eclipse.org/Xtext/.Google Scholar
- IBM-Corporation. IBM Rational DOORS. http://www-01.ibm.com/software/awdtools/doors/.Google Scholar
- D. L. Parnas. On the design and development of program families. IEEE Trans. Software Eng., 2(1):1--9, 1976. Google ScholarDigital Library
- K. Pohl, G. Boeckle, and F. van der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, New York, NY, 2005. Google ScholarCross Ref
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
Index Terms
- Experiences of applying model-based analysis to support the development of automotive software product lines
Recommendations
Incremental model-based testing of delta-oriented software product lines
TAP'12: Proceedings of the 6th international conference on Tests and ProofsSoftware product line (SPL) engineering provides a promising approach for developing variant-rich software systems. But, testing of every product variant in isolation to ensure its correctness is in general not feasible due to the large number of ...
Integrating Software Product Lines: A Study of Reuse versus Stability
COMPSAC '12: Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications ConferenceTo achieve large-scale reuse and accelerate time-to-market, integration of multiple software product lines (SPLs) is becoming a trend. The integration of independently-developed SPLs enables the derivation of new products on demand in a particular ...
Delta-oriented multi software product lines
SPLC '14: Proceedings of the 18th International Software Product Line Conference - Volume 1Modern software systems outgrow the scope of traditional software product lines (SPLs) resulting in multi software product lines (MSPLs) with many interconnected subsystem versions and variants. Delta-oriented programming (DOP) is a flexible, modular ...
Comments