Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Fantechi A., Gnesi S., Mazzanti F. A collection of models of a bike-sharing case study. QUANTICOL TR-QC-07-2014. Technical report, 2014.
Bike-sharing systems are gaining popularity not only as a sustainable means of smart transportation in urban environments, but also as a challenging case study that offers interesting run-time optimization problems. As a case study within Quanticol, we have observed how such systems possess a wide variety of different features. We have therefore applied variability analysis to define a family of bike-sharing systems, covering the specification of a discrete feature model, specification of several non-functional quantitative properties, and behavioural specifications. Subsequently, we have sought support in available tools, establishing a tool chain of (academic) tools each covering a different aspect of the system, from feature modelling to product derivation and from quantitative evaluation of the attributes of products to model checking value-passing modal specifications. The tool chain was experimented to complement more sophisticated product-based analyses. This technical report collects the complete specifications of the models that were used in the tool chain.
URL: http://milner.inf.ed.ac.uk/wiki/files/y0R2Q6q/TRQC072014pdf.html
Subject Bike-sharing systems
Tool chain
Variability analysis
Product Families
Model checking
D.2.1 Requirements/Specifications. Tools
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.2.4 Software/Program Verification. Validation
D.2.13 Reusable Software. Domain engineering
I.6.4 Model Validation and Analysis

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional