Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

Context: Software product line engineering has proven to be an efficient paradigm to
developing families of similar software systems at lower costs, in shorter time, and with …

In product line engineering, systems are developed in families and differences between
family members are expressed in terms of features. Formal modelling and verification is an …

The premise of variability-intensive systems, specifically in software product line
engineering, is the ability to produce a large family of different systems efficiently. Many such …

We study the problem of model checking software product line (SPL) behaviours against
temporal properties. This is more difficult than for single systems because an SPL with n …

In product line engineering individual products are derived from the domain artifacts of the
product line. The reuse of the domain artifacts is constraint by the product line variability …

We present SNIP, an efficient model checker for software product lines (SPLs). Variability in
software product lines is generally expressed in terms of features, and the number of …

The goal is to survey dependability modeling and analysis of software and systems specified
with UML, with focus on reliability, availability, maintainability, and safety (RAMS). From the …

This paper presents our effort of using model-driven engineering to establish a safety-
assured implementation of Patient-Controlled Analgesic (PCA) infusion pump software …

During the last two decades, a major challenge for the researchers working on modeling
and evaluation of computer-based systems has been the assessment of system Non …