http://www.cnr.it/ontology/cnr/individuo/prodotto/ID285212

A collection of models of a bike-sharing case study. (Rapporti tecnici/preprint/working paper)

Type

Label

A collection of models of a bike-sharing case study. (Rapporti tecnici/preprint/working paper) (literal)

Anno

Alternative label

Ter Beek M. H., Fantechi A., Gnesi S., Mazzanti F. (2014)
A collection of models of a bike-sharing case study.
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; (literal)

Titolo

Abstract

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. (literal)

Prodotto di

Autore CNR

Insieme di parole chiave

Autore CNR di

Prodotto

Insieme di parole chiave di

data.CNR.it