IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Model checking
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Software product lines: practices and patterns
Software product lines: practices and patterns
SEI's Software Product Line Tenets
IEEE Software
vUML: a Tool for Verifying UML Models
vUML: a Tool for Verifying UML Models
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
Model-based testing for applications derived from software product lines
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Formal verification and software product lines
Communications of the ACM - Software product line
Modeling and Model Checking Software Product Lines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Managing Variability Complexity in Aspect-Oriented Modeling
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software product line testing - A systematic mapping study
Information and Software Technology
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
Efficient verification of evolving software product lines
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Our society is becoming increasingly dependent on embedded software, and its reliability becomes more and more important. Although we can utilize powerful scientific methods such as model checking techniques to develop reliable embedded software, it is expensive to apply these methods to consumer embedded software development. In this paper, we propose an application of model checking techniques for design verification in product line development (PLD). We introduce reusable verification models in which we define variation points, and we show how to define traceability among feature models, design models and verification models. The reuse of verification models in PLD not only enables the systematic design verification of each product but also reduces the cost of applying model checking techniques.