Optimizing the selection of representative configurations in verification of evolving product lines of distributed embedded systems

Proceedings - 10th International Software Product Line Conference, SPLC 2006

Volumn , Issue , 2006, Pages 75-84

  Scheidemann, Kathrin D ^a  

^a BMW Car IT GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE INDUSTRY; COMPUTER SCIENCE; OPTIMIZATION; QUALITY ASSURANCE; VERIFICATION;

DISTRIBUTED EMBEDDED SYSTEMS; PRODUCT FAMILIES; VEHICLE CONTROL SYSTEMS;

EMBEDDED SYSTEMS;

EID: 34547333711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. F. Bachmann, M. Goedicke, J. Leite, K. Pohl, B. Ramesh, and A. Vilbig. Managing variability in product family development. Proceedings of the 5th International Workshop on Product Family Engineering PFE-5, 2003.
2. A. Bertolino and S. Gnesi. Pluto: A test methodology for product families. PFE 2003, LNCS 3014:181-197, 2003.
3. G. Boeckle, P.Knauber, K. Pohl, and K. Schmid. Software-produktlinien, methoden, einfhrung und praxis. 2004.
4. G. Bruns and P. Godefroid. Model checking partial state spaces with 3-valued temporal logics. In Computer Aided Verification, pages 274-287, 1999.
5. T. H. Cormen, C. Leiserson, R. Rivest, and C. Stein. Introduction to Algorithms. MIT Press, 2001.
6. U. Feige. A threshold of In n for approximation set cover. Journal of the ACM, 45(4):634-652, 1998.
7. F. Huber, B. Schätz, and G. Einert. Consistent graphical specification of distributed systems. In FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313, pages 122-141. Springer-Verlag, 1997.
8. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-oriented domain analysis (foda) feasabiliy study. 1990.
9. S. Khuller, A. Moss, and J. Naor. The budgeted maximum coverage problem. Inf Proc Let, 70(1):39-45, 1999.
10. S. Kirkpatrik, C. D. Gelatt, and M. P. Vecchi. Optimization by simulated annealing. Science 220, 1983.
11. T. Kishi, N. Noda, and T. Katayama. Design verification for product line development. Software Product Lines International Conference, SPLC2005, pages 150-161, 2005.
12. C. Nebut, F. Fleurey, Y. L. Traon, and J.-M. Jzquel. A requirement-based approach to test product families. Proceedings of the 5th Intl. Worhhop on Product Family Engineering (PFE-5), 2003.
13. J. Offutt, J. Pan, and J. Voas. Procedures for reducing the size of coverage-based test sets, 1995.
14. V. V. Vazirani. Approximation Algorithms. Springer, 2003.
15. D. Wild, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, and S. Rittmann. An architecture-centric approach towards the construction of dependable automotive software. SAE Technical Paper Series, 2006.