NDLI: Specification and automated validation of staged reconfiguration processes for dynamic software product lines

Content Provider	Springer Nature Link
Author	Lochau, Malte Bürdek, Johannes Hölzle, Stefan Schürr, Andy
Copyright Year	2015
Abstract	Dynamic software product lines (DSPLs) propose elaborated design and implementation principles for engineering highly configurable runtime-adaptive systems in a sustainable and feature-oriented way. For this, DSPLs add to classical software product lines (SPL) the notions of (1) staged (pre-)configurations with dedicated binding times for each individual feature, and (2) continuous runtime reconfigurations of dynamic features throughout the entire product life cycle. Especially in the context of safety- and mission-critical systems, the design of reliable DSPLs requires capabilities for accurately specifying and validating arbitrary complex constraints among configuration parameters and/or respective reconfiguration options. Compared to classical SPL domain analysis which is usually based on Boolean constraint solving, DSPL validation, therefore, further requires capabilities for checking temporal properties of reconfiguration processes. In this article, we present a comprehensive approach for modeling and automatically verifying essential validity properties of staged reconfiguration processes with complex binding time constraints during DSPL domain engineering. The novel modeling concepts introduced are motivated by (re-)configuration constraints apparent in a real-world industrial case study from the automation engineering domain, which are not properly expressible and analyzable using state-of-the-art SPL domain modeling approaches. We present a prototypical tool implementation based on the model checker SPIN and present evaluation results obtained from our industrial case study, demonstrating the applicability of the approach.
Starting Page	125
Ending Page	152
Page Count	28
File Format	PDF
ISSN	16191366
Journal	Software and Systems Modeling
Volume Number	16
Issue Number	1
e-ISSN	16191374
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2015-05-09
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Dynamic software product lines Staged configuration Model-based domain engineering and validation Model checking Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Information Systems Applications (incl.Internet) IT in Business
Content Type	Text
Resource Type	Article
Subject	Modeling and Simulation Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Automated formal verification of visual modeling languages by model checking

Domain analysis of dynamic system reconfiguration

Language-specific model checking of UML-RT models

A reconfiguration pattern for distributed embedded systems

A model-driven traceability framework for software product lines

Automated product line test case selection: industrial case study and controlled experiment

Model engineering

Assessing model quality

Formal validation of domain-specific languages with derived features and well-formedness constraints

Specification and automated validation of staged reconfiguration processes for dynamic software product lines

Similar Documents

Automated formal verification of visual modeling languages by model checking

Domain analysis of dynamic system reconfiguration

Language-specific model checking of UML-RT models

A reconfiguration pattern for distributed embedded systems

A model-driven traceability framework for software product lines

Automated product line test case selection: industrial case study and controlled experiment

Model engineering

Assessing model quality

Formal validation of domain-specific languages with derived features and well-formedness constraints

Specification and automated validation of staged reconfiguration processes for dynamic software product lines