HyVar Tool Chain Software Modules

DarwinSPL

Tool suite for modeling the conceptual side of software produt lines of HyVar. In detail, it allows to define feature models with attributes, context-aware feature models (including contextual information), context-aware reconfiguration rules, the mapping to code artifacts defined with DeltaEcore and to model the evolution of all of these models.

Component name DarwinSPL
Responsable Unit TUB
Version 1.0
Source Code DarwinSPL
Nature Development/Deployment
Programming Language Java/Ecore Metamodeling
Development Tools Eclipse
Additional Libraries Google GSON: gson
Licensing Apache 2.0
Contact Person Email to Michael Nieke
Tutorial Documentation

 

Source Code Maintainer

Set of scripts and software modules used to automatically generate a makefile for a specific variant based on Autotools. Autotool is a GNU Build system to compile and build the product depending on the target platform.

Component name Source Code Maintainer
Responsable Unit Reply/UNITO
Source Code Auotomake
Nature Development/Deployment
Licensing GNU General Public License (GPL)
Contact Person Email to Vitor Rodrigues
Email to Liudmila Dobriakova
Tutorial Tutorial

Multi Software Product Lines

This component provides support for Multi Software Product Lines in order to enable modular development and analysis of large and variable systems. It will be implemented in Eclipse, as a layer on top of DarwinSPL.

Component name MSPL
Responsable Unit UNITO
Version Under development
Nature Development
Development Tools Eclipse
Contact Person Email to Michael Lienhardt
Email to Ferruccio Damiani

Static Analysis

This component provides support for checking properties of systems developed using the HyVar toolchain. The considered properties include feature model consistency and well-formedness of variants (at the statechat level).

Component name Analysis of DSVL
Responsable Unit UNITO
Version Under development
Nature Development
Development Tools Eclipse
Contact Person Email to Michael Lienhardt
Email to Ferruccio Damiani

 

DarwinSPL

Tool suite for modeling the conceptual side of software produt lines of HyVar. In detail, it allows to define feature models with attributes, context-aware feature models (including contextual information), context-aware reconfiguration rules, the mapping to code artifacts defined with DeltaEcore and to model the evolution of all of these models.

Component name DarwinSPL
Responsable Unit TUB
Version 1.0
Source Code DarwinSPL
Nature Development/Deployment
Programming Language Java/Ecore Metamodeling
Development Tools Eclipse
Additional Libraries Google GSON: gson
Licensing Apache 2.0
Contact Person Email to Michael Nieke
Tutorial Documentation

 

Source Code Maintainer

Set of scripts and software modules used to automatically generate a makefile for a specific variant based on Autotools. Autotool is a GNU Build system to compile and build the product depending on the target platform.

Component name Source Code Maintainer
Responsable Unit Reply/UNITO
Source Code Auotomake
Nature Development/Deployment
Licensing GNU General Public License (GPL)
Contact Person Email to Vitor Rodrigues
Email to Liudmila Dobriakova
Tutorial Tutorial

HyVarRec

Reconfigurator tool: check the validity of a configuration and if not it provides a new valid one, if possible.

Component name HyVarRec
Responsable Unit UiO
Version 0.1
Source Code HyVarRec
Nature Deployment
Programming Language Python
Development Tools MiniSearch
Additional Libraries Psutil, antlr4-python2-runtime
Licensing ISC
Contact Person Email to Jacopo Mauro
Tutorial HyVarRec
Video HyVarRec video Tutorial

ECU Update

Software component and protocols for updating the ECUs connected to the
CAN bus

Scalability Analysis

This component is an formal executable model written in ABS language for simulating the operataion of HyVar toolchain deployed on the cloud with the AWS auto-scaling strategy. The purpose is to study an appropriate scale-up threshold and an appropriate scale-down threshold for each component of the toolchain.

Component name Scalability Analysis
Responsable Unit UiO
Version Under development
Nature Deployment
Programming Language ABS language
Development Tools ABS Tools + Erlang
Contact Person Email to Ingrid Chieh Yu
Email to Jia-Chun Lin
Email to Jacobo Mauro