Opendata, web and dolomites

HyVar

Scalable Hybrid Variability for Distributed Evolving Software Systems

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "HyVar" data sheet

The following table provides information about the project.

Coordinator
SANTER REPLY SPA 

Organization address
address: VIA ROBERT KOCH 1/4
city: MILANO
postcode: 20152
website: n.a.

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Italy [IT]
 Project website http://www.hyvar-project.eu/
 Total cost 2˙793˙870 €
 EC max contribution 2˙793˙870 € (100%)
 Programme 1. H2020-EU.2.1.1.3. (Future Internet: Software, hardware, Infrastructures, technologies and services)
 Code Call H2020-ICT-2014-1
 Funding Scheme RIA
 Starting year 2015
 Duration (year-month-day) from 2015-02-01   to  2018-01-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    SANTER REPLY SPA IT (MILANO) coordinator 511˙250.00
2    UNIVERSITETET I OSLO NO (OSLO) participant 703˙750.00
3    TECHNISCHE UNIVERSITAET BRAUNSCHWEIG DE (BRAUNSCHWEIG) participant 495˙000.00
4    ATBROX AS NO (TRONDHEIM) participant 397˙120.00
5    UNIVERSITA DEGLI STUDI DI TORINO IT (TORINO) participant 386˙750.00
6    MARELLI EUROPE SPA IT (CORBETTA) participant 300˙000.00

Map

 Project objective

HyVar proposes a development framework for continuous and individualized evolution of distributed software applications running on remote devices in heterogeneous environments. The framework will combine variability modeling from software product lines with formal methods and software upgrades, and be integrated in existing software development processes. HyVar's objectives are (O1) to develop a Domain Specific Variability Language (DSVL) and tool chain to support software variability for such applications; (O2) to develop a cloud infrastructure that exploits software variability as described in the DSVL to track the software configurations deployed on remote devices and to enable (i) the collection of data from the devices to monitor their behavior; and (ii) secure and efficient customized updates; (O3) to develop a technology for over-the-air updates of distributed applications which enables continuous software evolution after deployment on complex remote devices that incorporate a system of systems; and (O4) to test HyVar's approach as described in the above objectives in an industry-led demonstrator to assess in quantifiable ways its benefits. HyVar goes beyond the state-of-the-art by proposing hybrid variability; i.e., the automatic generation and deployment of software updates combines the variability model describing possible software configurations with sensor data collected from the device. HyVar's scalable cloud infrastructure will elastically support monitoring and customization for numerous application instances. Software analysis will exploit the structure of the variability models. Upgrades will be seamless and sufficiently nonintrusive to enhance the user quality experience, without compromising the robustness, reliability and resilience of the distributed application instances. To maximize impact and innovation, the consortium balances carefully selected academic and industrial partners ensuring both technology pull and push.

 Deliverables

