Control variant-rich models by variability measures

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages 29-38

  Mann, Stefan ^a   Rock, Georg ^b  

^a FRAUNHOFER FIRST   (Germany)

^b TRIER UNIVERSITY OF APPLIED SCIENCES   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE SOFTWARE; AUTOSAR; COMMUNICATION INTERFACE; DISTRIBUTED DEVELOPMENT; EMBEDDED CONTROL UNITS; MAIN TASKS; OPERATING SYSTEMS; PROCESS MODEL; PRODUCT LINE DEVELOPMENT; PRODUCT-LINES; PROJECT PLANS; SOFTWARE PARTS; VARIABILITY ANALYSIS; VARIABILITY MEASURES;

AUTOMOTIVE INDUSTRY; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; PRODUCT DEVELOPMENT;

SOFTWARE DESIGN;

EID: 79952846202     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1944892.1944896     Document Type: Conference Paper

References (17)

1. aXBench - AUTOSAR eXtensible Workbench. CASE tool prototype. Fraunhofer ISST Berlin, http://axbench.fraunhofer.isst.de/[2010-12-20], http://axbench.sourceforge.net/[2010-12-20].
2. v.control. CASE tool prototype. http://www.prostep.com/unserekompetenz/ forschungsprojekte/ebaso/?L=0 [2010-11-16], PROSTEP IMP GmbH; developed within the VEIA and EBASO research projects.
3. D. Batory: Feature models, grammars, and propositional formulas. In H. Obbink and K. Pohl (eds.): Proc. Software Product Line Conf. (SPLC 2005), LNCS 3714, pp. 7-20. Springer-Verlag, Sep 2005.
4. D. Benavides, S. Segura, and A. Ruiz Cortes: Automated analysis of feature models 20 years later: A literature review. Information Systems, 35(6), Sep 2010. http://dx.doi.org/10.1016/j.is.2010.01.001.
5. P. Clements and L. Northrop: Software Product Lines - Practices and Patterns. Addison-Wesley, 2002.
6. K. Czarnecki and A. Wasowski: Feature diagrams and logics: There and back again. In Proc. 11th Int. Software Product Line Conf. (SPLC 2007), pp. 23-34, Kyoto, Japan, Sep 10-14, 2007. ISBN 978-0-7695-2888-5.
7. E. Dincel, N. Medvidovic, and A. van der Hoek: Measuring product line architectures. In Proc. 4th Int. WS on Software Product-Family Engineering (PFE 2001), LNCS 2290, pp. 346-352. Springer-Verlag, 2001.
8. D. Fernandez-Amoros, R.H. Gil, and J.C. Somolinos: Inferring information from feature diagrams to product line economic models. In Proc. 13th Int. Software Product Line Conf. (SPLC 2009), San Francisco, USA, Aug 24-28, 2009. CMU, Pittsburgh, PA, USA.
9. M. Große-Rhode: Model maturity levels for embedded systems development, or: working with warnings. In S.v. Baelen, I. Ober, H. Espinoza, T. Weigert, I. Ober, and S. G-erard (eds.): Proc. of the 3rd Int. WS on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010), Oslo, Norway, Oct 4, 2010.
10. K.C. Kang, S.G. Cohen, J.A. Hess, W.E. Novak, and A.S. Peterson: Feature-oriented domain analysis (FODA) - feasibility study. Tech. Rep. CMU/SEI-90-TR-21, ADA235785, SEI, CMU, Pittsburgh, PA, Nov 1990.
11. S. Mann and G. Rock: Dealing with variability in architecture descriptions to support automotive product lines. In D. Benavides, A. Metzger, and U. Eisenecker (eds.): Proc. 3rd Int. WS on Variability Modeling of Software-intensive Systems (VAMOS 2009), ICB-Research Report No. 29, pp. 111-120, Sevilla, Spain, Jan 27-30, 2009. Institut fur Informatik und Wirtschaftsinformatik (ICB), Universitat Duisburg-Essen. ISSN 1860-2770 (Print); ISSN 1866-5101 (Online).
12. M. Mendonca, A. Wasowski, K. Czarnecki, and D. Cowan: Efficient compilation techniques for large scale feature models. In Proc. 7th Int. Conf. on Generative Programming and Component Engineering (GPCE 2008), pp. 13-22, Nashville, Tennessee, USA, Oct 19-23, 2008. ACM Press, ISBN 978-1-60558-267-2.
13. V. Misic: Measuring the coherence of software product line architectures. Tech. Rep. 06/03, Dep. of CS, University of Manitoba, Canada, Jun 2006.
14. G. Rock, F. Kliemannel, and S. Mann: Engineering and assessment of variant-rich embedded software. In Proc. embedded world Conf. 2010, Nurnberg, Deutschland, Mar 2-4, 2010. WEKA Fachmedien, ISBN 978-3-7723-1012-6.
15. G. Rock and S. Mann: Assessment of product line architecture descriptions in v.control. In I. Schieferdecker and S. Goericke (eds.): Software Quality Engineering - Proc. of the CONQUEST 2009, pp. 163-178. dpunkt.verlag, Sep 2009, ISBN 978-3-89864-637-6.
16. S. Segura: Automated analysis of feature models using atomic sets. In Proc. 1st WS on Analyses of Software Product Lines, Limerick, Ireland, Sep 12, 2008. co-located with SPLC 2008.
17. W. Zhang, H. Zhao, and H. Mei: A propositional logic-based method for verification of feature models. In Proc. 6th Int. Conf. on Formal Engineering Methods (ICFEM 2004), vol. 3308 of LNCS, Seattle, WA, USA, Nov 8-12, 2004. Springer, ISBN 3-540-23841-7.