<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking"^^ . "We investigate the suitability of statistical model checking techniques for analysing quantitative prop-erties of software product line models with probabilistic aspects. For this purpose, we enrich thefeature-oriented language FLANwith action rates, which specify the likelihood of exhibiting par-ticular behaviour or of installing features at a specific moment or in a specific order. The enrichedlanguage (called PFLAN) allows us to specify models of software product lines with probabilis-tic configurations and behaviour, e.g. by considering a PFLANsemantics based on discrete-timeMarkov chains. The Maude implementation of PFLANis combined with the distributed statisticalmodel checker MultiVeStA to perform quantitative analyses of a simple product line case study. Thepresented analyses include the likelihood of certain behaviour of interest (e.g. product malfunction-ing) and the expected average cost of products"^^ . "2015" . . . . . . . . . . . . . . . . . "Alberto"^^ . "Lluch Lafuente"^^ . "Alberto Lluch Lafuente"^^ . . "Maurice H."^^ . "ter Beek"^^ . "Maurice H. ter Beek"^^ . . "Axel"^^ . "Legay"^^ . "Axel Legay"^^ . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . . . "6th Workshop on Formal Methods and Analysis in SPL Engineering"^^ . . . . . "London, UK"^^ . . . . . . "Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking (PDF)"^^ . . . . . . "FMSPLE (1).pdf"^^ . . . "Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #3492 \n\nQuantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .