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

  • Ateneo/CSP Project
  • Start date: 2015/07/01
  • End date: 2017/12/31
  • 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


Work plan

The work plan is broken into five work packages:

  • WP1: Management (leader: Ferruccio Damiani)
  • WP2: Technical Design (leader: Giorgio Audrito)
  • WP3: Prototyping in the Lab (leader: Simone Donetti)
  • WP4: Demonstrators identification and selection (leader: Luca Paolini)
  • WP5: Dissemination and network setup (leader: Ferruccio Damiani)


Publications

2019 (submitted during the project)
  • Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal: A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20(1): 5:1-5:55 (2019) Electronic edition via DOI
2018 (submitted during the project)
  • Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl: A core calculus for dynamic delta-oriented programming. Acta Inf. 55(4): 269-307 (2018) Electronic edition via DOI
  • Giorgio Audrito, Ferruccio Damiani, Mirko Viroli: Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166: 146-166 (2018) Electronic edition via DOI
  • Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini: Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Trans. Model. Comput. Simul. 28(2): 16:1-16:28 (2018) Electronic edition via DOI
2017
  • Lorenzo Bettini, Ferruccio Damiani: Xtraitj: Traits for the Java platform. Journal of Systems and Software 131: 419-441 (2017) Electronic edition via DOI
  • Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz: A novel model-based testing approach for software product lines. Software and System Modeling 16(4): 1223-1251 (2017) Electronic edition via DOI
  • Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani: Self-Adaptation to Device Distribution in the Internet of Things. TAAS 12(3): 12:1-12:29 (2017) Electronic edition via DOI
  • Giorgio Audrito, Ferruccio Damiani, Mirko Viroli: Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77 Electronic edition via DOI
  • Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt: A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441 Electronic edition via DOI
  • Ferruccio Damiani, Michael Lienhardt, Luca Paolini: A Formal Model for Multi SPLs. FSEN 2017: 67-83 Electronic edition via DOI
  • Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer: An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM 2017: 111-126 Electronic edition via DOI
  • Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli: Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100 Electronic edition via DOI
  • Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt: Abstraction Refinement for the Analysis of Software Product Lines. TAP 2017: 3-20 Electronic edition via DOI
  • Giorgio Audrito, Ferruccio Damiani, Mirko Viroli: Aggregate Graph Statistics. ALP4IoT@iFM 2017: 18-22 Electronic edition via DOI
  • Giorgio Audrito, Sergio Bergamini: Resilient Blocks for Summarising Distributed Data. ALP4IoT@iFM 2017: 23-26 Electronic edition via DOI
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