Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Scalable Hybrid Variability for Distributed Evolving Software Systems

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Periodic Activity Report - First Release (s’ouvre dans une nouvelle fenêtre)

First release of the Periodic Activity Report

Periodic Cost Statements Report - First Release (s’ouvre dans une nouvelle fenêtre)

Cost Statement Report - first period

DSVL Syntax and Semantics specifications v.1.0 (s’ouvre dans une nouvelle fenêtre)

This documents defines the DSVL Language Syntax and Semantics

Final Requirements specifications for the DSVL (s’ouvre dans une nouvelle fenêtre)

Final version of D1.1 - Final Requirements specifications for the DSVL

Engineering Methodology and Processes Guidelines for DSVL v.2.0 (s’ouvre dans une nouvelle fenêtre)

Final version of D3.1

Dissemination and Exploitation Plan v.1.0 (s’ouvre dans une nouvelle fenêtre)

First version of the Dissemination and Exploitation Plan

Incremental Validation Techniques of Variability Models v.1.0 (s’ouvre dans une nouvelle fenêtre)

This document contains the results of the verification techniques, such as SAT-solving or CSP-solving, used to validate the variability model defined in the DSVL.

Project Handbook (s’ouvre dans une nouvelle fenêtre)

This deliverable includes the project plan and the website for the management of deliverables, sharing of information and documents among partners.

Hybrid Product Reconfiguration Design Guidelines v.1.0 (s’ouvre dans une nouvelle fenêtre)

This document containts the product reconfiguration algorithm for hybrid variability selection. This algorithm is hybrid as it combines the variability model, the specific instance configuration, and contextual information from sensor data streams to decide on how a given product configuration should evolve.

Communication Strategy & Plan v.2.0 (s’ouvre dans une nouvelle fenêtre)

Second version of Communication Strategy & Plan - D2.1

Virtualized Product Reconfiguration Algorithm Description v.2.0 (s’ouvre dans une nouvelle fenêtre)

Final version of D4.2

Periodic Cost Statements Report – Second release (s’ouvre dans une nouvelle fenêtre)

Periodic Cost Statements Report

Engineering Methodology and Processes Guidelines for DSVL v.1.0 (s’ouvre dans une nouvelle fenêtre)

This document contains the engineering guidelines and processes to apply the DSVL (developed in WP2) in industrial practice

Hybrid Product Reconfiguration Design Guidelines v.2.0 (s’ouvre dans une nouvelle fenêtre)

FInal version of D4.1

Dissemination and Exploitation Plan v. 2.0 (s’ouvre dans une nouvelle fenêtre)

Second version of Dissemination and Exploitation Plan - D2.2

Validation/Test suites against Variability Models v.2.0 (s’ouvre dans une nouvelle fenêtre)

Final version of D.3.3

Requirements specifications for the DSVL v.1.0 (s’ouvre dans une nouvelle fenêtre)

This document contains the requirements for the DSVL sublanguage describing variability models and the DSVL sublanguage for expressing the code base. First version

Updated Requirements, Syntax and Semantics and Variability Mining methodology specifications v.2.0 (s’ouvre dans une nouvelle fenêtre)

This documents contains Requirements, Syntax and Semantics and Variability Mining methodology specifications in its second version (as an update from D2.1, D2.2 and D3.3)

Scalability Validation/Test Suite v.2.0 (s’ouvre dans une nouvelle fenêtre)

Final version of D4.3

Final DSVL Syntax and Semantics specifications (s’ouvre dans une nouvelle fenêtre)

Final DSVL Syntax and Semantics specifications - update from D2.2 and D2.4

Virtualized Product Reconfiguration Algorithm Description v.1.0 (s’ouvre dans une nouvelle fenêtre)

This docuemtn contains the guidelines with the elastic and scalable parallelization of the hybrid reconfiguration algorithm as defined in D4.2

Dissemination and Exploitation Plan - Final Release (s’ouvre dans une nouvelle fenêtre)

Final release of the Dissemination and Exploitation Plan, including a detailed Business Plan

