HyVar

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.

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

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

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).

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.

Reconfigurator tool: check the validity of a configuration and if not it provides a new valid one taking into account and maximize the user preferences.

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

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

This component, given a formal executable model written in ABS investigates by using an automatic parameter configurator what are the best possible settings of the model to reach a given target. In particular, it is used to find good auto-scaling strategies for every component in the HyVar toolchain that has been modeled in ABS.

This component together with Maven project management tool automatically generate an executable jar file out from the java class files received from the previous component to be uploaded to the ECU_C and executed.

This component together with Maven project management tool automatically generate an executable jar file out from the java class files received from the previous component to be uploaded to the ECU_C and executed.

This component using the Yakindu SCT headless plugin generate the C or Java code based on the received parameters.

This component using the Yakindu SCT headless plugin generate the C or Java code based on the received parameters.