research-article

Topologically configurable systems as product families

Author:

Alessandro FantechiAuthors Info & Claims

SPLC '13: Proceedings of the 17th International Software Product Line Conference

Pages 151 - 156

https://doi.org/10.1145/2491627.2491643

Published: 26 August 2013 Publication History

Abstract

We address a category of systems whose deployment requires a configuration according to topological information. Although inspired by the case of railway interlocking systems, we give a general definition of topologically configurable control systems. We consider the application of product line engineering principles to the development of these systems, by discussing the adoption of different approaches to achieve a flexible configuration of products, able to factorise most of the design effort, as typical in a product line approach.

Verifying the behaviour of such systems, either by testing or by formal verification is actually a challenge: the intricate relations between the actual topology controlled by a product and its functional requirements may prevent any attempt to factorise analysis activities. We will discuss how the application of product line engineering principles can help, with special focus on formal verification, pointing to several open research issues.

References

[1]

A. Antonik, M. Huth, K. G. Larsen, U. Nyman, and A. Wąsowski. 20 Years of Modal and Mixed Specifications. Bulletin of the EATCS 95 (2008), 94--129.

[2]

P. Asirelli, M. H. ter Beek, A. Fantechi, and S. Gnesi. Formal Description of Variability in Product Families. In Proc. SPLC'11. IEEE, 2011, 130--139.

Digital Library

[3]

M. Banci, A. Fantechi, Instantiating Generic Charts for Railway Interlocking Systems. Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), Lisbon, Portugal, 5-6 September 2005

Digital Library

[4]

C. Blundell, K. Fisler, S. Krishnamurthi, P. Van Hentenryck, Verification of Product Lines, ASE 2004.

[5]

A. Classen, P. Heymans, P.-Y. Schobbens, A. Legay, and J.-F. Raskin. Model checking lots of systems: Efficient verification of temporal properties in software product lines. In: Proc. ICSE 2010, 335--344. ACM.

Digital Library

[6]

P. Clements and L. Northrop, Software Product Lines: Practices and Patterns: SEI Series in Software Engineering, Addison-Wesley, 2001.

Digital Library

[7]

A. Fantechi, Distributing the Challenge of Model Checking Interlocking Control Tables. ISoLA 2012, Lecture Notes in Computer Science 7610, 276--289

Digital Library

[8]

A. Ferrari, G. Magnani, D. Grasso, A. Fantechi, (2010) Model checking interlocking control tables. Proc. 8th FORMS/FORMAT symposium (pp. 98--107).

[9]

D. Fischbein, S. Uchitel, and V. A. Braberman. A Foundation for Behavioural Conformance in Software Product Line Architectures. In Proc. ROSATEA'06, ACM, 2006, 39--48.

Digital Library

[10]

G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, Configuring Large Systems Using Generative Constraint Satisfaction, IEEE Intelligent Systems, vol. 13(4), pp. 59--68, 1998.

Digital Library

[11]

W. Fokkink, P., Hollingshead, Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. 3rd FMICS Workshop (1998) 171--185.

[12]

B. Fringuelli, E. Lamma, P. Mello, G. Santocchia. Knowledge-Based Technology for Controlling Railway Stations. IEEE Intelligent Systems, Vol. 7, 6, 45--52, Dec. 1992.

Digital Library

[13]

A. E. Haxthausen, M. Le Bliguet, A. A. Kjær, Modelling and Verification of Relay Interlocking Systems, 15th Monterey Workshop, Budapest, Hungary, September 24-26, 2008, Lecture Notes in Computer Science 6028

Digital Library

[14]

D. Jackson, Software Abstractions: Logic, Language, and Analysis: The MIT Press, 2006.

Digital Library

[15]

K. Kang, S. Choen, J. Hess, W. Novak, and S. Peterson. Feature Oriented Domain Analysis (FODA) Feasibility Study. Technical Report SEI-90-TR-21. Carnegie Mellon University, 1990.

[16]

C. H. P. Kim, K. Czarnecki. Synchronizing Cardinality-Based Feature Models and Their Specializations, ECMDA-FA 2005, Lecture Notes in Computer Science 3748, pp. 331--348.

Digital Library

[17]

