Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

A toolchain for delta-oriented modeling of software product lines

Contributo in Atti di convegno
Data di Pubblicazione:
2016
Abstract:
Software is increasingly individualized to the needs of customers and may have to be adapted to changing contexts and environments after deployment. Therefore, individualized software adaptations may have to be performed. As a large number of variants for affected systems and domains may exist, the creation and deployment of the individualized software should be performed automatically based on the software’s configuration and context. In this paper, we present a toolchain to develop and deploy individualized software adaptations based on Software Product Line (SPL) engineering. In particular, we contribute a description and technical realization of a toolchain ranging from variability modeling over variability realization to variant derivation for the automated deployment of individualized software adaptations. To capture the variability within realization artifacts, we employ delta modeling, a transformational SPL implementation approach. As we aim to fulfill requirements of industrial practice, we employ model-driven engineering using statecharts as realization artifacts. Particular statechart variants are further processed by generating C/C++ code, linking to external code artifacts, compiling and deploying to the target device. To allow for flexible and parallel execution the toolchain is provided within a cloud environment. This way, required variants can automatically be created and deployed to target devices. We show the feasibility of our toolchain by developing the industry-related case of emergency response systems.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Delta modelling; Model-driven engineering; Software product lines; Statecharts; Theoretical Computer Science; Computer Science (all)
Elenco autori:
Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven
Autori di Ateneo:
DAMIANI Ferruccio
Link alla scheda completa:
https://iris.unito.it/handle/2318/1614407
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/1614407/267603/ISoLA-2016_Chesta-et-al-OPEN.pdf
Titolo del libro:
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://link.springer.com/chapter/10.1007/978-3-319-47169-3_40
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0