Model checking of domain artifacts in product line engineering

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 269-280

  Lauenroth, Kim ^a   Pohl, Klaus ^a   Töhning, Simon ^a  

^a UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

Domain artifact verification; Model checking; Product line engineering; Variability

Indexed keywords

EXTENDED MODEL; PRODUCT LINE ENGINEERING; PRODUCT-LINES; SYSTEM DEVELOPMENT; VALIDATION RESULTS; VERIFICATION MODEL; WELL-ESTABLISHED TECHNIQUES;

COMPUTER SOFTWARE; ENGINEERING; PRODUCTION ENGINEERING;

MODEL CHECKING;

EID: 77952187768     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.16     Document Type: Conference Paper

References (28)

1. Atlee, J.; Gannon, J.: State-Based Model Checking of Event-Driven System Requirements. In: IEEE TSE, Vol.19, No.1, 1993, pp. 24-40.
2. Behrmann, G.; David, A.; Larsen, K.: A Tutorial on Uppaal- In Proc. of the SFM-RT'04, LNCS 3185, 2004.
3. Cimatti, A.; Clarke, E.M.; Giunchiglia, E.; Giunchiglia, F.; Pistore, M.; Roveri, M.; Sebastiani, R.; Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In Proc. of CAV02, 2002.
4. Brunns, G.; Godefroid, P.: Model Checking Partial State Spaces with 3-Valued Temporal Logics. In Proc. of CAV'99, 1999, pp. 274-287.
5. Clarke, E.; Emerson, A.; Sistla, P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM TOPLAS, Vol.8, No.2, 1986, pp. 244-263. (Pubitemid 16633197)
6. Clarke, E.; Grumberg, O.; Peled, D.: Model Checking. The MIT Press, 1999.
7. Classen A.; Heymans P.; Tun T.T.; Nuseibeh, B.: Towards Safer Composition. In Proc. of ICSE09, 2009.
8. Czarnecki, K.; Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In Proceedings of GPCE'06, 2006, pp. 211-220.
9. Delaware B.; Cook, W.R.; Batory D.: Fitting the pieces together: A Machine-Checked Model of Safe Composition. In Proc. of ESEC-FSE '9, 2009.
10. Emerson, E.; Kahlon, V.: Parameterized Model Checking of Ring-Based Message Passing Systems. In: Computer Science Logic, 2004, pp. 325-339.
11. Emerson, E.; Trefler, R.; Wahl, T: Reducing Model Checking of the Few to the One. In Proc. of ICFEM'06, 2006.
12. Grumberg, O.; Veith, H.: 25 Years of Model Checking. LNCS Vol. 5000, Springer, 2008.
13. Gruler, A.; Leucker, M.; Scheidemann, K.: Modeling and Model Checking Software Product Lines. Proc. of FMOODS '08, 2008, pp.113-131.
14. Kästner, C.; Apel, S.: Type-checking Software Product Lines - a Formal Approach. In Proc. of ASE08 , 2008, pp. 258-267.
15. Kishi, T. and Noda, N. 2006. Formal verification and software product lines. Communications of the ACM, Vol.49, No.12, 2006, pp. 73-77.
16. Kishi, T., Noda, N., and Katayama, T. Design verification for product line development. In Proc. of SPLC'05, 2005.
17. Larsen, K.; Nyman, U.; Wa̧sowski, A.: Modal I/O Automata for Interface and Product Line Theories. In Proc. of ESOP, 2007, pp. 64-79.
18. Lauenroth, K.; Pohl, K.: Dynamic Consistency Checking of Domain Requirements in Product Line Engineering. In Proc. of RE08, 2008, pp. 193-202.
19. Lauenroth, K.; Pohl, K.: Towards Automated Consistency Checks of Product Line Requirements Specifications. In Proc. of ASE07, 2007, pp. 373-376.
20. Lauenroth, K.: Konsistenzprüfung von Domä nenanforderungsspezifikationen. Phd Thesis (in german). Logos-Verlag, Berlin, 2009.
21. Liu, J.; Basu, S.; Lutz, R.: Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines. Technical Report 08-104, Iowa State University, 2008.
22. Liu, J.; Dehlinger, R.; Lutz, R.: Safety analysis of software product lines using state-based modelling. The Journal of Systems and Software, 80:1879-1892, 2007.
23. Lynch, M.; Tuttle, M.: An Introduction to Input/Output Automata. CWI Quaterly, Vol.2, No.3, 1989, pp. 219-246.
24. Metzger, A.; Heymans, P.; Pohl, K.; Schobbens, P.-Y.; Saval, G.: Disambiguating the Documentation of Variability in Software Product Lines. In Proc. of RE'07, 2007, pp. 243-253.
25. Pohl, K.; Böckle, G.; van der Linden, F.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg, 2005.
26. Savolainen, J.; Kuusela, J.: Consistency Management of Product Line Requirements. In Proceedings of RE01, 2001.
27. Tarjan, R.: Depth First Search Linear Graph Algorithms. SIAM Journal of Computing. Vol.1, No.2, 1972, pp. 146-160.
28. th international conference on Generative Programming and Componenten Engineering, 2007, pp. 95-104.