B. Jung. Die Methode und Werkzeuge GRACE. In Formale Techniken für die Eisenbahn-sicherung (FORMS'00), Fortschritt-Berichte VDI, Reihe 12, Nr. 441. VDI Verlag, 2000.

[18]

K. G. Larsen, U. Nyman, and A. Wąsowski. Modal I/O Automata for Interface and Product Line Theories. In Proc. ESOP'07, Lecture Notes in Computer Science 4421, Springer, 2007, 64--79.

Digital Library

[19]

T. Nelson, C. Barratt, D. J. Dougherty, K. Fisler, S. Krishnamurthi, The Margrave Tool for Firewall Analysis, USENIX Large Installation System Administration Conference, 2010

Digital Library

[20]

K. Pohl, G. Bžckle, and F. van der Linden, Software Product Line Engineering: Foundations, Principles, and Techniques: Springer, 2005.

Digital Library

[21]

A. Svendsen, O. Haugen, B. Moller-Pedersen et al. Developing a Software Product Line for Train Control: A Case Study of CVL. SPLC 2010.

Digital Library

[22]

D. Tombs, N. Robinson, G., Nikandros, Signalling Control Table Generation and Verification. Proc. of the 2002 Conference on Railway Engineering (CORE2002).

[23]

T. Thüm, S. Apel, C. Kästner, M. Kuhlemann, I. Schaefer, and G. Saake. Analysis Strategies for Software Product Lines. Technical Report FIN-004-2012, University of Magdeburg, 2012.

[24]

K. Winter, Model Checking Railway Interlocking Systems. Proceedings of the 25th Australasian conference on Computer science 4 (2002) 303--310.

Digital Library

Cited By

Berger TSteghöfer JZiadi TRobin JMartinez J(2020)The state of adoption and the challenges of systematic variability management in industryEmpirical Software Engineering10.1007/s10664-019-09787-6Online publication date: 4-Apr-2020
https://doi.org/10.1007/s10664-019-09787-6
Fang MLeyh GDoerr JElsner CZhao JSchmidt D(2015)Towards model-based derivation of systems in the industrial automation domainProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791075(283-292)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791075
Dhungana DFalkner AHaselböck ASchreiner HSchmidt D(2015)Smart factory product linesProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791066(201-210)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791066
Show More Cited By

Index Terms

Topologically configurable systems as product families
1. Software and its engineering
2. Theory of computation
  1. Logic
    1. Verification by model checking

Recommendations

Towards systematic ensuring well-formedness of software product lines
FOSD '09: Proceedings of the First International Workshop on Feature-Oriented Software Development

Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concrete product based on a given variant configuration, a mapping between ...
Product families and process families
ISPW '96: Proceedings of the 10th International Software Process Workshop

Product lines or families represent an important way of organizing software products. Product families might include, for example, successive revisions of a single application, versions of an application for different host platforms, or versions with ...
Towards complex product line variability modelling: Mining relationships from non-boolean descriptions
Highlights
- Semi-automated extraction of complex variability information.
- Logical semantics ...
Abstract
Software product line engineering relies on systematic reuse and mass customisation to reduce the development time and cost of a software system family. The extractive adoption of a product line requires to extract variability ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SPLC '13: Proceedings of the 17th International Software Product Line Conference

August 2013

286 pages

ISBN:9781450319683

DOI:10.1145/2491627

General Chair:
Tomoji Kishi,
Program Chairs:
Stan Jarzabek,
Stefania Gnesi

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

IPSJ: Information Processing Society of Japan

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 August 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLC 2013

Sponsor:

IPSJ

SPLC 2013: 17th International Software Product Line Conference

August 26 - 30, 2013

Tokyo, Japan

Acceptance Rates

Overall Acceptance Rate 167 of 463 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
155
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Berger TSteghöfer JZiadi TRobin JMartinez J(2020)The state of adoption and the challenges of systematic variability management in industryEmpirical Software Engineering10.1007/s10664-019-09787-6Online publication date: 4-Apr-2020
https://doi.org/10.1007/s10664-019-09787-6
Fang MLeyh GDoerr JElsner CZhao JSchmidt D(2015)Towards model-based derivation of systems in the industrial automation domainProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791075(283-292)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791075
Dhungana DFalkner AHaselböck ASchreiner HSchmidt D(2015)Smart factory product linesProceedings of the 19th International Conference on Software Product Line10.1145/2791060.2791066(201-210)Online publication date: 20-Jul-2015
https://dl.acm.org/doi/10.1145/2791060.2791066
Berger TStănciulescu ŞØgård OHaugen ØLarsen BWąsowski AFantechi AGnesi S(2014)To connect or not to connectProceedings of the 18th International Software Product Line Conference - Volume 110.1145/2648511.2648549(330-339)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2648511.2648549

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents