Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Software product lines: practices and patterns
Software product lines: practices and patterns
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Proceedings of the 3rd international conference on Aspect-oriented software development
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Capturing quality requirements of product family architecture
Information and Software Technology
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Evaluation of Quality Attribute Variability in Software Product Families
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Quality Assessment in Software Product Lines
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Integrating Performance Analysis in the Model Driven Development of Software Product Lines
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Measuring Non-Functional Properties in Software Product Line for Product Derivation
APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
Towards Tool Support for the Configuration of Non-Functional Properties in SPLs
HICSS '09 Proceedings of the 42nd Hawaii International Conference on System Sciences
PRISM: probabilistic model checking for performance and reliability analysis
ACM SIGMETRICS Performance Evaluation Review
Integrating Quality Modeling with Feature Modeling in Software Product Lines
ICSEA '09 Proceedings of the 2009 Fourth International Conference on Software Engineering Advances
Model Checking of Domain Artifacts in Product Line Engineering
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Gathering current knowledge about quality evaluation in software product lines
Proceedings of the 13th International Software Product Line Conference
Quality prediction and assessment for product lines
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Knowledge based quality-driven architecture design and evaluation
Information and Software Technology
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Software Quality Prediction Models Compared
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
Approaching Non-functional Properties of Software Product Lines: Learning from Products
APSEC '10 Proceedings of the 2010 Asia Pacific Software Engineering Conference
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Scalable Prediction of Non-functional Properties in Software Product Lines
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Symbolic and parametric model checking of discrete-time markov chains
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
PARAM: a model checker for parametric markov models
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Incrementally synthesizing controllers from scenario-based product line specifications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Family-based performance measurement
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Hi-index | 0.00 |
Evaluating quality attributes of a design model in the early stages of development can significantly reduce the cost and risks of developing a low quality product. To make this possible, software designers should be able to predict quality attributes by reasoning on a model of the system under development. Although there exists a variety of quality-driven analysis techniques for software systems, only a few work address software product lines. This paper describes how probabilistic model checking techniques and tools can be used to verify non-functional properties of different configurations of a software product line. We propose a model-based approach that enables software engineers to assess their design solutions for software product lines in the early stages of development. Furthermore, we discuss how the analysis time can be surprisingly reduced by applying parametric model checking instead of classic model checking. The results show that the parametric approach is able to substantially alleviate the verification time and effort required to analyze non-functional properties of software product lines.