RunVar: Evolving Distributed Software Systems at Runtime by Scalable Hybrid Variability

  • Ateneo/CSP Project
  • Start date: 2015/07/01
  • End date: 2017/06/30
  • For more information on RunVar, please contact: Ferruccio Damiani


Synopsis

ICT is becoming increasingly integrated into our everyday environment, distributed on cars, appliances, and any kind of devices, in several versions evolving continuously according to customer needs. This process poses challenges in the domain of the Future Internet, combining advanced software management models with evolving expectations and requirements of the end users. In order to meet these challenges, new approaches have to be developed for faster and customisable software design, for the management of highly distributed applications, for software updates exploiting device connectivity, and for maintaining and even improving the product quality in terms of reliability, resilience and customer perception.

The goal of RunVar is to investigate development frameworks for runtime evolution of distributed software applications. These frameworks consist of coherent and integrated methods and tools to support runtime updating of distributed applications in heterogeneous environments. In particular, RunVar builds on recent developments in:

  • Behavioural Types
  • Delta-oriented Programming of Software Product Lines
  • Field-based Programming of Collective Adaptive Systems
  • Runtime Verification


Publications

2016
  • Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu: Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. T. Foundations for Mastering Change 1: 130-156 (2016). Electronic edition via DOI
  • Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Secure Multiparty Sessions with Topics. PLACES 2016: 1-12 2. Electronic edition via DOI
  • Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vitor Rodrigues, Sven Schuster: A Toolchain for Delta-Oriented Modeling of Software Product Lines. ISoLA (2) 2016: 497-511. Electronic edition via DOI
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri: Parallel Monitors for Self-adaptive Sessions. PLACES 2016: 25-36 3. Electronic edition via DOI
  • Ferruccio Damiani, Michael Lienhardt: Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. ISoLA (2) 2016: 579-596. Electronic edition via DOI
  • Ferruccio Damiani, Michael Lienhardt: On Type Checking Delta-Oriented Product Lines. IFM 2016: 47-62 5. Electronic edition via DOI
  • Ferruccio Damiani, Michael Lienhardt: Refactoring Delta-Oriented Product Lines to achieve Monotonicity. FMSPLE 2016: 2-16 6. Electronic edition via DOI
  • Ferruccio Damiani, Mirko Viroli, Jacob Beal: A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016) 4. Electronic edition via DOI
  • Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida: Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods 2016: 155-172. Electronic edition via DOI
  • Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal: A Higher-order Calculus of Computational Fields. CoRR abs/1610.08116 (2016). Electronic edition via DOI
  • Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer: Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. Software Engineering (Workshops) 2016: 40-54. Electronic edition via DOI