Incremental Validation Techniques of Variability Models v.2.0 (s’ouvre dans une nouvelle fenêtre)

Final updated version of D3.2

Variability Mining methodology specifications v.1.0 (s’ouvre dans une nouvelle fenêtre)

This documents describers the Variability Mining methodology and its specifications for the developments activitiies- First version

Periodic Activity Report – Second release (s’ouvre dans une nouvelle fenêtre)

Second release of the Periodic Activity Report

Scalability Validation/Test Suite v.1.0 (s’ouvre dans une nouvelle fenêtre)

This document formalises the virtualized reconfiguration algorithm to experiment with its elastic and scalable behaviour. This formalization allows predictions of how to optimally scale the reconfiguration algorithm and further to identify the requirements to the cloud infrastructure on which the algorithm will be deployed

Final Variability Mining methodology specifications (s’ouvre dans une nouvelle fenêtre)

Final Variability Mining methodology specifications - update from D2.3 and D2.4

Communication Strategy & Plan - Final Release (s’ouvre dans une nouvelle fenêtre)

Final version of Communication Strategy & Plan

Cloud-based inventory system and software manager v.1.0 (s’ouvre dans une nouvelle fenêtre)

This deliverable includes the software modules (source code and executables) that implement the inventory system and the software manager in the cloud-based environment.

DSVL Tool Chain software modules v.2.0 (s’ouvre dans une nouvelle fenêtre)

Final version of the DSVL tool chain

DSVL Tool Chain software modules v.1.0 (s’ouvre dans une nouvelle fenêtre)

This deliverable includes the software modules which implements the DSVL tool chain in the target devices.

Cloud-based inventory system and software manager v.2.0 (s’ouvre dans une nouvelle fenêtre)

FInal version of the inventory system and the software manager

End-to-end Demonstrator Results v.1.0 (s’ouvre dans une nouvelle fenêtre)

This deliverable contains the setup and results of the end-to-end demonstrator applied to the complete demonstration scenario

MSPL demonstrator Results v2.0 (s’ouvre dans une nouvelle fenêtre)

Final versione of D6.2

Technical and Business Evaluation Report (s’ouvre dans une nouvelle fenêtre)

This task includes the activities of evaluation of the results from the demonstrator’s execution and the analysis of scalability and resilience of distributed software, with the objective to refine the software prototypes. The evaluation will include also the analysis of results from the usability tests and a business evaluation of the more relevant features supporting the commercial exploitation.

End-to-end Demonstrator Results v.2.0 (s’ouvre dans une nouvelle fenêtre)

Final version of D6.3

Demonstrator System Model v.1.0 (s’ouvre dans une nouvelle fenêtre)

In this deliverable it will be defined a fragment of the concrete applicative scenario that is suitable for demonstration and evaluation, covering: - An overall end-to-end demonstration scenario, where variables such as number of ECU, heterogeneity and complex updating procedures (i.e. multiple nodes) will be evaluated to properly address scalability and resilience KPIs. - the set of MM ECUs considered by the demonstrator  -a set of variants of the software for each ECU together with the cross-ECUs dependencies,  -the relevant data that must be collected from the ECUs,  -an evolution of the ECUs’ software and data that must be collected. One of the ECUs will be a TCU that will play the role of gateway between the cloud and the vehicle. Within the scope of demonstrator, TCUs will be used as physical equivalents of other vehicle ECUs.

Demonstrator System Model v.2.0 (s’ouvre dans une nouvelle fenêtre)

Final version of D6.1

MSPL demonstrator Results v1.0 (s’ouvre dans une nouvelle fenêtre)

This deliverable contains the results from the MSPL demonstrator.

Communication Strategy & Plan v.1.0 (s’ouvre dans une nouvelle fenêtre)

The preliminary communication activities plan presented in Section 2 of the DOW will be extended and detailed by the HyVar consortium partners during project execution. The plan will be released in three phases, one per year, including activities for all the three industries identified. The plan will include a description of the communication activities to be developed, including blog posts, popular media articles, and conferences/seminars.

