#	Pagina
attuale pagina	/open-h2020/projects/194185/index.html
-1	/open-h2020/projects/208135/index.html
-2	/open-h2020/projects/217212/index.html
-3	/open-h2020/projects/207265/index.html
-4	/open-h2020/projects/202661/index.html

Opendata, web and dolomites

HyVar

Scalable Hybrid Variability for Distributed Evolving Software Systems

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

HyVar project word cloud

Explore the words cloud of the HyVar project. It provides you a very rough idea of what is the project "HyVar" about.

resilience evolution models pull monitoring distributed structure exploits domain o3 scalable o1 hybrid framework sufficiently tool o2 compromising proposes elastically device heterogeneous environments customized robustness track nonintrusive push customization industry innovation industrial collection software remote automatic configurations balances updates quantifiable quality maximize collected lines upgrades led language running carefully combines monitor deployment incorporate hyvar goes demonstrator modeling proposing generation continuous instances o4 benefits data formal efficient air chain ways behavior variability describing individualized seamless academic secure infrastructure combine reliability model dsvl sensor cloud

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 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.	IT (MILANO)	coordinator	511˙250.00
2	UNIVERSITETET I OSLO UNIVERSITETET I OSLO Organization address address: PROBLEMVEIEN 5-7 city: OSLO postcode: 313 website: www.uio.no contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	NO (OSLO)	participant	703˙750.00
3	TECHNISCHE UNIVERSITAET BRAUNSCHWEIG TECHNISCHE UNIVERSITAET BRAUNSCHWEIG Organization address address: UNIVERSITAETSPLATZ 2 city: BRAUNSCHWEIG postcode: 38106 website: www.tu-braunschweig.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (BRAUNSCHWEIG)	participant	495˙000.00
4	ATBROX AS ATBROX AS Organization address address: HALDENS GATE 10 city: TRONDHEIM postcode: 7014 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.	NO (TRONDHEIM)	participant	397˙120.00
5	UNIVERSITA DEGLI STUDI DI TORINO UNIVERSITA DEGLI STUDI DI TORINO Organization address address: VIA GIUSEPPE VERDI 8 city: TORINO postcode: 10124 website: www.unito.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (TORINO)	participant	386˙750.00
6	MARELLI EUROPE SPA MARELLI EUROPE SPA Organization address address: VIALE ALDO BORLETTI 61/63 city: CORBETTA postcode: 20011 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.	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

List of publications.
year	authors and title	journal	last update
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.