Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Fantechi A., Gnesi S. Challenges in modelling and analyzing quantitative aspects of bike-sharing systems. In: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium (Corfu, Greece, 8-11 October 2014). Proceedings, vol. I pp. 351 - 367. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 8802). Springer, 2014.
Bike-sharing systems are becoming popular not only as a sustainable means of transportation in the urban environment, but also as a challenging case study that presents interesting run-time optimization problems. As a side-study within a research project aimed at quantitative analysis that used such a case study, we have observed how the deployed systems enjoy a wide variety of different features. We have therefore applied variability analysis to define a family of bike-sharing systems, and we have sought support in available tools. We have so established a tool chain that includes (academic) tools that provide different functionalities regarding the analysis of software product lines, 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 is currently experimented inside the mentioned project as a complement to more sophisticated product-based analysis techniques.
URL: http://link.springer.com/chapter/10.1007%2F978-3-662-45234-9_25
DOI: 10.1007/978-3-662-45234-9_25
Subject Bike-sharing systems
Tool chain
Variability analysis
Product Families
Model checking
Modal Transition Systems
Modal temporal logic
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

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