Project external website (s’ouvre dans une nouvelle fenêtre)

This deliverable includes the set-up and initial publishing of the HyVar website

Data Management Plan (s’ouvre dans une nouvelle fenêtre)

This deliverable contains the Data Management Plan accordingy to H2020 guidelines.

Publications

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (s’ouvre dans une nouvelle fenêtre)

Auteurs: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Publié dans: Logic-Based Program Synthesis and Transformation, 2015, Page(s) 349-364, ISBN 978-3-319-27436-2
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-27436-2_21

From Featured Transition Systems to Modal Transition Systems with Variability Constraints (s’ouvre dans une nouvelle fenêtre)

Auteurs: Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
Publié dans: Software Engineering and Formal Methods, 2015, Page(s) 344-359, ISBN 978-3-319-22969-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-22969-0_24

Denotational and Operational Preciseness of Subtyping: A Roadmap (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida
Publié dans: Theory and Practice of Formal Methods, 2016, Page(s) 155-172, ISBN 978-3-319-30734-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-30734-3_12

ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee
Publié dans: Fundamental Approaches to Software Engineering, 2016, Page(s) 49-65, ISBN 978-3-662-49665-7
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-49665-7_4

On the Integration of Automatic Deployment into the ABS Modeling Language (s’ouvre dans une nouvelle fenêtre)

Auteurs: Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
Publié dans: Service Oriented and Cloud Computing, 2015, Page(s) 49-64, ISBN 978-3-319-24072-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-24072-5_4

Automatic Deployment of Services in the Cloud with Aeolus Blender (s’ouvre dans une nouvelle fenêtre)

Auteurs: Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Publié dans: Service-Oriented Computing, 2015, Page(s) 397-411, ISBN 978-3-662-48616-0
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-48616-0_28

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Publié dans: Formal Techniques for Distributed Objects, Components, and Systems, 2015, Page(s) 113-128, ISBN 978-3-319-19195-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-19195-9_8

On Type Checking Delta-Oriented Product Lines (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ferruccio Damiani, Michael Lienhardt
Publié dans: Integrated Formal Methods, 2016, Page(s) 47-62, ISBN 978-3-319-33693-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-33693-0_4

Self-Reconfiguring Microservices (s’ouvre dans une nouvelle fenêtre)

Auteurs: Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi
Publié dans: Theory and Practice of Formal Methods, 2016, Page(s) 194-210, ISBN 978-3-319-30734-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-30734-3_14

Tax-PLEASE—Towards Taxonomy-Based Software Product Line Engineering (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson
Publié dans: Software Reuse: Bridging with Social-Awareness, 2016, Page(s) 63-70, ISBN 978-3-319-35122-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-35122-3_5

Theory and Practice of Formal Methods (s’ouvre dans une nouvelle fenêtre)

Auteurs: Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Publié dans: Lecture Notes in Computer Science, 2016, ISBN 978-3-319-30734-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-30734-3

Detecting and Explaining Conflicts in Attributed Feature Models (s’ouvre dans une nouvelle fenêtre)

Auteurs: Uwe Lesta, Ina Schaefer, Tim Winkelmann
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 182, 2015, Page(s) 31-43, ISSN 2075-2180
Éditeur: Electronic Proceedings in Theoretical Computer Science
DOI: 10.4204/EPTCS.182.3

A novel model-based testing approach for software product lines (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel Tyszberowicz
Publié dans: Software & Systems Modeling, 2016, ISSN 1619-1366
Éditeur: Springer Verlag
DOI: 10.1007/s10270-016-0516-2

Type-based Self-stabilisation for Computational Fields

Auteurs: Ferruccio Damiani, Mirko Viroli
Publié dans: Logical Methods in Computer Science, 2015, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig

Refactoring Delta-Oriented Product Lines to achieve Monotonicity (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ferruccio Damiani, Michael Lienhardt
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 206, 2016, Page(s) 2-16, ISSN 2075-2180
Éditeur: Springer
DOI: 10.4204/EPTCS.206.2

Secure Multiparty Sessions with Topics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 211, 2016, Page(s) 1-12, ISSN 2075-2180
Éditeur: Electronic Proceedings in Theoretical Computer Science
DOI: 10.4204/EPTCS.211.1

A type-sound calculus of computational fields (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ferruccio Damiani, Mirko Viroli, Jacob Beal
Publié dans: Science of Computer Programming, Numéro 117, 2016, Page(s) 17-44, ISSN 0167-6423
Éditeur: Elsevier BV
DOI: 10.1016/j.scico.2015.11.005

Parallel Monitors for Self-adaptive Sessions (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 211, 2016, Page(s) 25-36, ISSN 2075-2180
Éditeur: Electronic Proceedings in Theoretical Computer Science
DOI: 10.4204/EPTCS.211.3

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Publié dans: 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015, Page(s) 81-90, ISBN 978-1-4673-7535-1
Éditeur: IEEE
DOI: 10.1109/SASO.2015.16

Feature Selection for SUNNY: A Study on the Algorithm Selection Library (s’ouvre dans une nouvelle fenêtre)

Auteurs: Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro
Publié dans: 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), 2015, Page(s) 25-32, ISBN 978-1-5090-0163-7
Éditeur: IEEE
DOI: 10.1109/ICTAI.2015.18

Guaranteeing Configuration Validity in Evolving Software Product Lines (s’ouvre dans une nouvelle fenêtre)

Auteurs: Michael Nieke, Christoph Seidl, Sven Schuster
Publié dans: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16, 2016, Page(s) 73-80, ISBN 9781-450340199
Éditeur: ACM Press
DOI: 10.1145/2866614.2866625

Context Aware Reconfiguration in Software Product Lines (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu
Publié dans: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16, 2016, Page(s) 41-48, ISBN 9781-450340199
Éditeur: ACM Press
DOI: 10.1145/2866614.2866620

Generative software product line development using variability-aware design patterns (s’ouvre dans une nouvelle fenêtre)

Auteurs: Christoph Seidl, Sven Schuster, Ina Schaefer
Publié dans: Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015, 2015, Page(s) 151-160, ISBN 9781-450336871
Éditeur: ACM Press
DOI: 10.1145/2814204.2814212

SPLicing TABASCO - Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson
Publié dans: Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists - SAICSIT '15, 2015, Page(s) 1-10, ISBN 9781-450336833
Éditeur: ACM Press
DOI: 10.1145/2815782.2815799

Custom-Tailored Variability Mining for Block-Based Languages (s’ouvre dans une nouvelle fenêtre)

Auteurs: David Wille, Sandro Schulze, Christoph Seidl, Ina Schaefer
Publié dans: 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), 2016, Page(s) 271-282, ISBN 978-1-5090-1855-0
Éditeur: IEEE
DOI: 10.1109/SANER.2016.13

A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages

Auteurs: Christoph Seidl, Tim Winkelmann, Ina Schaefer
Publié dans: Modellierung 2016, 2016
Éditeur: Lecture Notes in Informatics (LNI)

Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts

Auteurs: Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer
Publié dans: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 - Workshops of the Conference on Software Engineering, SE-WS 2016, 2016
Éditeur: CEUR-WS

A Toolchain for Delta-Oriented Modeling of Software Product Lines (s’ouvre dans une nouvelle fenêtre)

Auteurs: Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster
Publié dans: Proc. 7TH International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), 2016, Page(s) 497-511
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_40

Concurrent Reversible Sessions * (s’ouvre dans une nouvelle fenêtre)

Auteurs: Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
Publié dans: Leibniz International Proceedings in Informatics (LIPIcs), Numéro 1, 2017
Éditeur: Dagstuhl Publishing
DOI: 10.4230/LIPIcs.CONCUR.2017.30

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (s’ouvre dans une nouvelle fenêtre)

Auteurs: Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Publié dans: Lecture Notes in Computer Science, 2017, Page(s) 59-77, ISBN 978-3-319-59745-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-59746-1_4

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0