List of deliverables.
Periodic Activity Report – Second release Documents, reports 2019-05-31 11:49:54
Demonstrator System Model v.2.0 Demonstrators, pilots, prototypes 2019-05-31 11:49:57
Hybrid Product Reconfiguration Design Guidelines v.2.0 Documents, reports 2019-05-31 11:49:51
Scalability Validation/Test Suite v.2.0 Documents, reports 2019-05-31 11:49:46
MSPL demonstrator Results v2.0 Demonstrators, pilots, prototypes 2019-05-31 11:49:38
Dissemination and Exploitation Plan v.1.0 Documents, reports 2019-05-30 12:17:35
DSVL Tool Chain software modules v.2.0 Other 2019-05-30 12:17:29
Periodic Activity Report - First Release Documents, reports 2019-05-30 12:17:21
Cloud-based inventory system and software manager v.1.0 Other 2019-05-30 12:17:20
Final DSVL Syntax and Semantics specifications Documents, reports 2019-05-30 12:17:19
Engineering Methodology and Processes Guidelines for DSVL v.2.0 Documents, reports 2019-05-30 12:17:19
Communication Strategy & Plan - Final Release Documents, reports 2019-05-30 12:18:35
Technical and Business Evaluation Report Demonstrators, pilots, prototypes 2019-05-30 12:17:24
Variability Mining methodology specifications v.1.0 Documents, reports 2019-05-30 12:18:36
Periodic Cost Statements Report - First Release Documents, reports 2019-05-30 12:18:34
Communication Strategy & Plan v.2.0 Documents, reports 2019-05-30 12:18:03
DSVL Syntax and Semantics specifications v.1.0 Documents, reports 2019-05-30 12:18:29
DSVL Tool Chain software modules v.1.0 Other 2019-05-30 12:17:17
Demonstrator System Model v.1.0 Demonstrators, pilots, prototypes 2019-05-30 12:17:20
End-to-end Demonstrator Results v.1.0 Demonstrators, pilots, prototypes 2019-05-30 12:17:19
Dissemination and Exploitation Plan - Final Release Documents, reports 2019-05-30 12:18:36
Engineering Methodology and Processes Guidelines for DSVL v.1.0 Documents, reports 2019-05-30 12:17:00
Incremental Validation Techniques of Variability Models v.2.0 Documents, reports 2019-05-30 12:17:02
Communication Strategy & Plan v.1.0 Websites, patent fillings, videos etc. 2019-05-30 12:17:42
Scalability Validation/Test Suite v.1.0 Documents, reports 2019-05-30 12:17:12
Validation/Test suites against Variability Models v.2.0 Documents, reports 2019-05-30 12:17:19
Final Requirements specifications for the DSVL Documents, reports 2019-05-30 12:16:54
Project external website Websites, patent fillings, videos etc. 2019-05-30 13:27:37
Incremental Validation Techniques of Variability Models v.1.0 Documents, reports 2019-05-30 12:17:20
Periodic Cost Statements Report – Second release Documents, reports 2019-05-30 12:18:41
Data Management Plan Open Research Data Pilot 2019-05-30 12:18:29
Dissemination and Exploitation Plan v. 2.0 Documents, reports 2019-05-30 12:18:18
Virtualized Product Reconfiguration Algorithm Description v.2.0 Documents, reports 2019-05-30 12:17:18
MSPL demonstrator Results v1.0 Demonstrators, pilots, prototypes 2019-05-30 12:17:29
Hybrid Product Reconfiguration Design Guidelines v.1.0 Documents, reports 2019-05-30 12:17:21
Updated Requirements, Syntax and Semantics and Variability Mining methodology specifications v.2.0 Documents, reports 2019-05-30 12:18:46
Virtualized Product Reconfiguration Algorithm Description v.1.0 Documents, reports 2019-05-30 12:17:05
Requirements specifications for the DSVL v.1.0 Documents, reports 2019-05-30 12:18:30
Cloud-based inventory system and software manager v.2.0 Other 2019-05-30 12:17:18
End-to-end Demonstrator Results v.2.0 Demonstrators, pilots, prototypes 2019-05-30 12:17:34
Project Handbook Documents, reports 2019-05-30 12:17:08
Final Variability Mining methodology specifications Documents, reports 2019-05-30 12:16:58

Take a look to the deliverables list in detail:  detailed list of HyVar deliverables.

 Publications

year authors and title journal last update
List of publications.
2016 Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de\'Liguoro
Secure Multiparty Sessions with Topics
published pages: 1-12, ISSN: 2075-2180, DOI: 10.4204/EPTCS.211.1
Electronic Proceedings in Theoretical Computer Science 211 2019-05-30
2016 Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts
published pages: , ISSN: , DOI:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 - Workshops of the Conference on Software Engineering, SE-WS 2016 2019-05-30
2015 Ferruccio Damiani, Mirko Viroli
Type-based Self-stabilisation for Computational Fields
published pages: , ISSN: 1860-5974, DOI:
Logical Methods in Computer Science 2019-05-30
2016 Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster
A Toolchain for Delta-Oriented Modeling of Software Product Lines
published pages: 497-511, ISSN: , DOI: 10.1007/978-3-319-47169-3_40
Proc. 7TH International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) 2019-05-30
2016 Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
published pages: 17-44, ISSN: 0167-6423, DOI: 10.1016/j.scico.2015.11.005
Science of Computer Programming 117 2019-05-30
2016 Ferruccio Damiani, Michael Lienhardt
Refactoring Delta-Oriented Product Lines to achieve Monotonicity
published pages: 2-16, ISSN: 2075-2180, DOI: 10.4204/EPTCS.206.2
Electronic Proceedings in Theoretical Computer Science 206 2019-05-30
2016 Christoph Seidl, Tim Winkelmann, Ina Schaefer
A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages
published pages: , ISSN: , DOI:
Modellierung 2016 2019-05-30
2016 Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Parallel Monitors for Self-adaptive Sessions
published pages: 25-36, ISSN: 2075-2180, DOI: 10.4204/EPTCS.211.3
Electronic Proceedings in Theoretical Computer Science 211 2019-05-30
2017 Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola
Concurrent Reversible Sessions *
published pages: , ISSN: , DOI: 10.4230/LIPIcs.CONCUR.2017.30
Leibniz International Proceedings in Informatics (LIPIcs) 1 2019-05-30
2016 Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel Tyszberowicz
A novel model-based testing approach for software product lines
published pages: , ISSN: 1619-1366, DOI: 10.1007/s10270-016-0516-2
Software & Systems Modeling 2019-05-30

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "HYVAR" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "HYVAR" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.2.1.1.3.)

SLA-Ready (2015)

SLA-Ready: Making Cloud SLAs readily usable in the EU private sector

Read More  

EuConNeCts 2 (2015)

European Conferences on Networks and Communications (EuCNC)

Read More  

EDFx (2015)

European Digital Forum Thought Leadership and Policy Network Exchange

Read More