Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Latella D., Massink M. Towards automatic decision support for bike-sharing system design. Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.). (Lecture Notes in Computer Science, vol. 9509). York, UK: Springer, 2015.
Public bike-sharing systems are a popular means of sustainable urban mobility, but their successful introduction in a city stands or falls with their specific designs. What kind of bikes and docking stations are needed, how many and where to install them? How to avoid as much as possible that stations are completely empty or full for some period? Hence, a bike-sharing system can be seen both as a highly (re)configurable system and as a collective adaptive system. In this paper, we present two complementary strategies for the evaluation of bike-sharing system designs by means of automated tool support. We use the Clafer toolset to perform multi-objective optimisation of attributed feature models known from software product line engineering and the recently developed mean field model checker FlyFast to assess performance and user satisfaction aspects of variants of large-scale bike-sharing systems. The combined use of these analysis approaches is a preliminary step in the direction of automatic decision support for the initial design of a bike-sharing system as well as its successive adaptations and reconfigurations that considers both qualitative and performance aspects.
URL: http://link.springer.com/chapter/10.1007%2F978-3-662-49224-6_22
DOI: 10.1007/978-3-662-49224-6_22
Subject Variability analysis
Mean field model checking
Bike-sharing systems
Multi-objective optimisation
Probabilistic temporal logic
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking

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