eprintid: 3492
rev_number: 8
eprint_status: archive
userid: 69
dir: disk0/00/00/34/92
datestamp: 2016-05-26 10:39:24
lastmod: 2016-05-26 10:39:24
status_changed: 2016-05-26 10:39:24
type: conference_item
metadata_visibility: show
creators_name: ter Beek, Maurice H.
creators_name: Legay, Axel
creators_name: Lluch Lafuente, Alberto
creators_name: Vandin, Andrea
creators_id: maurice.terbeek@isti.cnr.it
creators_id: 
creators_id: 
creators_id: andrea.vandin@imtlucca.it
title: Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
pres_type: paper
abstract: 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
date: 2015
date_type: published
pagerange: 56-70
event_title: 6th Workshop on Formal Methods and Analysis in SPL Engineering
event_location: London, UK
event_dates: April 11, 2015
event_type: workshop
id_number: 10.4204/EPTCS.182.5
refereed: TRUE
issn: 2075-2180
book_title: Proceedings 6th Workshop on  Formal Methods and Analysis in SPL Engineering
official_url: http://arxiv.org/html/1504.03014v1
citation:   ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea  Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking.  In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180.       (2015)  
document_url: http://eprints.imtlucca.it/3492/1/FMSPLE%20%281%29.pdf