Variability management in embedded product line analysis

Proceedings - 2nd International Conference on Advances in System Testing and Validation Lifecycle, VALID 2010

Volumn , Issue , 2010, Pages 69-74

  Belategi, Lorea ^a   Sagardui, Goiuria ^a   Etxeberria, Leire ^a  

^a MONDRAGON UNIVERSITY   (Spain)

Author keywords

Embedded software; MARTE; Model analysis; Software product lines; Variability management

Indexed keywords

HUMAN LIVES; MARTE; MODEL ANALYSIS; MODEL DRIVEN DEVELOPMENT; PRODUCT-LINES; SOFTWARE DEVELOPMENT; SOFTWARE PRODUCT LINE; SOFTWARE PRODUCTS; SOFTWARE VALIDATION; TIME-TO-MARKET; VALIDATION METHODS; VARIABILITY MANAGEMENT;

SOFTWARE DESIGN; SYSTEM THEORY;

EMBEDDED SOFTWARE;

EID: 78649896994     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VALID.2010.16     Document Type: Conference Paper

References (44)

1. L. Bass, P. Clements and R. Kazman, Software Architecture in Practice, Second Edition. Addison-Wesley Professional, 2003.
2. "UML profile for MARTE: Modeling and analysis of real-time embedded systems", formal/2009-11-02, 2009-11-02. 2009.
3. SEI - Carnegie Mellon, "A Framework for Software Product Line Practice, Version 5.0," (december, 2009).
4. C. Dziobek, J. Loew, W. Przystas and J. Weiland, "Model Diversity and Variability - Handling functional variants in Simulink models," Elektronik Automotive, vol. 2, 2008.
5. M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, 2006.
6. "IEEE Standard 1061-1992. IEEE standard for a software quality metrics," 1993.
7. "Software Architecture Glossary (SEI)" (jul, 2007).
8. K. Pohl, G. Böckle and F. J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005.
9. H. Le Dang, H. Dubois and S. Gérard, "Towards a traceability model in a MARTE-based methodology for real-time embedded systems," Innovations in Systems and Software Engineering, vol. 4, pp. 189-193, October, 2008.
10. K. Czarnecki, "Generative Programming: Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models," 1998.
11. K. Berg, J. Bishop and D. Muthig, "Tracing software product line variability: From problem to solution space," in SAICSIT '05: Proc. of the 2005 Annual Research Conf. of the South African Inst. of Comp. Scientists and Inf. Tech. on IT Research in Developing Countries, White River, South Africa, 2005, pp. 182-191.
12. J. Bosch, G. Florijn, D. Greefhorst, J. Kuusela, J. H. Obbink and K. Pohl, "Variability issues in software product lines," in PFE '01: 4th International Workshop on Software Product-Family Engineering, 2002, pp. 13-21.
13. K. Schmid and I. John, "A customizable approach to full lifecycle variability management," Sci. Comp. Prog., vol.53, pp.259-284, 2004.
14. K. Kang, S. Cohen, J. Hess, W. Novak and S. Peterson, "Feature-oriented domain analysis (FODA) feasibility study," SEI, 1990.
15. C. Schwanninger, I. Groher, C. Elsner and M. Lehofer, "Variability modelling throughout the product line lifecycle," in Model Driven Engineering Languages and Systems, 12th International Conference, Denver, CO, USA, 2009, pp. 685-689.
16. M. Sinnema and S. Deelstra, "Classifying variability modeling techniques," Inf. Softw. Technol., vol. 49, pp. 717-739, 2007.
17. S. Deelstra and M. Sinnema, "Managing the Complexity of Variability in Software Product Families," Thesis, sep, 2008.
18. K. C. Kang, S. Kim, J. Lee and K. A. Kim, "FORM: A feature-oriented reuse method with domain-specific reference," Ann. Softw. Eng., vol. 5, pp. 143-168, 1998.
19. K. C. Kang, J. Lee and P. Donohoe, "Feature-Oriented Product Line Engineering," IEEE Software, vol. 19, pp. 58-65, jul, 2002.
20. M. Griss, J. Favaro and M. d'Alessandro, "Integrating feature modeling with the RSEB," in 5th Int. Conf. on Software Reuse ICSR, 1998, pp. 76-85.
21. K. Czarnecki and U. Eisenecker, Generative Programming: Methods, Tools, and Applications. {Addison-Wesley Prof.}, 2000.
22. J. Van Gurp, J. Bosch and M. Svahnberg, "On the notion of variability in software product lines," in WICSA '01: Proc. of the Working IEEE/IFIP Conf. on Software Architecture, 2001, pp. 45.
23. M. Riebisch, D. Streitferdt and I. Pashov, "Modeling variability for object-oriented product lines," in Workshop Reader of Object-Oriented Technology at ECOOP 2003, 2003, pp. 165-178.
24. T. Asikainen, "Methods for modelling the variability in software product families," in 10th Software Product Lines Ineternational Conference - SPLC, Baltimore, MD, USA, 2006, pp. 23-30.
25. T. v. d. Maßen and H. Lichter, "RequiLine: A requirements engineering tool for software product lines," in 5th International Workshop on Product Family Engineering, PFE5, 2003.
26. K. Czarnecki, S. Helsen and U. W. Eisenecker, "Formalizing cardinality-based feature models and their specialization," Soft. Process: Improvement and Practice, vol. 10, pp. 7-29, 2005.
27. G. Halmans and K. Pohl, "Communicating the variability of a software-product family to customers," Informatik Forschung Und Entwicklung, vol. 18, pp. 113-31, 04, 2003.
28. L. Hotz, K. Wolter, T. Krebs, J. Nijhuis, M. Sinnema, S. Deelstra and J. MacGregor, "Configuration in Industrial Product Families - the Con IPF Methodology". AKA-Verlag, 2006.
29. D. Beuche, H. Papajewski and W. Schröder-Preikschat, "Variability management with feature models," Sci. Comput. Program., vol. 53, pp. 333-352, 2004.
30. C. W. Krueger, "Variation management for software production lines," in SPLC 2: Proc. of the Second Int. Conf. on Software Product Lines, San Diego, USA, 2002, pp. 37-48.
31. T. Asikainen, "Modeling Methods for Managing Variability of Configurable Software Product Families," vol. Licentiate Thesis of Science in Tech. at Helsinki University of Technology, 2004.
32. M. Becker, "Towards a general model of variability in product families," in Proc. of the 1st Workshop on Software Variability Management, Groninger, Netherlands, 2003.
33. H. Gomaa, "Designing Software Product Lines with UML: From use Cases to Pattern-Based Software Architectures". Redwood City, CA, USA: Addison Wesley Longman Publ. Co., Inc, 2004.
34. S. Thibault, R. Marlet and C. Consel, "Domain-Specific Languages: from Design to Implementation Application to Video Device Drivers Generation," IEEE Trans. Soft. Eng., vol. 25, pp. 363-377, 1999.
35. J. Tolvanen and S. Kelly, "Defining domain-specific modeling languages to automate product derivation: Collected experiences," in Proc. of the 9th Int. Conf. on Software Product Lines, SPLC 2005, pp. 198-209.
36. M. Mannion, "Using first-order logic for product line model validation," in SPLC 02: Proc. of the 2nd Int. Conf. on Software Product Lines, 2002, pp. 176-187.
37. S. Thiel and A. Hein, "Systematic integration of variability into product line architecture design," in SPLC 2: Proc. of the Second Int. Conf. on Software Product Lines, 2002, pp. 130-153.
38. X. F. Zha, S. J. Fenves and R. D. Sriram, "A feature-based approach to embedded system hardware and software co-design," in ASME DETC, 2005.
39. J. Shi, "Model and Tool Integration in High Level Design of Embedded Systems," Thesis, 2007.
40. A. Albinet, S. Begoc, J. Boulanger, O. Casse, I. Dal, H. Dubois, F. Lakhal, D. Louar, M. Peraldi-Frati, Y. Sorel and Q. Van. "The MeMVaTEx methodology: From requirements to models in automotive application design", 4th European Congress Embedded Real Time Software - ERTS'08.
41. R. Tawhid and D. Petriu, "Integrating performance analysis in the model driven development of software product lines," in 11th Int. Conf. on Model Driven Engineering Languages and Systems, MoDELS 2008, pp. 490-504.
42. H. Espinoza. "An integrated model-driven framework for specifying and analyzing non-functional properties of real-time systems". DRT/LIST/DTSI/SOL/07-265/HE.
43. L. Chen, M. A. Babar and N. Ali, "Variability management in software product lines: A systematic review," in SPLC: 13th Int. Soft. Product Line Conf., San Francisco, CA, USA, 2009.
44. L. Chen, M. Ali Babar and C. Cawley, "A survey of evaluation of variability management approaches," Ireland, 2009.