PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A. Topologically configurable systems as product families. In: SPLC 2013 - 17th International Software Product Line Conference (Tokyo, Japan, 26 - 30 August 2013). Proceedings, pp. 151 - 156. ACM, 2013.
 
 
Abstract
(English)
Railway interlocking systems are used as a case study to investigate about topological variability, that is, when prod- ucts of a family differ for the multiplicity of deployed features and especially for their connections. In the case of railway interlocking systems, each deployed system is configured on the basis of a description of the track layout the system is going to control: the configuration parameter is indeed a graph that reflects the topology of the track layout. One key aspect of this kind of systems is safety: the strict adherence to safety regulations makes configuration of these systems a critical issues, with specific impacts on the choice of variability model adopted. We review from a product line engineering perspective the different ways that are used in practice to encode this kind of variability and we discuss the main advantages, especially from the point of view of safety certification, that may be obtained by means of a product line approach. We conclude that indeed several research issues are still to be investigated in the particular case of interlocking systems, and we end by asking whether any other complex system may benefit from such results as well.
URL: http://dl.acm.org/citation.cfm?doid=2491627.2491643
DOI: 10.1145/2491627.2491643
Subject Topological variability
Product lines
D.2.4 SOFTWARE ENGINEERING. Formal methods


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